spot  1.2.1a
Public Attributes | List of all members

Temporary encoding of an omega automaton produced by ltl2dstar. More...

#include <dstarparse/public.hh>

Collaboration diagram for spot::dstar_aut:
Collaboration graph

Public Attributes

tgba_explicit_numberaut
 
dstar_type type
 Type of the acceptance. More...
 
size_t accpair_count
 Number of acceptance pairs. More...
 
bitvect_arrayaccsets
 acceptance sets encoded as 2*num_state bit-vectors of num_pairs bits More...
 

Detailed Description

Temporary encoding of an omega automaton produced by ltl2dstar.

Member Data Documentation

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

dstar_type spot::dstar_aut::type

Type of the acceptance.


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Jun 5 2015 11:31:19 for spot by doxygen 1.8.9.1