BindAtom

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.Formula

tech.oxfordsemantic.jrdfox.logic.BodyFormula

tech.oxfordsemantic.jrdfox.logic.BindAtom

All Implemented Interfaces:: java.io.Serializable

public class BindAtom
extends BodyFormula

See Also:: Serialized Form

Field Summary

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.BodyFormula
NO_LITERALS

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.Formula
NO_FORMULAS

Method Summary

Modifier and Type	Method	Description
`<E> E`	`accept(LogicVisitor<E> visitor)`
`static BindAtom`	`create(BuiltinExpression builtinExpression, Variable boundVariable)`
`Variable`	`getBoundVariable()`
`BuiltinExpression`	`getBuiltinExpression()`
`BindAtom`	`simplify()`
`void`	`toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)`

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

getArgument, getArguments, getNumberOfArguments

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

toString, toString, toString

Methods inherited from class java.lang.Object

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

Method Details
- getBuiltinExpression
  
  public BuiltinExpression getBuiltinExpression()
- getBoundVariable
  
  public Variable getBoundVariable()
- simplify
  
  public BindAtom simplify()
  
  Specified by:
  
  simplify in class BodyFormula
- accept
  
  public <E> E accept(LogicVisitor<E> visitor)
  
  Specified by:
  
  accept in class BodyFormula
- toString
  
  public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)
  
  Specified by:
  
  toString in class BodyFormula
- create
  
  public static BindAtom create(BuiltinExpression builtinExpression, Variable boundVariable)