SymbolTable

data class SymbolTable(val unarySymbols: Map<String, Set<Node>>, val binarySymbols: Map<String, Set<Edge>>, val symbolTypes: Map<String, String>)(source)

DTO containing precalculated meta information for the ModelChecking algorithm.

This class does not have separate properties for relations and constants/functions for compatibility with legacy code.

Jan Müller

Constructors

constructor(unarySymbols: Map<String, Set<Node>>, binarySymbols: Map<String, Set<Edge>>, symbolTypes: Map<String, String>)

Creates a SymbolTable with the given parameters.

Map between binary symbols and their assigned Nodes. Contains both binary relations and functions.

Map associating unary and binary symbols with their respective type.

Map between unary symbols and their assigned Nodes. Contains both unary relations and constants.