BoundVariable

Represents an FOL variable bound by a Quantifier.

Jan Müller

name

The name of this bound variable.

Constructors

constructor(name: String)

Creates a BoundVariable with the given name.

The name of the entity.

open override fun evaluate(symbolTable: SymbolTable, variableAssignments: Map<String, Node>): Node

Evaluates this term to a Node using the given variableAssignments.

open override fun getRawString(variableAssignments: Map<String, Node>): String

Returns the name of the assigned Node or the name of this BoundVariable if none is assigned.

override fun toString(): String

Returns a String representation with no variable assignments and no brackets or dot at root level.

fun toString(variableAssignments: Map<String, Node>, wrap: Boolean): String

Returns a String representation with no variable assignments and optional brackets or dot at root level.