full Check
open override fun fullCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace(source)
Checks if the Node which term evaluates to is part of this Relation.
Return
ModelCheckerTrace that contains the results of this check.
Parameters
graph
The Graph that will be checked.
symbol Table
SymbolTable that contains all symbols of the parsed root formula and graph.
variable Assignments
Map of BoundVariable names and their assigned Nodes.
should Be Model
Indicates the expected result. Can be false for subformulas of Operator.Unary.Negation.