Main Page
|
Namespace List
|
Class Hierarchy
|
Class List
|
File List
|
Namespace Members
|
Class Members
spot::magic_search::magic Struct Reference
Records whether a state has be seen with the magic bit on or off.
More...
List of all members.
Public Attributes
bool
seen_without
: 1
bool
seen_with
: 1
Detailed Description
Records whether a state has be seen with the magic bit on or off.
Member Data Documentation
bool
spot::magic_search::magic::seen_with
bool
spot::magic_search::magic::seen_without
The documentation for this struct was generated from the following file:
tgbaalgos/
magic.hh
Generated on Tue Jan 13 18:20:57 2004 for spot by
1.3.5