Rule

java.lang.Object

tech.oxfordsemantic.jrdfox.util.InterningManager.InternedObject

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()`
`static Rule`	`parse(Prefixes prefixes, java.lang.String ruleText)`
`void`	`toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer)`

Methods inherited from class tech.oxfordsemantic.jrdfox.logic.LogicObject

toString, toString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details
- getHead
  
  public java.util.List<TupleTableAtom> getHead()
- getBody
  
  public java.util.List<BodyFormula> getBody()
- accept
  
  public <E> E accept(LogicVisitor<E> visitor)
  
  Specified by:
  
  accept in class LogicObject
- toString
  
  public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer)
  
  Specified by:
  
  toString in class LogicObject
- create
  
  public static Rule create(java.util.List<TupleTableAtom> head, java.util.List<BodyFormula> body)
- create
  
  public static Rule create(TupleTableAtom head, java.util.List<BodyFormula> body)
- create
  
  public static Rule create(TupleTableAtom head, BodyFormula... body)
- create
  
  public static Rule create(TupleTableAtom[] head, BodyFormula[] body)
- parse
  
  public static Rule parse(Prefixes prefixes, java.lang.String ruleText) throws JRDFoxException
  
  Throws:
  
  JRDFoxException