spot::acc_cond::acc_word Union Reference

A "node" in an acceptance formulas. More...

#include <spot/twa/acc.hh>

Collaboration diagram for spot::acc_cond::acc_word:

Public Attributes
mark_t	mark
	A set of acceptance marks. More...
struct {
acc_op   op:8
	Operator (6 possible values, stored in 8 bits) More...
unsigned   size:24
	Size of the subtree. More...
}	sub
	An operator node with its subtree size. More...

Detailed Description

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.

Member Data Documentation

mark

mark_t spot::acc_cond::acc_word::mark

A set of acceptance marks.

Referenced by spot::acc_cond::acc_code::operator&=(), and spot::acc_cond::acc_code::operator|=().

op

acc_op spot::acc_cond::acc_word::op

Operator (6 possible values, stored in 8 bits)

Referenced by spot::acc_cond::acc_code::operator&=(), and spot::acc_cond::acc_code::operator|=().

size

unsigned spot::acc_cond::acc_word::size

Size of the subtree.

The size is the number of acc_word that represent the subtree, not counting this word. See also max_acc_formula_size_.

Referenced by spot::acc_cond::acc_code::operator&=(), and spot::acc_cond::acc_code::operator|=().

struct { ... } spot::acc_cond::acc_word::sub

An operator node with its subtree size.

Referenced by spot::acc_cond::acc_code::operator&=(), and spot::acc_cond::acc_code::operator|=().

---

The documentation for this union was generated from the following file:

• spot/twa/acc.hh