Enum ASPOperator.AggregateFunction

java.lang.Object
java.lang.Enum<ASPOperator.AggregateFunction>
org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction
All Implemented Interfaces:
Serializable, Comparable<ASPOperator.AggregateFunction>, Constable
Enclosing class:
ASPOperator

public static enum ASPOperator.AggregateFunction extends Enum<ASPOperator.AggregateFunction>
The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety. 'weight' in this context is the first element of an aggregate element (term tuple).
- #count: Number of elements, used to represent cardinality constraints.
- #sum: Sum of weights, used to represent weight constraints.
- #max: Maximum weight
- #min: Minimum weight
Clingo additionally includes the #sum+ aggregate function, which represents the sum of positive weights.
DLV additionally includes the #times aggregate function. #times is similar to #sum, but computes the product of the first local variable to be aggregated over in the symbolic set. For the empty set, #times returns 1.
Author:
Anna Gessler