Class mata::FormulaGraph

class FormulaGraph

Structure representing a transition formula using a graph.

A node of graph consists of node itself and set of children nodes. Nodes are operators and operands of the formula. E.g., a formula q1 & s1 will be transformed to a tree with & as a root node and q1 and s2 being children nodes of the root.