Rule

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.Rule

All Implemented Interfaces:: java.io.Serializable

public class Rule
extends java.lang.Object
implements java.io.Serializable

See Also:: Serialized Form

Field Summary

Fields

Modifier and Type Field Description

static Rule[] NO_RULES

Method Summary

Modifier and Type	Method	Description
`<E> E`	`accept(LogicVisitor<E> visitor)`
`static Rule`	`create(java.util.List<Atom> head, java.util.List<BodyFormula> body)`
`static Rule`	`create(Atom[] head, BodyFormula[] body)`
`static Rule`	`create(Atom head, java.util.List<BodyFormula> body)`
`static Rule`	`create(Atom head, BodyFormula... body)`
`java.util.List<BodyFormula>`	`getBody()`
`BodyFormula`	`getBody(int index)`
`java.util.List<Atom>`	`getHead()`
`Atom`	`getHead(int index)`
`int`	`getNumberOfBodyLiterals()`
`int`	`getNumberOfHeadAtoms()`
`Rule`	`replaceHead(Atom newHeadAtom)`
`Rule`	`simplify()`
`java.lang.String`	`toString()`
`void`	`toString(Prefixes prefixes, java.lang.StringBuilder builder, LogicFormat logicFormat)`
`void`	`toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)`
`java.lang.String`	`toString(Prefixes prefixes, LogicFormat logicFormat)`

Methods inherited from class java.lang.Object

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

Field Details
- NO_RULES
  
  public static final Rule[] NO_RULES
Method Details
- getHead
  
  public java.util.List<Atom> getHead()
- getNumberOfHeadAtoms
  
  public int getNumberOfHeadAtoms()
- getHead
  
  public Atom getHead(int index)
- getBody
  
  public java.util.List<BodyFormula> getBody()
- getNumberOfBodyLiterals
  
  public int getNumberOfBodyLiterals()
- getBody
  
  public BodyFormula getBody(int index)
- replaceHead
  
  public Rule replaceHead(Atom newHeadAtom)
- simplify
  
  public Rule simplify()
- accept
  
  public <E> E accept(LogicVisitor<E> visitor)
- toString
  
  public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)
- toString
  
  public void toString(Prefixes prefixes, java.lang.StringBuilder builder, LogicFormat logicFormat)
- toString
  
  public java.lang.String toString(Prefixes prefixes, LogicFormat logicFormat)
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object
- create
  
  public static Rule create(Atom head, java.util.List<BodyFormula> body)
- create
  
  public static Rule create(Atom head, BodyFormula... body)
- create
  
  public static Rule create(java.util.List<Atom> head, java.util.List<BodyFormula> body)
- create
  
  public static Rule create(Atom[] head, BodyFormula[] body)