Package tech.oxfordsemantic.jrdfox.logic.datalog

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:

java.io.Serializable

public class BindAtom
extends Atom

See Also:

Serialized Form

Field Summary

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.datalog.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, java.util.function.Consumer<java.lang.String> consumer)

Methods inherited from class tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula

getArguments

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

toString, toString, toString

Methods inherited from class java.lang.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, java.util.function.Consumer<java.lang.String> consumer)

Specified by:

toString in class LogicObject

create

public static BindAtom create(Expression expression, Variable boundVariable)