Class mata::FormulaNode

class FormulaNode

A node of graph representing transition formula.

A node could be operator (!,&,|) or operand (symbol, state, node). Each node has a name (in case of marking naming, an initial character defining type of node is removed and stored in name), raw (name including potential type marker), and information about its type.

Public Members

Type type = {}

Define whether a node is operand or operator.

std::string raw = {}

Raw name of node as it was specified in input text, i.e., including type marker.

std::string name = {}

Parsed name, i.e., a potential type marker (first character) is removed.

OperatorType operator_type = {}

if a node is operator, it defines which one

OperandType operand_type = {}

if a node is operand, it defines which one