Class BindAtom

java.lang.Object

tech.oxfordsemantic.jrdfox.util.InterningManager.InternedObject

tech.oxfordsemantic.jrdfox.logic.LogicObject

tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula

tech.oxfordsemantic.jrdfox.logic.datalog.Atom

tech.oxfordsemantic.jrdfox.logic.datalog.BindAtom

All Implemented Interfaces:

Serializable

public class BindAtom
extends Atom

See Also:

• Serialized Form

Field Summary

Fields inherited from class Atom

EMPTY_ARRAY

Modifier and Type	Field	Description
static final Atom[]	EMPTY_ARRAY

Method Summary

Modifier and Type	Method	Description
<E> E	accept(LogicVisitor<E> visitor)
static BindAtom	create(Expression expression, Variable boundVariable)
Variable	getBoundVariable()
Expression	getExpression()
void	toString(Prefixes prefixes, Consumer<String> consumer)

Methods inherited from class BodyFormula

getArguments

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

Methods inherited from class LogicObject

toString, toString, toString

Modifier and Type	Method	Description
String	toString()
String	toString(Prefixes prefixes)
void	toString(Prefixes prefixes, StringBuilder stringBuilder)

Methods inherited from class Object

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

Method Details

getExpression

public Expression getExpression()

getBoundVariable

public Variable getBoundVariable()

accept

public <E> E accept(LogicVisitor<E> visitor)

Specified by:

accept in class LogicObject

toString

public void toString(Prefixes prefixes,
 Consumer<String> consumer)

Specified by:

toString in class LogicObject

create

public static BindAtom create(Expression expression,
 Variable boundVariable)