AggregateAtom(ASPOperator.AggregateFunction function,
java.util.List<AggregateElement> elements) |
Creates a new Aggregate with the given aggregate function and the given
aggregate elements.
|
AggregateAtom(ASPOperator.AggregateFunction function,
java.util.List<AggregateElement> elements,
ASPOperator.BinaryOperator rightRelation,
int rightBound) |
Creates a new Aggregate of the form "#func { elements } op rightBound"
with the given aggregate function #func, the given
aggregate elements, the given aggregate relation op and the given rightBound.
|
AggregateAtom(ASPOperator.AggregateFunction function,
java.util.List<AggregateElement> elements,
ASPOperator.BinaryOperator leftRelation,
int leftBound,
ASPOperator.BinaryOperator rightRelation,
int rightBound) |
Creates a new Aggregate of the form "leftBound op #func { elements } op rightBound"
with the given aggregate function, the given
aggregate elements, and the given left and right aggregate relations and integer bounds.
|
AggregateAtom(ASPOperator.AggregateFunction function,
java.util.List<AggregateElement> elements,
ASPOperator.BinaryOperator rightRelation,
Term<?> rightBound) |
Creates a new Aggregate of the form "#func { elements } op rightBound"
with the given aggregate function #func, the given
aggregate elements, the given aggregate relation op and the given rightBound.
|
AggregateAtom(ASPOperator.AggregateFunction function,
java.util.List<AggregateElement> elements,
ASPOperator.BinaryOperator leftRelation,
Term<?> leftBound,
ASPOperator.BinaryOperator rightRelation,
Term<?> rightBound) |
Creates a new Aggregate of the form "leftBound leftOp #func { elements } rightOp rightBound"
with the given aggregate function, the given
aggregate elements, and the given left and right aggregate relations and bounds.
|