Package tech.oxfordsemantic.jrdfox.logic.datalog

Class BodyFormula

java.lang.Object
tech.oxfordsemantic.jrdfox.util.InterningManager.InternedObject
tech.oxfordsemantic.jrdfox.logic.LogicObject
tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
Aggregate, Atom, Negation
public abstract class BodyFormula
extends LogicObject
See Also:
Serialized Form

  • Field Summary

    Fields 
    Modifier and Type Field Description
    static BodyFormula[] EMPTY_ARRAY  

  • Method Summary

    Modifier and Type Method Description
    java.util.List<Term> getArguments()  

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

    accept, toString, toString, toString, toString

    Methods inherited from class java.lang.Object

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