Negation
Represents the unary negation operator.
Author
Jan Müller
Parameters
operand
The operand of the negation.
Constructors
Properties
Functions
Link copied to clipboard
open override fun fullCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace
Checks the operand by inverting shouldBeModel.
Link copied to clipboard
Link copied to clipboard
open override fun partialCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace
Checks the operand by inverting shouldBeModel.