/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()
|