Home
last modified time | relevance | path

Searched refs:aut1 (Results 1 – 25 of 50) sorted by relevance

12

/dports/math/spot/spot-2.10.2/tests/python/
H A Dremfin.py43 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 Dprodexpt.py25 aut1 = spot.translate('Xa') variable
29 spot.product(aut1, aut2)
35 spot.otf_product(aut1, aut2)
H A Doptionmap.py61 aut1 = spot.translate('GF(a <-> XXa)', 'det') variable
62 assert aut1.num_states() == 4
H A Dsum.py27 aut1 = spot.translate('Xa') variable
31 spot.sum(aut1, aut2)
/dports/math/py-spot/spot-2.10.2/tests/python/
H A Dremfin.py43 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 Dprodexpt.py25 aut1 = spot.translate('Xa') variable
29 spot.product(aut1, aut2)
35 spot.otf_product(aut1, aut2)
H A Doptionmap.py61 aut1 = spot.translate('GF(a <-> XXa)', 'det') variable
62 assert aut1.num_states() == 4
H A Dsum.py27 aut1 = spot.translate('Xa') variable
31 spot.sum(aut1, aut2)
/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dare_isomorphic.cc47 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 Dare_isomorphic.cc47 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 Duniq.test24 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 Disomorph.test34 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 Dltldo2.test34 ltldo 'ltl2tgba -D' ltl2tgba -f 'Ga | Gb | Gc' --smallest=%n > aut1.hoa
36 diff aut1.hoa aut2.hoa
H A Dexplprod.test103 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 Duniq.test24 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 Disomorph.test34 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 Dltldo2.test34 ltldo 'ltl2tgba -D' ltl2tgba -f 'Ga | Gb | Gc' --smallest=%n > aut1.hoa
36 diff aut1.hoa aut2.hoa
H A Dexplprod.test103 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 Dtut90.org68 : 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 Dtut90.org68 : 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 Dautomata.gd22 #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 Dgpdaut.tst43 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 Dautos2.tst103 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 Dq12.xq5 let $aut1 := for $a in $book1/author
13 and deep-equal($aut1, $aut2)
/dports/math/gap/gap-4.11.0/lib/
H A Dfieldfin.gi709 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 …]

12