Create a filter for SCC and marks.
More...
#include <spot/twaalgos/sccinfo.hh>
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.
◆ 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. |
◆ 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: