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:
Serializable
Direct Known Subclasses:
Aggregate, Atom, Negation

public abstract class BodyFormula extends LogicObject
See Also:
  • Field Details

    • EMPTY_ARRAY

      public static final BodyFormula[] EMPTY_ARRAY
  • Method Details

    • getArguments

      public List<Term> getArguments()