|
spot
2.4
|
Storage for SCC related information. More...
#include <spot/twaalgos/sccinfo.hh>

Public Types | |
| typedef std::vector< unsigned > | scc_succs |
Public Member Functions | |
| scc_info_node (acc_cond::mark_t acc, acc_cond::mark_t common, 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 |
| acc_cond::mark_t | common_marks () const |
| const std::vector< unsigned > & | states () const |
| const scc_succs & | succ () const |
Protected Attributes | |
| scc_succs | succ_ |
| acc_cond::mark_t | acc_ |
| acc_cond::mark_t | common_ |
| std::vector< unsigned > | states_ |
| bool | trivial_:1 |
| bool | accepting_:1 |
| bool | rejecting_:1 |
| bool | useful_:1 |
Friends | |
| class | scc_info |
Storage for SCC related information.
|
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.
|
inline |
Note that both is_accepting() and is_rejecting() may return false if an SCC interesects a mix of Fin and Inf sets.
1.8.13