BindAtom

java.lang.Object

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)