Struct mata::FormulaNode

struct 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