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:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static final BodyFormula[]	EMPTY_ARRAY

Method Summary

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

Methods inherited from class LogicObject

accept, toString, toString, toString, toString

Modifier and Type	Method	Description
abstract <E> E	accept(LogicVisitor<E> visitor)
String	toString()
String	toString(Prefixes prefixes)
void	toString(Prefixes prefixes, StringBuilder stringBuilder)
abstract void	toString(Prefixes prefixes, Consumer<String> consumer)

Methods inherited from class Object

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

Field Details

EMPTY_ARRAY

public static final BodyFormula[] EMPTY_ARRAY

Method Details

getArguments

public List<Term> getArguments()