False

The false-constant.

Can NOT be a Kotlin-object for compatibility with the legacy parser.

Jan Müller

Constructors

constructor()

Creates a False-constant.

The name of the entity.

open override fun fullCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace

Checks if this constant is True or False.

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

Returns the name of this constant.

open override fun partialCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace

Checks if this constant is True or False.

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.