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.