spot
1.99.4a
Main Page
Related Pages
Modules
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
spot
bprop
Public Attributes
|
List of all members
spot::bprop Struct Reference
Collaboration diagram for spot::bprop:
Public Attributes
bool
state_based_acc
:1
bool
inherently_weak
:1
bool
deterministic
:1
bool
unambiguous
:1
bool
stutter_invariant
:1
bool
stutter_sensitive
:1
The documentation for this struct was generated from the following file:
twa/
twa.hh
Please direct any
question
,
comment
, or
bug report
to the Spot mailing list at
spot@lrde.epita.fr
.
Generated on Sun Oct 11 2015 10:50:08 for spot by
1.8.9.1