Home
last modified time | relevance | path

Searched refs:prop_inherently_weak (Results 1 – 25 of 48) sorted by relevance

12

/dports/math/spot/spot-2.10.2/spot/gen/
H A Dautomata.cc93 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 Dautomata.cc93 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 Dgen.py31 assert k2.prop_inherently_weak().is_false()
45 assert k3.prop_inherently_weak().is_false()
H A Dremfin.py41 aut.prop_inherently_weak(True)
H A Dexcept.py86 alt.prop_inherently_weak(False)
/dports/math/py-spot/spot-2.10.2/tests/python/
H A Dgen.py31 assert k2.prop_inherently_weak().is_false()
45 assert k3.prop_inherently_weak().is_false()
H A Dremfin.py41 aut.prop_inherently_weak(True)
H A Dexcept.py86 alt.prop_inherently_weak(False)
/dports/math/spot/spot-2.10.2/spot/twa/
H A Dtwa.hh1242 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 Dtwagraph.cc1046 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 Dtwa.hh1242 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 Dtwagraph.cc1046 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 Dproduct.cc417 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 Dstrength.cc120 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 Dsccfilter.cc422 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 Dhoa.cc552 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 Dgfguarantee.cc72 aut->prop_inherently_weak(false); in do_g_f_terminal_inplace()
H A Dpostproc.cc447 && dba->prop_inherently_weak().is_true() in run()
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dproduct.cc417 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 Dstrength.cc120 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 Dsccfilter.cc422 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 Dhoa.cc552 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 Dgfguarantee.cc72 aut->prop_inherently_weak(false); in do_g_f_terminal_inplace()
/dports/math/spot/spot-2.10.2/doc/org/
H A Dtut21.org227 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 Dtut21.org227 out << "Inherently Weak: " << aut->prop_inherently_weak() << '\n';
557 print("Inherently Weak:", aut.prop_inherently_weak())

12