spot 2.13.0.dev
|
A "node" in an acceptance formulas. More...
#include <spot/twa/acc.hh>
Public Attributes | ||
mark_t | mark | |
struct { | ||
acc_op op | ||
unsigned short size | ||
} | sub | |
A "node" in an acceptance formulas.
Acceptance formulas are stored as a vector of acc_word in a kind of reverse polish notation. Each acc_word is either an operator, or a set of acceptance sets. Operators come with a size that represent the number of words in the subtree, current operator excluded.