Storage for SCC related information.
More...
#include <spot/twaalgos/sccinfo.hh>
|
|
typedef std::vector< unsigned > | scc_succs |
| |
|
|
| scc_info_node (acc_cond::mark_t acc, acc_cond::mark_t common, bool trivial) noexcept |
| |
|
bool | is_trivial () const |
| |
| bool | is_accepting () const |
| | True if we know that the SCC has an accepting cycle.
|
| |
| bool | is_rejecting () const |
| | True if we know that all cycles in the SCC are rejecting.
|
| |
|
bool | is_useful () const |
| |
|
acc_cond::mark_t | acc_marks () const |
| |
|
acc_cond::mark_t | common_marks () const |
| |
|
const std::vector< unsigned > & | states () const |
| |
|
unsigned | one_state () const |
| |
|
const scc_succs & | succ () const |
| |
|
|
scc_succs | succ_ |
| |
|
std::vector< unsigned > | states_ |
| |
|
unsigned | one_state_ |
| |
|
acc_cond::mark_t | acc_ |
| |
|
acc_cond::mark_t | common_ |
| |
|
bool | trivial_:1 |
| |
|
bool | accepting_:1 |
| |
|
bool | rejecting_:1 |
| |
|
bool | useful_:1 |
| |
Storage for SCC related information.
◆ is_accepting()
| bool spot::scc_info_node::is_accepting |
( |
| ) |
const |
|
inline |
True if we know that the SCC has an accepting cycle.
Note that both is_accepting() and is_rejecting() may return false if an SCC intersects a mix of Fin and Inf sets. Call determine_unknown_acceptance() to decide.
◆ is_rejecting()
| bool spot::scc_info_node::is_rejecting |
( |
| ) |
const |
|
inline |
True if we know that all cycles in the SCC are rejecting.
Note that both is_accepting() and is_rejecting() may return false if an SCC intersects a mix of Fin and Inf sets. Call determine_unknown_acceptance() to decide.
The documentation for this class was generated from the following file:
