|
| scc_node (acc_cond::mark_t acc, bool trivial) |
|
bool | is_trivial () const |
|
bool | is_accepting () const |
| True if we are sure that the SCC is accepting. More...
|
|
bool | is_rejecting () const |
|
bool | is_useful () const |
|
acc_cond::mark_t | acc_marks () const |
|
const std::vector< unsigned > & | states () const |
|
const scc_succs & | succ () const |
|
|
scc_succs | succ_ |
|
acc_cond::mark_t | acc_ |
|
std::vector< unsigned > | states_ |
|
bool | trivial_:1 |
|
bool | accepting_:1 |
|
bool | rejecting_:1 |
|
bool | useful_:1 |
|
◆ is_accepting()
bool spot::scc_info::scc_node::is_accepting |
( |
| ) |
const |
|
inline |
True if we are sure that the SCC is accepting.
Note that both is_accepting() and is_rejecting() may return false if an SCC interesects a mix of Fin and Inf sets.
◆ is_rejecting()
bool spot::scc_info::scc_node::is_rejecting |
( |
| ) |
const |
|
inline |
The documentation for this class was generated from the following file: