BodyFormula

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.Formula

tech.oxfordsemantic.jrdfox.logic.BodyFormula

All Implemented Interfaces:: java.io.Serializable

Direct Known Subclasses:: Aggregate, Atom, BindAtom, FilterAtom, Negation

public abstract class BodyFormula
extends Formula

See Also:: Serialized Form

Field Summary

Fields

Modifier and Type Field Description

static BodyFormula[] NO_LITERALS

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.Formula
NO_FORMULAS

Method Summary

Modifier and Type	Method	Description
`abstract <E> E`	`accept(LogicVisitor<E> visitor)`
`Term`	`getArgument(int index)`
`java.util.List<Term>`	`getArguments()`
`int`	`getNumberOfArguments()`
`abstract BodyFormula`	`simplify()`
`abstract void`	`toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)`

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

toString, toString, toString

Methods inherited from class java.lang.Object

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

Field Details
- NO_LITERALS
  
  public static final BodyFormula[] NO_LITERALS
Method Details
- getArguments
  
  public java.util.List<Term> getArguments()
- getNumberOfArguments
  
  public int getNumberOfArguments()
- getArgument
  
  public Term getArgument(int index)
- simplify
  
  public abstract BodyFormula simplify()
- accept
  
  public abstract <E> E accept(LogicVisitor<E> visitor)
  
  Specified by:
  
  accept in class Formula
- toString
  
  public abstract void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)
  
  Specified by:
  
  toString in class Formula