Universal
Represents a universal FOL quantifier.
Author
Jan Müller
Parameters
variable
The BoundVariable of this universal quantifier.
operand
The operand of this universal quantifier.
Constructors
Link copied to clipboard
Creates an Universal quantifier with the given variable and operand.
Properties
Functions
Link copied to clipboard
open override fun fullCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace
Checks all possible variable assignments.
Link copied to clipboard
Link copied to clipboard
open override fun partialCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace
Checks all possible variable assignments, until one is negative.