| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | strength.hh | 47 is_terminal_automaton(const const_twa_graph_ptr& aut, scc_info* sm = nullptr,
64 is_weak_automaton(const const_twa_graph_ptr& aut, scc_info* sm = nullptr);
82 scc_info* sm = nullptr);
99 scc_info* sm = nullptr);
116 scc_info* sm = nullptr);
137 check_strength(const twa_graph_ptr& aut, scc_info* sm = nullptr);
177 decompose_scc(scc_info& sm, const char* keep);
193 decompose_scc(scc_info& sm, unsigned scc_num, bool accepting = false);
|
| H A D | sccinfo.cc | 33 void scc_info::report_need_track_states() in report_need_track_states()
39 void scc_info::report_need_track_succs() in report_need_track_succs()
45 void scc_info::report_incompatible_stop_on_acc() in report_incompatible_stop_on_acc()
78 scc_info::scc_info(const scc_and_mark_filter& filt, scc_info_options options) in scc_info() function in spot::scc_info
79 : scc_info(filt.get_aut(), filt.start_state(), in scc_info()
85 scc_info::scc_info(const_twa_graph_ptr aut, in scc_info() function in spot::scc_info
380 void scc_info::determine_usefulness() in determine_usefulness()
675 scc_info* m = sccinfo ? sccinfo : new scc_info(aut); in dump_scc_info_dot()
857 scc_info::edge_filter_choice
867 scc_info::edge_filter_choice
[all …]
|
| H A D | isweakscc.hh | 32 scc_has_rejecting_cycle(scc_info& map, unsigned scc);
43 is_inherently_weak_scc(scc_info& map, unsigned scc);
52 is_weak_scc(scc_info& map, unsigned scc);
61 is_complete_scc(scc_info& map, unsigned scc);
67 is_terminal_scc(scc_info& map, unsigned scc);
|
| H A D | strength.cc | 36 bool is_type_automaton(const twa_graph_ptr& aut, scc_info* si, in is_type_automaton()
42 si = new scc_info(aut); in is_type_automaton()
129 is_terminal_automaton(const const_twa_graph_ptr& aut, scc_info* si, in is_terminal_automaton()
143 is_weak_automaton(const const_twa_graph_ptr& aut, scc_info* si) in is_weak_automaton()
155 is_very_weak_automaton(const const_twa_graph_ptr& aut, scc_info* si) in is_very_weak_automaton()
177 void check_strength(const twa_graph_ptr& aut, scc_info* si) in check_strength()
185 bool is_safety_automaton(const const_twa_graph_ptr& aut, scc_info* si) in is_safety_automaton()
192 si = new scc_info(aut); in is_safety_automaton()
210 decompose_scc(scc_info& si, const char* keep_opt) in decompose_scc()
391 scc_info si(aut); in decompose_scc()
[all …]
|
| H A D | genem.cc | 51 is_scc_empty(const scc_info& si, unsigned scc,
59 scc_split_check_filtered(const scc_info& upper_si, const acc_cond& acc, in scc_split_check_filtered()
84 scc_split_check(const scc_info& si, unsigned scc, const acc_cond& acc, in scc_split_check()
89 scc_info upper_si(filt, EarlyStop in scc_split_check()
97 is_scc_empty(const scc_info& si, unsigned scc, in is_scc_empty()
214 scc_info si(filt, scc_info_options::STOP_ON_ACC); in generic_emptiness_check_main()
259 bool generic_emptiness_check_for_scc(const scc_info& si, in generic_emptiness_check_for_scc()
269 generic_emptiness_check_for_scc(const scc_info& si, unsigned scc, in generic_emptiness_check_for_scc()
279 maximal_accepting_loops_for_scc(const scc_info& si, unsigned scc, in maximal_accepting_loops_for_scc()
282 std::function<void(const scc_info&, in maximal_accepting_loops_for_scc() argument
[all …]
|
| H A D | sccfilter.cc | 43 scc_info* si;
44 id_filter(scc_info* si) in id_filter()
72 state_filter(scc_info* si, Args&&... args) in state_filter()
92 susp_filter(scc_info* si, in susp_filter()
135 weak_filter(scc_info* si, Args&&... args) in weak_filter()
185 acc_filter_mask(scc_info* si, Args&&... args) in acc_filter_mask()
336 scc_info* si = given_si; in scc_filter_apply()
417 scc_info* given_si) in scc_filter_states()
436 scc_info* given_si) in scc_filter()
439 scc_info* si = given_si; in scc_filter()
[all …]
|
| H A D | sccfilter.hh | 28 class scc_info;
67 scc_info* given_si = nullptr);
79 scc_info* given_si = nullptr);
94 scc_info* given_si = nullptr);
|
| H A D | genem.hh | 53 generic_emptiness_check_for_scc(const scc_info& si, unsigned scc);
63 generic_emptiness_check_for_scc(const scc_info& si, unsigned scc,
81 maximal_accepting_loops_for_scc(const scc_info& si, unsigned scc,
84 std::function<void(const scc_info&,
|
| H A D | sccinfo.hh | 29 class scc_info;
289 friend class scc_info;
442 class SPOT_API scc_info class
483 scc_info(const_twa_graph_ptr aut,
508 scc_info(const scc_and_mark_filter& filt) in scc_info() function in spot::scc_info
509 : scc_info(filt, scc_info_options::ALL) in scc_info()
790 const scc_info* lower_si_;
798 static scc_info::edge_filter_choice
802 static scc_info::edge_filter_choice
805 static scc_info::edge_filter_choice
[all …]
|
| H A D | isweakscc.cc | 37 scc_has_rejecting_cycle(scc_info& map, unsigned scc) in scc_has_rejecting_cycle()
46 is_inherently_weak_scc(scc_info& map, unsigned scc) in is_inherently_weak_scc()
60 is_weak_scc(scc_info& map, unsigned scc) in is_weak_scc()
72 is_complete_scc(scc_info& map, unsigned scc) in is_complete_scc()
104 is_terminal_scc(scc_info& map, unsigned scc) in is_terminal_scc()
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
| H A D | strength.hh | 47 is_terminal_automaton(const const_twa_graph_ptr& aut, scc_info* sm = nullptr,
64 is_weak_automaton(const const_twa_graph_ptr& aut, scc_info* sm = nullptr);
82 scc_info* sm = nullptr);
99 scc_info* sm = nullptr);
116 scc_info* sm = nullptr);
137 check_strength(const twa_graph_ptr& aut, scc_info* sm = nullptr);
177 decompose_scc(scc_info& sm, const char* keep);
193 decompose_scc(scc_info& sm, unsigned scc_num, bool accepting = false);
|
| H A D | sccinfo.cc | 33 void scc_info::report_need_track_states() in report_need_track_states()
39 void scc_info::report_need_track_succs() in report_need_track_succs()
45 void scc_info::report_incompatible_stop_on_acc() in report_incompatible_stop_on_acc()
78 scc_info::scc_info(const scc_and_mark_filter& filt, scc_info_options options) in scc_info() function in spot::scc_info
79 : scc_info(filt.get_aut(), filt.start_state(), in scc_info()
85 scc_info::scc_info(const_twa_graph_ptr aut, in scc_info() function in spot::scc_info
380 void scc_info::determine_usefulness() in determine_usefulness()
675 scc_info* m = sccinfo ? sccinfo : new scc_info(aut); in dump_scc_info_dot()
857 scc_info::edge_filter_choice
867 scc_info::edge_filter_choice
[all …]
|
| H A D | isweakscc.hh | 32 scc_has_rejecting_cycle(scc_info& map, unsigned scc);
43 is_inherently_weak_scc(scc_info& map, unsigned scc);
52 is_weak_scc(scc_info& map, unsigned scc);
61 is_complete_scc(scc_info& map, unsigned scc);
67 is_terminal_scc(scc_info& map, unsigned scc);
|
| H A D | strength.cc | 36 bool is_type_automaton(const twa_graph_ptr& aut, scc_info* si, in is_type_automaton()
42 si = new scc_info(aut); in is_type_automaton()
129 is_terminal_automaton(const const_twa_graph_ptr& aut, scc_info* si, in is_terminal_automaton()
143 is_weak_automaton(const const_twa_graph_ptr& aut, scc_info* si) in is_weak_automaton()
155 is_very_weak_automaton(const const_twa_graph_ptr& aut, scc_info* si) in is_very_weak_automaton()
177 void check_strength(const twa_graph_ptr& aut, scc_info* si) in check_strength()
185 bool is_safety_automaton(const const_twa_graph_ptr& aut, scc_info* si) in is_safety_automaton()
192 si = new scc_info(aut); in is_safety_automaton()
210 decompose_scc(scc_info& si, const char* keep_opt) in decompose_scc()
391 scc_info si(aut); in decompose_scc()
[all …]
|
| H A D | genem.cc | 51 is_scc_empty(const scc_info& si, unsigned scc,
59 scc_split_check_filtered(const scc_info& upper_si, const acc_cond& acc, in scc_split_check_filtered()
84 scc_split_check(const scc_info& si, unsigned scc, const acc_cond& acc, in scc_split_check()
89 scc_info upper_si(filt, EarlyStop in scc_split_check()
97 is_scc_empty(const scc_info& si, unsigned scc, in is_scc_empty()
214 scc_info si(filt, scc_info_options::STOP_ON_ACC); in generic_emptiness_check_main()
259 bool generic_emptiness_check_for_scc(const scc_info& si, in generic_emptiness_check_for_scc()
269 generic_emptiness_check_for_scc(const scc_info& si, unsigned scc, in generic_emptiness_check_for_scc()
279 maximal_accepting_loops_for_scc(const scc_info& si, unsigned scc, in maximal_accepting_loops_for_scc()
282 std::function<void(const scc_info&, in maximal_accepting_loops_for_scc() argument
[all …]
|
| H A D | sccfilter.cc | 43 scc_info* si;
44 id_filter(scc_info* si) in id_filter()
72 state_filter(scc_info* si, Args&&... args) in state_filter()
92 susp_filter(scc_info* si, in susp_filter()
135 weak_filter(scc_info* si, Args&&... args) in weak_filter()
185 acc_filter_mask(scc_info* si, Args&&... args) in acc_filter_mask()
336 scc_info* si = given_si; in scc_filter_apply()
417 scc_info* given_si) in scc_filter_states()
436 scc_info* given_si) in scc_filter()
439 scc_info* si = given_si; in scc_filter()
[all …]
|
| H A D | sccfilter.hh | 28 class scc_info;
67 scc_info* given_si = nullptr);
79 scc_info* given_si = nullptr);
94 scc_info* given_si = nullptr);
|
| H A D | genem.hh | 53 generic_emptiness_check_for_scc(const scc_info& si, unsigned scc);
63 generic_emptiness_check_for_scc(const scc_info& si, unsigned scc,
81 maximal_accepting_loops_for_scc(const scc_info& si, unsigned scc,
84 std::function<void(const scc_info&,
|
| H A D | sccinfo.hh | 29 class scc_info;
289 friend class scc_info;
442 class SPOT_API scc_info class
483 scc_info(const_twa_graph_ptr aut,
508 scc_info(const scc_and_mark_filter& filt) in scc_info() function in spot::scc_info
509 : scc_info(filt, scc_info_options::ALL) in scc_info()
790 const scc_info* lower_si_;
798 static scc_info::edge_filter_choice
802 static scc_info::edge_filter_choice
805 static scc_info::edge_filter_choice
[all …]
|
| H A D | isweakscc.cc | 37 scc_has_rejecting_cycle(scc_info& map, unsigned scc) in is_colored()
46 is_inherently_weak_scc(scc_info& map, unsigned scc) in is_colored()
60 is_weak_scc(scc_info& map, unsigned scc) in is_colored()
72 is_complete_scc(scc_info& map, unsigned scc) in is_colored()
104 is_terminal_scc(scc_info& map, unsigned scc) in is_colored()
|
| /dports/devel/libfirm/libfirm-1.21.0/ir/ana/ |
| H A D | ircfscc.c | 72 typedef struct scc_info { struct
76 } scc_info; argument
79 static inline scc_info *new_scc_info(struct obstack *obst) in new_scc_info()
81 return OALLOCZ(obst, scc_info); in new_scc_info()
89 scc_info *info = (scc_info*) get_irn_link(n); in mark_irn_in_stack()
98 scc_info *info = (scc_info*) get_irn_link(n); in mark_irn_not_in_stack()
107 scc_info *info = (scc_info*) get_irn_link(n); in irn_is_in_stack()
116 scc_info *info = (scc_info*) get_irn_link(n); in set_irn_uplink()
125 scc_info *info = (scc_info*) get_irn_link(n); in get_irn_uplink()
134 scc_info *info = (scc_info*) get_irn_link(n); in set_irn_dfn()
[all …]
|
| H A D | irscc.c | 75 typedef struct scc_info { struct
85 } scc_info; argument
90 static inline scc_info *new_scc_info(struct obstack *obst) in new_scc_info()
92 return OALLOCZ(obst, scc_info); in new_scc_info()
100 scc_info *scc = (scc_info*) get_irn_link(n); in mark_irn_in_stack()
110 scc_info *scc = (scc_info*) get_irn_link(n); in mark_irn_not_in_stack()
120 scc_info *scc = (scc_info*) get_irn_link(n); in irn_is_in_stack()
130 scc_info *scc = (scc_info*) get_irn_link(n); in set_irn_uplink()
140 scc_info *scc = (scc_info*) get_irn_link(n); in get_irn_uplink()
150 scc_info *scc = (scc_info*) get_irn_link(n); in set_irn_dfn()
[all …]
|
| H A D | callgraph.c | 370 typedef struct scc_info { struct
375 } scc_info; argument
380 static inline scc_info *new_scc_info(struct obstack *obst) in new_scc_info()
382 return OALLOCZ(obst, scc_info); in new_scc_info()
419 scc_info *info = (scc_info*) get_irg_link(irg); in mark_irg_in_stack()
426 scc_info *info = (scc_info*) get_irg_link(irg); in mark_irg_not_in_stack()
433 scc_info *info = (scc_info*) get_irg_link(irg); in irg_is_in_stack()
440 scc_info *info = (scc_info*) get_irg_link(irg); in set_irg_uplink()
447 const scc_info *info = (scc_info*) get_irg_link(irg); in get_irg_uplink()
454 scc_info *info = (scc_info*) get_irg_link(irg); in set_irg_dfn()
[all …]
|
| /dports/math/spot/spot-2.10.2/tests/core/ |
| H A D | sccif.cc | 27 static void display(spot::scc_info& si) in display()
72 spot::scc_info si(tg); in main()
81 return spot::scc_info::edge_filter_choice::ignore; in main()
83 return spot::scc_info::edge_filter_choice::keep; in main()
85 spot::scc_info si(tg, s1, filter, nullptr); in main()
94 return spot::scc_info::edge_filter_choice::cut; in main()
96 return spot::scc_info::edge_filter_choice::keep; in main()
99 spot::scc_info si(tg, s1, filter, &ignore); in main()
|
| /dports/math/py-spot/spot-2.10.2/tests/core/ |
| H A D | sccif.cc | 27 static void display(spot::scc_info& si) in display()
72 spot::scc_info si(tg); in main()
81 return spot::scc_info::edge_filter_choice::ignore; in main()
83 return spot::scc_info::edge_filter_choice::keep; in main()
85 spot::scc_info si(tg, s1, filter, nullptr); in main()
94 return spot::scc_info::edge_filter_choice::cut; in main()
96 return spot::scc_info::edge_filter_choice::keep; in main()
99 spot::scc_info si(tg, s1, filter, &ignore); in main()
|