Aggregate

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.Formula

tech.oxfordsemantic.jrdfox.logic.BodyFormula

tech.oxfordsemantic.jrdfox.logic.Aggregate

All Implemented Interfaces:: java.io.Serializable

public class Aggregate
extends BodyFormula

See Also:: Serialized Form

Field Summary

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.BodyFormula
NO_LITERALS

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.Formula
NO_FORMULAS

Method Summary

Modifier and Type	Method	Description
`<E> E`	`accept(LogicVisitor<E> visitor)`
`static Aggregate`	`create(Formula aggregateFormula, java.util.List<Variable> groupVariables, java.util.List<AggregateBind> aggregateBinds)`
`static Aggregate`	`create(Formula aggregateFormula, Variable[] groupVariables, AggregateBind[] aggregateBinds)`
`AggregateBind`	`getAggregateBind(int index)`
`Formula`	`getAggregateFormula()`
`java.util.List<AggregateBind>`	`getAgregateBinds()`
`Variable`	`getGroupVariable(int index)`
`java.util.List<Variable>`	`getGroupVariables()`
`int`	`getNumberOfAggregateBinds()`
`int`	`getNumberOfGroupVariables()`
`Aggregate`	`simplify()`
`void`	`toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)`

Methods inherited from class tech.oxfordsemantic.jrdfox.logic.BodyFormula

getArgument, getArguments, getNumberOfArguments

Methods inherited from class tech.oxfordsemantic.jrdfox.logic.Formula

toString, toString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details
- getAggregateFormula
  
  public Formula getAggregateFormula()
- getGroupVariables
  
  public java.util.List<Variable> getGroupVariables()
- getNumberOfGroupVariables
  
  public int getNumberOfGroupVariables()
- getGroupVariable
  
  public Variable getGroupVariable(int index)
- getAgregateBinds
  
  public java.util.List<AggregateBind> getAgregateBinds()
- getNumberOfAggregateBinds
  
  public int getNumberOfAggregateBinds()
- getAggregateBind
  
  public AggregateBind getAggregateBind(int index)
- simplify
  
  public Aggregate simplify()
  
  Specified by:
  
  simplify in class BodyFormula
- accept
  
  public <E> E accept(LogicVisitor<E> visitor)
  
  Specified by:
  
  accept in class BodyFormula
- toString
  
  public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)
  
  Specified by:
  
  toString in class BodyFormula
- create
  
  public static Aggregate create(Formula aggregateFormula, java.util.List<Variable> groupVariables, java.util.List<AggregateBind> aggregateBinds)
- create
  
  public static Aggregate create(Formula aggregateFormula, Variable[] groupVariables, AggregateBind[] aggregateBinds)