/dports/math/spot/spot-2.10.2/tests/python/ |
H A D | remfin.py | 43 aut1 = spot.scc_filter_states(aut) variable 44 assert(aut1.to_str('hoa') == """HOA: v1 59 assert(aut.scc_filter_states().to_str() == aut1.to_str()) 60 assert(aut1.get_name() == None) 61 aut1.set_name("test me") 62 assert(aut1.get_name() == "test me")
|
H A D | prodexpt.py | 25 aut1 = spot.translate('Xa') variable 29 spot.product(aut1, aut2) 35 spot.otf_product(aut1, aut2)
|
H A D | optionmap.py | 61 aut1 = spot.translate('GF(a <-> XXa)', 'det') variable 62 assert aut1.num_states() == 4
|
H A D | sum.py | 27 aut1 = spot.translate('Xa') variable 31 spot.sum(aut1, aut2)
|
/dports/math/py-spot/spot-2.10.2/tests/python/ |
H A D | remfin.py | 43 aut1 = spot.scc_filter_states(aut) variable 44 assert(aut1.to_str('hoa') == """HOA: v1 59 assert(aut.scc_filter_states().to_str() == aut1.to_str()) 60 assert(aut1.get_name() == None) 61 aut1.set_name("test me") 62 assert(aut1.get_name() == "test me")
|
H A D | prodexpt.py | 25 aut1 = spot.translate('Xa') variable 29 spot.product(aut1, aut2) 35 spot.otf_product(aut1, aut2)
|
H A D | optionmap.py | 61 aut1 = spot.translate('GF(a <-> XXa)', 'det') variable 62 assert aut1.num_states() == 4
|
H A D | sum.py | 27 aut1 = spot.translate('Xa') variable 31 spot.sum(aut1, aut2)
|
/dports/math/spot/spot-2.10.2/spot/twaalgos/ |
H A D | are_isomorphic.cc | 47 are_isomorphic_det(const spot::const_twa_graph_ptr aut1, in are_isomorphic_det() argument 52 workqueue.emplace(aut1->get_init_state_number(), in are_isomorphic_det() 54 std::vector<unsigned> map(aut1->num_states(), -1U); in are_isomorphic_det() 55 map[aut1->get_init_state_number()] = aut2->get_init_state_number(); in are_isomorphic_det() 64 for (auto& t : aut1->out(current_state.first)) in are_isomorphic_det() 101 trivially_different(const spot::const_twa_graph_ptr aut1, in trivially_different() argument 104 return aut1->num_states() != aut2->num_states() || in trivially_different() 105 aut1->num_edges() != aut2->num_edges() || in trivially_different() 108 aut1->acc().get_acceptance() != aut2->acc().get_acceptance(); in trivially_different()
|
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
H A D | are_isomorphic.cc | 47 are_isomorphic_det(const spot::const_twa_graph_ptr aut1, in are_isomorphic_det() argument 52 workqueue.emplace(aut1->get_init_state_number(), in are_isomorphic_det() 54 std::vector<unsigned> map(aut1->num_states(), -1U); in are_isomorphic_det() 55 map[aut1->get_init_state_number()] = aut2->get_init_state_number(); in are_isomorphic_det() 64 for (auto& t : aut1->out(current_state.first)) in are_isomorphic_det() 101 trivially_different(const spot::const_twa_graph_ptr aut1, in trivially_different() argument 104 return aut1->num_states() != aut2->num_states() || in trivially_different() 105 aut1->num_edges() != aut2->num_edges() || in trivially_different() 108 aut1->acc().get_acceptance() != aut2->acc().get_acceptance(); in trivially_different()
|
/dports/math/spot/spot-2.10.2/tests/core/ |
H A D | uniq.test | 24 randaut a b -Q5 --hoa > aut1 26 autfilt --randomize aut1 --hoa > rand11 27 autfilt --randomize --seed=1 aut1 --hoa > rand12 28 autfilt --randomize --seed=2 aut1 --hoa > rand13 33 cat aut1 aut2 > aut 34 cat aut1 aut2 rand11 rand12 rand13 rand21 rand22 rand23 > all
|
H A D | isomorph.test | 34 cat aut0 aut1 aut2 aut3 aut4 aut5 > all 41 cat >aut1 <<EOF 107 run 0 autfilt aut1 --are-isomorphic aut2 110 run 0 autfilt -u aut1 aut2 aut2 aut3 -c >out 113 ltl2tgba -D -G GFa > aut1 115 test 0 = `autfilt -c --are-isomorphic aut1 aut2`
|
H A D | ltldo2.test | 34 ltldo 'ltl2tgba -D' ltl2tgba -f 'Ga | Gb | Gc' --smallest=%n > aut1.hoa 36 diff aut1.hoa aut2.hoa
|
H A D | explprod.test | 103 ltl2tgba '!a' 'a U b' | autfilt --product=- - > aut1 104 ltl2tgba '!a&b' | autfilt -q --equivalent-to=aut1
|
/dports/math/py-spot/spot-2.10.2/tests/core/ |
H A D | uniq.test | 24 randaut a b -Q5 --hoa > aut1 26 autfilt --randomize aut1 --hoa > rand11 27 autfilt --randomize --seed=1 aut1 --hoa > rand12 28 autfilt --randomize --seed=2 aut1 --hoa > rand13 33 cat aut1 aut2 > aut 34 cat aut1 aut2 rand11 rand12 rand13 rand21 rand22 rand23 > all
|
H A D | isomorph.test | 34 cat aut0 aut1 aut2 aut3 aut4 aut5 > all 41 cat >aut1 <<EOF 107 run 0 autfilt aut1 --are-isomorphic aut2 110 run 0 autfilt -u aut1 aut2 aut2 aut3 -c >out 113 ltl2tgba -D -G GFa > aut1 115 test 0 = `autfilt -c --are-isomorphic aut1 aut2`
|
H A D | ltldo2.test | 34 ltldo 'ltl2tgba -D' ltl2tgba -f 'Ga | Gb | Gc' --smallest=%n > aut1.hoa 36 diff aut1.hoa aut2.hoa
|
H A D | explprod.test | 103 ltl2tgba '!a' 'a U b' | autfilt --product=- - > aut1 104 ltl2tgba '!a&b' | autfilt -q --equivalent-to=aut1
|
/dports/math/spot/spot-2.10.2/doc/org/ |
H A D | tut90.org | 68 : aut1: a=0 b=1 96 : aut1: a=0 b=1 108 aut1 = spot.make_twa_graph() 109 ap1a = aut1.register_ap("a") 110 ap1b = aut1.register_ap("b") 120 : aut1: a=0 b=1 121 : aut1: a=0 b=1 c=2 146 std::cout << "aut1@" << aut1 << ": a=" << ap1a << " b=" << ap1b << '\n'; 155 aut1 = nullptr; 167 aut1@0x55bff3d24340: a=0 b=1 [all …]
|
/dports/math/py-spot/spot-2.10.2/doc/org/ |
H A D | tut90.org | 68 : aut1: a=0 b=1 96 : aut1: a=0 b=1 108 aut1 = spot.make_twa_graph() 109 ap1a = aut1.register_ap("a") 110 ap1b = aut1.register_ap("b") 120 : aut1: a=0 b=1 121 : aut1: a=0 b=1 c=2 146 std::cout << "aut1@" << aut1 << ": a=" << ap1a << " b=" << ap1b << '\n'; 155 aut1 = nullptr; 167 aut1@0x55bff3d24340: a=0 b=1 [all …]
|
/dports/math/gap/gap-4.11.0/pkg/PatternClass-2.4.2/lib/ |
H A D | automata.gd | 22 #F NDIntersectionAutomaton(aut1,aut2) 31 #F NDUnionAutomata(aut1,aut2) 40 #F NDProductOfLanguages(aut1,aut2)
|
/dports/math/gap/gap-4.11.0/pkg/groupoids-1.68/tst/manual/ |
H A D | gpdaut.tst | 43 gap> aut1 := GroupoidAutomorphismByObjectPerm( Ga4, [-13,-11,-15] );; 44 gap> Display( aut1 ); 49 gap> d1 := ImageElm( aut1, d ); 80 gap> aut1234 := aut1*aut2*aut3*aut4;; 108 gap> aut1 := GroupoidAutomorphismByGroupAuto( Hs3c, a1 ); 116 gap> ImageElm( aut1, a ); 121 gap> ImageElm( aut1, b ); 146 gap> aut := aut1 * aut2 * aut3;
|
/dports/math/gap/gap-4.11.0/pkg/groupoids-1.68/tst/extra/ |
H A D | autos2.tst | 103 gap> aut1 := GroupoidAutomorphismByObjectPerm( Fd8, [-17,-16,-19,-18] ); 109 gap> IsAutomorphismWithObjects( aut1 ); 111 gap> iso1 := isod8 * aut1;; 228 gap> ainv1 := InverseGeneralMapping( aut1 ); 234 gap> aut123 := aut1 * aut2 * aut3;
|
/dports/textproc/saxon-devel/saxon-devel-9.1.0.8_1,1/use-cases/xmp/ |
H A D | q12.xq | 5 let $aut1 := for $a in $book1/author 13 and deep-equal($aut1, $aut2)
|
/dports/math/gap/gap-4.11.0/lib/ |
H A D | fieldfin.gi | 709 function( aut1, aut2 ) 710 return Source( aut1 ) = Source( aut2 ) and aut1!.power = aut2!.power; 765 function( aut1, aut2 ) 766 if Characteristic( Source( aut1 ) ) 768 return FrobeniusAutomorphismI( Source( aut1 ), 769 aut1!.power * aut2!.power ); 865 function ( aut1, aut2 ) 866 local source1, # source of `aut1' 874 source1:= Source( aut1 ); 889 if gen ^ aut1!.power <> gen ^ aut2!.power then [all …]
|