Unary

Represents an unary FOL operator.

Jan Müller

name

The name of this unary operator.

Types

Represents the unary negation operator.

The name of the entity.

The operand of this unary operator.

abstract fun fullCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace

Recursively evaluate all subformulas, including redundant checks.

open override fun getRawString(variableAssignments: Map<String, Node>): String

Returns raw String representation of this unary operator.

abstract fun partialCheck(graph: Graph, symbolTable: SymbolTable, variableAssignments: Map<String, Node>, shouldBeModel: Boolean): ModelCheckerTrace

Recursively evaluate some subformulas, excluding redundant checks.

override fun toString(): String

Returns a String representation with no variable assignments and no brackets or dot at root level.

fun toString(variableAssignments: Map<String, Node>, wrap: Boolean): String

Returns a String representation with no variable assignments and optional brackets or dot at root level.