Class Aggregate
java.lang.Object
tech.oxfordsemantic.jrdfox.util.InterningManager.InternedObject
tech.oxfordsemantic.jrdfox.logic.LogicObject
tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula
tech.oxfordsemantic.jrdfox.logic.datalog.Aggregate
- All Implemented Interfaces:
Serializable
- See Also:
-
Nested Class Summary
Nested Classes -
Field Summary
Fields inherited from class BodyFormula
EMPTY_ARRAY -
Method Summary
Modifier and TypeMethodDescription<E> Eaccept(LogicVisitor<E> visitor) static Aggregatestatic Aggregatecreate(Atom[] aggregatedAtoms, Variable[] groupVariables, Aggregate.Bind[] binds) voidMethods inherited from class BodyFormula
getArgumentsMethods inherited from class LogicObject
toString, toString, toString
-
Method Details
-
getAggregatedAtoms
-
getGroupVariables
-
getAggregateBinds
-
accept
- Specified by:
acceptin classLogicObject
-
toString
- Specified by:
toStringin classLogicObject
-
create
-
create
public static Aggregate create(Atom[] aggregatedAtoms, Variable[] groupVariables, Aggregate.Bind[] binds)
-