Class Aggregate
java.lang.Object
tech.oxfordsemantic.jrdfox.logic.LogicObject
tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula
tech.oxfordsemantic.jrdfox.logic.datalog.Aggregate
- All Implemented Interfaces:
java.io.Serializable
public class Aggregate extends BodyFormula
- See Also:
- Serialized Form
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Aggregate.Bind
-
Field Summary
-
Method Summary
Modifier and Type Method Description <E> E
accept(LogicVisitor<E> visitor)
static Aggregate
create(java.util.List<Atom> aggregatedAtoms, java.util.List<Variable> groupVariables, java.util.List<Aggregate.Bind> binds)
static Aggregate
create(Atom[] aggregatedAtoms, Variable[] groupVariables, Aggregate.Bind[] binds)
java.util.List<Aggregate.Bind>
getAggregateBinds()
java.util.List<Atom>
getAggregatedAtoms()
java.util.List<Variable>
getGroupVariables()
void
toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer)
Methods inherited from class tech.oxfordsemantic.jrdfox.logic.LogicObject
toString, toString, toString
-
Method Details
-
getAggregatedAtoms
-
getGroupVariables
-
getAggregateBinds
-
accept
- Specified by:
accept
in classLogicObject
-
toString
- Specified by:
toString
in classLogicObject
-
create
public static Aggregate create(java.util.List<Atom> aggregatedAtoms, java.util.List<Variable> groupVariables, java.util.List<Aggregate.Bind> binds) -
create
public static Aggregate create(Atom[] aggregatedAtoms, Variable[] groupVariables, Aggregate.Bind[] binds)
-