Formula

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.Formula

All Implemented Interfaces:: java.io.Serializable

Direct Known Subclasses:: BodyFormula, Conjunction, Disjunction, Minus, Optional, Query, Values

public abstract class Formula
extends java.lang.Object
implements java.io.Serializable

See Also:: Serialized Form

Field Summary

Fields

Modifier and Type Field Description

static Formula[] NO_FORMULAS
Constructor Summary

Constructors

Constructor Description

Formula()

Method Summary

Modifier and Type	Method	Description
`abstract <E> E`	`accept(LogicVisitor<E> visitor)`
`java.lang.String`	`toString()`
`void`	`toString(Prefixes prefixes, java.lang.StringBuilder builder, LogicFormat logicFormat)`
`abstract 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_FORMULAS
  
  public static final Formula[] NO_FORMULAS
Constructor Details
- Formula
  
  public Formula()
Method Details
- accept
  
  public abstract <E> E accept(LogicVisitor<E> visitor)
- toString
  
  public abstract 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