spot::scc_info_node Class Reference

Storage for SCC related information. More...

#include <spot/twaalgos/sccinfo.hh>

Collaboration diagram for spot::scc_info_node:

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) noexcept
bool	is_trivial () const
bool	is_accepting () const
	True if we know that the SCC has an accepting cycle. More...
bool	is_rejecting () const
	True if we know that all cycles in the SCC are rejecting. More...
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

Protected Attributes
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

Friends
class	scc_info

Detailed Description

Storage for SCC related information.

Member Function Documentation

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:

• spot/twaalgos/sccinfo.hh