Uses of Class
tech.oxfordsemantic.jrdfox.logic.Formula

Packages that use Formula

Package	Description
tech.oxfordsemantic.jrdfox.logic

Uses of Formula in tech.oxfordsemantic.jrdfox.logic

Subclasses of Formula in tech.oxfordsemantic.jrdfox.logic

Modifier and Type	Class	Description
class	Aggregate
class	Atom
class	BindAtom
class	BodyFormula
class	Conjunction
class	Disjunction
class	FilterAtom
class	Minus
class	Negation
class	Optional
class	Query
class	Values

Fields in tech.oxfordsemantic.jrdfox.logic declared as Formula

Modifier and Type	Field	Description
static Formula[]	Formula.NO_FORMULAS

Methods in tech.oxfordsemantic.jrdfox.logic that return Formula

Modifier and Type	Method	Description
Formula	Aggregate.getAggregateFormula()
Formula	Conjunction.getConjunct(int index)
Formula	Disjunction.getDisjunct(int index)
Formula	ExistenceExpression.getFormula()
Formula	Minus.getMain()
Formula	Optional.getMain()
Formula	Negation.getNegatedFormula()
Formula	Optional.getOptional(int index)
Formula	Query.getQueryFormula()
Formula	Minus.getSubtrahend(int index)

Methods in tech.oxfordsemantic.jrdfox.logic that return types with arguments of type Formula

Modifier and Type	Method	Description
java.util.List<Formula>	Conjunction.getConjuncts()
java.util.List<Formula>	Disjunction.getDisjuncts()
java.util.List<Formula>	Optional.getOptionals()
java.util.List<Formula>	Minus.getSubtrahends()

Methods in tech.oxfordsemantic.jrdfox.logic with parameters of type Formula

Modifier and Type	Method	Description
static Aggregate	Aggregate.create(Formula aggregateFormula, java.util.List<Variable> groupVariables, java.util.List<AggregateBind> aggregateBinds)
static Aggregate	Aggregate.create(Formula aggregateFormula, Variable[] groupVariables, AggregateBind[] aggregateBinds)
static Conjunction	Conjunction.create(Formula... arguments)
static Disjunction	Disjunction.create(Formula... disjuncts)
static ExistenceExpression	ExistenceExpression.create(boolean positive, Formula formula)
static Minus	Minus.create(Formula main, java.util.List<Formula> subtrahends)
static Minus	Minus.create(Formula main, Formula... subtrahends)
static Negation	Negation.create(java.util.List<Variable> existentialVariables, Formula negatedFormulas)
static Negation	Negation.create(Formula negatedFormula)
static Negation	Negation.create(Variable[] existentialVariables, Formula negatedFormulas)
static Optional	Optional.create(Formula main, java.util.List<Formula> optionals)
static Optional	Optional.create(Formula main, Formula... optionals)
static Query	Query.create(QueryType queryType, boolean distinct, java.util.List<Variable> answerVariables, Formula queryFormula)
static Query	Query.create(QueryType queryType, boolean distinct, java.util.List<Variable> answerVariables, Formula queryFormula, java.util.List<Query.OrderBy> orderVariables, long offset, long limit)
static Query	Query.create(QueryType queryType, boolean distinct, java.util.List<Variable> answerVariables, Formula queryFormula, java.util.List<Query.OrderBy> orderVariables, long offset, long limit, java.util.List<Atom> deletePattern, java.util.List<Atom> insertPattern)
static Query	Query.create(QueryType queryType, boolean distinct, Variable[] answerVariables, Formula queryFormula)
static Query	Query.create(QueryType queryType, boolean distinct, Variable[] answerVariables, Formula queryFormula, Query.OrderBy[] orderVariables, long offset, long limit)
static Query	Query.create(QueryType queryType, boolean distinct, Variable[] answerVariables, Formula queryFormula, Query.OrderBy[] orderVariables, long offset, long limit, Atom[] deletePattern, Atom[] insertPattern)

Method parameters in tech.oxfordsemantic.jrdfox.logic with type arguments of type Formula

Modifier and Type	Method	Description
static Conjunction	Conjunction.create(java.util.List<Formula> arguments)
static Disjunction	Disjunction.create(java.util.List<Formula> disjuncts)
static Minus	Minus.create(Formula main, java.util.List<Formula> subtrahends)
static Optional	Optional.create(Formula main, java.util.List<Formula> optionals)