/dports/math/spot/spot-2.10.2/spot/gen/ |
H A D | automata.cc | 93 aut->prop_inherently_weak(false); in ks_nca() 132 aut->prop_inherently_weak(false); in l_nba() 170 aut->prop_inherently_weak(false); in l_dsa() 216 aut->prop_inherently_weak(false); in m_nba()
|
/dports/math/py-spot/spot-2.10.2/spot/gen/ |
H A D | automata.cc | 93 aut->prop_inherently_weak(false); in ks_nca() 132 aut->prop_inherently_weak(false); in l_nba() 170 aut->prop_inherently_weak(false); in l_dsa() 216 aut->prop_inherently_weak(false); in m_nba()
|
/dports/math/spot/spot-2.10.2/tests/python/ |
H A D | gen.py | 31 assert k2.prop_inherently_weak().is_false() 45 assert k3.prop_inherently_weak().is_false()
|
H A D | remfin.py | 41 aut.prop_inherently_weak(True)
|
H A D | except.py | 86 alt.prop_inherently_weak(False)
|
/dports/math/py-spot/spot-2.10.2/tests/python/ |
H A D | gen.py | 31 assert k2.prop_inherently_weak().is_false() 45 assert k3.prop_inherently_weak().is_false()
|
H A D | remfin.py | 41 aut.prop_inherently_weak(True)
|
H A D | except.py | 86 alt.prop_inherently_weak(False)
|
/dports/math/spot/spot-2.10.2/spot/twa/ |
H A D | twa.hh | 1242 trival prop_inherently_weak() const in prop_inherently_weak() function in spot::twa 1254 void prop_inherently_weak(trival val) in prop_inherently_weak() function in spot::twa 1636 prop_inherently_weak(other->prop_inherently_weak()); in prop_copy() 1678 prop_inherently_weak(trival::maybe()); in prop_keep()
|
H A D | twagraph.cc | 1046 if (prop_inherently_weak().is_false()) in kill_state() 1047 prop_inherently_weak(trival::maybe()); in kill_state() 1156 print_prop(prop_inherently_weak); in dump_storage_as_dot()
|
/dports/math/py-spot/spot-2.10.2/spot/twa/ |
H A D | twa.hh | 1242 trival prop_inherently_weak() const in prop_inherently_weak() function in spot::twa 1254 void prop_inherently_weak(trival val) in prop_inherently_weak() function in spot::twa 1636 prop_inherently_weak(other->prop_inherently_weak()); in prop_copy() 1678 prop_inherently_weak(trival::maybe()); in prop_keep()
|
H A D | twagraph.cc | 1046 if (prop_inherently_weak().is_false()) in kill_state() 1047 prop_inherently_weak(trival::maybe()); in kill_state() 1156 print_prop(prop_inherently_weak); in dump_storage_as_dot()
|
/dports/math/spot/spot-2.10.2/spot/twaalgos/ |
H A D | product.cc | 417 if (left->prop_inherently_weak() && right->prop_inherently_weak()) in product_aux() 418 res->prop_inherently_weak(true); in product_aux() 694 if (left->prop_inherently_weak() && right->prop_inherently_weak()) in product_susp_main() 695 res->prop_inherently_weak(true); in product_susp_main()
|
H A D | strength.cc | 120 aut->prop_inherently_weak(is_inweak); in is_type_automaton() 168 trival v = aut->prop_inherently_weak(); in is_inherently_weak_automaton() 173 std::const_pointer_cast<twa_graph>(aut)->prop_inherently_weak(res); in is_inherently_weak_automaton()
|
H A D | sccfilter.cc | 422 if (aut->prop_inherently_weak()) in scc_filter_states() 440 if (aut->prop_inherently_weak()) in scc_filter() 490 if (aut->prop_inherently_weak()) in scc_filter()
|
H A D | hoa.cc | 552 if (aut->prop_inherently_weak() && (verbose || aut->prop_weak() != true)) in print_hoa() 560 aut->prop_inherently_weak() != false)) in print_hoa() 562 if (v1_1 && !aut->prop_inherently_weak()) in print_hoa()
|
H A D | gfguarantee.cc | 72 aut->prop_inherently_weak(false); in do_g_f_terminal_inplace()
|
H A D | postproc.cc | 447 && dba->prop_inherently_weak().is_true() in run()
|
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
H A D | product.cc | 417 if (left->prop_inherently_weak() && right->prop_inherently_weak()) in product_aux() 418 res->prop_inherently_weak(true); in product_aux() 694 if (left->prop_inherently_weak() && right->prop_inherently_weak()) in product_susp_main() 695 res->prop_inherently_weak(true); in product_susp_main()
|
H A D | strength.cc | 120 aut->prop_inherently_weak(is_inweak); in is_type_automaton() 168 trival v = aut->prop_inherently_weak(); in is_inherently_weak_automaton() 173 std::const_pointer_cast<twa_graph>(aut)->prop_inherently_weak(res); in is_inherently_weak_automaton()
|
H A D | sccfilter.cc | 422 if (aut->prop_inherently_weak()) in scc_filter_states() 440 if (aut->prop_inherently_weak()) in scc_filter() 490 if (aut->prop_inherently_weak()) in scc_filter()
|
H A D | hoa.cc | 552 if (aut->prop_inherently_weak() && (verbose || aut->prop_weak() != true)) in print_hoa() 560 aut->prop_inherently_weak() != false)) in print_hoa() 562 if (v1_1 && !aut->prop_inherently_weak()) in print_hoa()
|
H A D | gfguarantee.cc | 72 aut->prop_inherently_weak(false); in do_g_f_terminal_inplace()
|
/dports/math/spot/spot-2.10.2/doc/org/ |
H A D | tut21.org | 227 out << "Inherently Weak: " << aut->prop_inherently_weak() << '\n'; 557 print("Inherently Weak:", aut.prop_inherently_weak())
|
/dports/math/py-spot/spot-2.10.2/doc/org/ |
H A D | tut21.org | 227 out << "Inherently Weak: " << aut->prop_inherently_weak() << '\n'; 557 print("Inherently Weak:", aut.prop_inherently_weak())
|