Quantifier
Represents an FOL quantifier.
Author
Jan Müller
Parameters
name
The name of this quantifier.
Inheritors
Types
Properties
Functions
Link copied to clipboard
abstract fun fullCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace
Recursively evaluate all subformulas, including redundant checks.
Link copied to clipboard
Link copied to clipboard
abstract fun partialCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace
Recursively evaluate some subformulas, excluding redundant checks.