Class 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