Constant
Types
Functions
Link copied to clipboard
Returns the name of this constant.
Link copied to clipboard
open override fun partialCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace