spot  2.11.6
Public Member Functions | Static Protected Member Functions | Protected Attributes | List of all members
spot::scc_and_mark_filter Class Reference

Create a filter for SCC and marks. More...

#include <spot/twaalgos/sccinfo.hh>

Collaboration diagram for spot::scc_and_mark_filter:

Public Member Functions

 scc_and_mark_filter (const scc_info &lower_si, unsigned lower_scc, acc_cond::mark_t cut_sets)
 Specify how to restrict scc_info to some SCC and acceptance sets. More...
 
 scc_and_mark_filter (const scc_info &lower_si, unsigned lower_scc, acc_cond::mark_t cut_sets, const bitvect &keep)
 
 scc_and_mark_filter (const const_twa_graph_ptr &aut, acc_cond::mark_t cut_sets)
 Specify how to restrict scc_info to some acceptance sets. More...
 
void override_acceptance (const acc_cond &new_acc)
 
void restore_acceptance ()
 
const_twa_graph_ptr get_aut () const
 
unsigned start_state () const
 
scc_info::edge_filter get_filter () const
 

Static Protected Member Functions

static scc_info::edge_filter_choice filter_scc_and_mark_ (const twa_graph::edge_storage_t &e, unsigned dst, void *data)
 
static scc_info::edge_filter_choice filter_mark_ (const twa_graph::edge_storage_t &e, unsigned, void *data)
 
static scc_info::edge_filter_choice filter_scc_and_mark_and_edges_ (const twa_graph::edge_storage_t &e, unsigned dst, void *data)
 

Protected Attributes

const scc_infolower_si_
 
unsigned lower_scc_
 
acc_cond::mark_t cut_sets_
 
const_twa_graph_ptr aut_
 
acc_cond old_acc_
 
bool restore_old_acc_ = false
 
const bitvectkeep_ = nullptr
 

Detailed Description

Create a filter for SCC and marks.

An scc_and_mark_filter can be passed to scc_info to explore only a specific SCC of the original automaton, and to prevent some acceptance sets from being considered as part of SCCs.

Constructor & Destructor Documentation

◆ scc_and_mark_filter() [1/2]

spot::scc_and_mark_filter::scc_and_mark_filter ( const scc_info lower_si,
unsigned  lower_scc,
acc_cond::mark_t  cut_sets 
)
inline

Specify how to restrict scc_info to some SCC and acceptance sets.

Parameters
lower_sithe original scc_info that specifies the SCC
lower_sccthe SCC number in lower_si
cut_setsthe acceptance sets that should not be part of SCCs.

◆ scc_and_mark_filter() [2/2]

spot::scc_and_mark_filter::scc_and_mark_filter ( const const_twa_graph_ptr &  aut,
acc_cond::mark_t  cut_sets 
)
inline

Specify how to restrict scc_info to some acceptance sets.

Parameters
autthe automaton to filter
cut_setsthe acceptance sets that should not be part of SCCs.

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.9.1