Unary

class Unary(val name: String, val term: Term) : Relation(source)

Represents a unary FOL relation.

Jan Müller

name

The name of this unary relation.

Constructors

constructor(name: String, term: Term)

Creates an Unary relation with the given name.

The name of the entity.

The Term of this unary relation.

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

Checks if the Node which term evaluates to is part of this Relation.

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

Returns raw String representation of unary relation.

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

Checks if the Node which term evaluates to is part of this Relation.

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.