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.
	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.
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_info *	lower_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 bitvect *	keep_ = 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_si	the original scc_info that specifies the SCC
lower_scc	the SCC number in lower_si
cut_sets	the acceptance sets that should not be part of SCCs.

References scc_and_mark_filter().

Referenced by scc_and_mark_filter().

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

aut	the automaton to filter
cut_sets	the acceptance sets that should not be part of SCCs.

---

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

• spot/twaalgos/sccinfo.hh