spot
1.2.4
|
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.