acc: Do not restrict acceptance codes to small vectors.
* src/twa/acc.hh (acc_word): This is a 32-bit structure, so we can use short for both size and op.
This commit is contained in:
parent
203d07693d
commit
16336be3cc
1 changed files with 4 additions and 4 deletions
|
|
@ -252,14 +252,14 @@ namespace spot
|
||||||
};
|
};
|
||||||
|
|
||||||
// This encodes either an operator or set of acceptance sets.
|
// This encodes either an operator or set of acceptance sets.
|
||||||
enum class acc_op : unsigned char
|
enum class acc_op : unsigned short
|
||||||
{ Inf, Fin, InfNeg, FinNeg, And, Or };
|
{ Inf, Fin, InfNeg, FinNeg, And, Or };
|
||||||
union acc_word
|
union acc_word
|
||||||
{
|
{
|
||||||
mark_t mark;
|
mark_t mark;
|
||||||
struct {
|
struct {
|
||||||
acc_op op; // Operator
|
acc_op op; // Operator
|
||||||
unsigned char size; // Size of the subtree (number of acc_word),
|
unsigned short size; // Size of the subtree (number of acc_word),
|
||||||
// not counting this node.
|
// not counting this node.
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue