Class Rule
java.lang.Object
tech.oxfordsemantic.jrdfox.logic.LogicObject
tech.oxfordsemantic.jrdfox.logic.datalog.Rule
- All Implemented Interfaces:
java.io.Serializable
public class Rule extends LogicObject
- See Also:
- Serialized Form
-
Method Summary
Modifier and Type Method Description <E> E
accept(LogicVisitor<E> visitor)
static Rule
create(java.util.List<TupleTableAtom> head, java.util.List<BodyFormula> body)
static Rule
create(TupleTableAtom[] head, BodyFormula[] body)
static Rule
create(TupleTableAtom head, java.util.List<BodyFormula> body)
static Rule
create(TupleTableAtom head, BodyFormula... body)
java.util.List<BodyFormula>
getBody()
java.util.List<TupleTableAtom>
getHead()
void
toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer)
Methods inherited from class tech.oxfordsemantic.jrdfox.logic.LogicObject
toString, toString, toString