And
Represents a conjunction operator.
Author
Jan Müller
Parameters
first Operand
The first conjunct.
second Operand
The second conjunct.
Constructors
Properties
Functions
Link copied to clipboard
open override fun fullCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace
Checks if both conjuncts hold.
Link copied to clipboard
Link copied to clipboard
open override fun partialCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace
Checks if both conjuncts hold. secondOperand is only checked if firstOperand holds.