Uses of Class
tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula

Packages that use BodyFormula

Package	Description
tech.oxfordsemantic.jrdfox.logic.datalog

Uses of BodyFormula in tech.oxfordsemantic.jrdfox.logic.datalog

Subclasses of BodyFormula in tech.oxfordsemantic.jrdfox.logic.datalog

Modifier and Type	Class	Description
class	Aggregate
class	Atom
class	BindAtom
class	FilterAtom
class	Negation
class	TupleTableAtom

Fields in tech.oxfordsemantic.jrdfox.logic.datalog declared as BodyFormula

Modifier and Type	Field	Description
static final BodyFormula[]	BodyFormula.EMPTY_ARRAY

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

Modifier and Type	Method	Description
List<BodyFormula>	Rule.getBody()

Methods in tech.oxfordsemantic.jrdfox.logic.datalog with parameters of type BodyFormula

Modifier and Type	Method	Description
static Rule	Rule.create(TupleTableAtom[] head, BodyFormula[] body)
static Rule	Rule.create(TupleTableAtom head, BodyFormula... body)

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

Modifier and Type	Method	Description
static Rule	Rule.create(TupleTableAtom head, List<BodyFormula> body)