spot  2.8.1
Public Types | Public Member Functions | Protected Attributes | Friends | List of all members

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 interesects 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 interesects a mix of Fin and Inf sets. Call determine_unknown_acceptance() to decide.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13