Skip to content

Commit

Permalink
Parse avg, max and min aggregation functions
Browse files Browse the repository at this point in the history
  • Loading branch information
thiagopbueno committed Sep 23, 2018
1 parent 2fb07fc commit dbe708a
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 5 deletions.
4 changes: 2 additions & 2 deletions pyrddl/__init__.py
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
__version__ = '0.1.1'
__release__ = 'v0.1.1-alpha'
__version__ = '0.1.2'
__release__ = 'v0.1.2-alpha'
10 changes: 7 additions & 3 deletions pyrddl/expr.py
Original file line number Diff line number Diff line change
Expand Up @@ -58,6 +58,12 @@ def etype(self) -> Tuple[str, str]:
return ('aggregation', 'sum')
elif self._expr[0] == 'prod':
return ('aggregation', 'prod')
elif self._expr[0] == 'avg':
return ('aggregation', 'avg')
elif self._expr[0] == 'max':
return ('aggregation', 'maximum')
elif self._expr[0] == 'min':
return ('aggregation', 'minimum')
elif self._expr[0] == 'forall':
return ('aggregation', 'forall')
elif self._expr[0] == 'exists':
Expand All @@ -84,9 +90,7 @@ def args(self) -> Union[Value, Sequence[ExprArg]]:
return self._expr[1]
elif self._expr[0] == 'func':
return self._expr[1][1]
elif self._expr[0] in ['sum', 'prod', 'forall', 'exists']:
return self._expr[1]
elif self._expr[0] == 'abs':
elif self._expr[0] in ['sum', 'prod', 'avg', 'max', 'min', 'forall', 'exists']:
return self._expr[1]
elif self._expr[0] == 'if':
return self._expr[1]
Expand Down

0 comments on commit dbe708a

Please sign in to comment.