|
spot
1.2.6
|
Temporary encoding of an omega automaton produced by ltl2dstar. More...
#include <dstarparse/public.hh>

Public Attributes | |
| tgba_explicit_number * | aut |
| dstar_type | type |
| Type of the acceptance. More... | |
| size_t | accpair_count |
| Number of acceptance pairs. More... | |
| bitvect_array * | accsets |
| acceptance sets encoded as 2*num_state bit-vectors of num_pairs bits More... | |
Temporary encoding of an omega automaton produced by ltl2dstar.
| size_t spot::dstar_aut::accpair_count |
Number of acceptance pairs.
| bitvect_array* spot::dstar_aut::accsets |
acceptance sets encoded as 2*num_state bit-vectors of num_pairs bits
Assuming F={(Lâ,Uâ),â¦,(Láµ¢,Uáµ¢),â¦}, sâLáµ¢ iff accsets->at(s * 2).get(i), sâUáµ¢ iff accsets->at(s * 2 + 1).get(i).
| dstar_type spot::dstar_aut::type |
Type of the acceptance.
1.8.4