spot  1.99.7
Public Attributes | List of all members
spot::bprop Struct Reference
Collaboration diagram for spot::bprop:
Collaboration graph

Public Attributes

trival::repr_t state_based_acc:2
 
trival::repr_t inherently_weak:2
 
trival::repr_t weak:2
 
trival::repr_t terminal:2
 
trival::repr_t deterministic:2
 
trival::repr_t unambiguous:2
 
trival::repr_t stutter_invariant:2
 

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 Jan 15 2016 13:01:50 for spot by doxygen 1.8.9.1