Uses of Class
tech.oxfordsemantic.jrdfox.logic.datalog.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 BodyFormula[]
BodyFormula. EMPTY_ARRAY
Methods in tech.oxfordsemantic.jrdfox.logic.datalog 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.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, java.util.List<BodyFormula> body)