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

Packages that use BodyFormula

Package	Description
tech.oxfordsemantic.jrdfox.logic

Uses of BodyFormula in tech.oxfordsemantic.jrdfox.logic

Subclasses of BodyFormula in tech.oxfordsemantic.jrdfox.logic

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

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

Modifier and Type	Field	Description
static BodyFormula[]	BodyFormula.NO_LITERALS

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

Modifier and Type	Method	Description
BodyFormula	Rule.getBody(int index)
abstract BodyFormula	BodyFormula.simplify()
BodyFormula	Negation.simplify()

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

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

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

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

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

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