Or
Represents a disjunction operator.
Author
Jan Müller
Parameters
first Operand
The first disjunct.
second Operand
The second disjunct.
Constructors
Properties
Functions
Link copied to clipboard
open override fun fullCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace
Checks if either disjunct 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 either disjunct hold. secondOperand is only checked if firstOperand does not hold.