Bi Implication
class BiImplication(val firstOperand: Formula, val secondOperand: Formula) : Operator.Binary(source)
Represents a bi-implication operator.
Author
Jan Müller
Parameters
first Operand
The antecedent.
second Operand
The consequent.
Constructors
Link copied to clipboard
Creates an BiImplication operator with the given antecedents and consequent.
Properties
Functions
Link copied to clipboard
open override fun fullCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace
Checks if antecedent holds if and only if consequent holds.
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 antecedent holds if and only if consequent holds.