spot
1.0
|
#include <tgbaalgos/cycles.hh>
Public Member Functions | |
state_info () |
Public Attributes | |
bool | reach |
bool | mark |
set_type | del |
set_type | b |
|
inline |
set_type spot::enumerate_cycles::state_info::b |
set_type spot::enumerate_cycles::state_info::del |
bool spot::enumerate_cycles::state_info::mark |
bool spot::enumerate_cycles::state_info::reach |