Class BodyFormula
java.lang.Object
tech.oxfordsemantic.jrdfox.util.InterningManager.InternedObject
tech.oxfordsemantic.jrdfox.logic.LogicObject
tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula
- All Implemented Interfaces:
java.io.Serializable
public abstract class BodyFormula extends LogicObject
- See Also:
- Serialized Form
-
Field Summary
Fields Modifier and Type Field Description static BodyFormula[]
EMPTY_ARRAY
-
Method Summary
Modifier and Type Method Description java.util.List<Term>
getArguments()