evaluate

abstract fun evaluate(symbolTable: SymbolTable, variableAssignments: Map<String, Node>): Node(source)

Evaluates this term to a Node.

Return

The Node this Term evaluates to with the given symbolTable and variableAssignments.

Parameters

symbolTable

SymbolTable that contains all symbols of the parsed root formula and Graph.

variableAssignments

Map of BoundVariable names and their assigned Nodes.