Home
last modified time | relevance | path

Searched refs:ltl (Results 1 – 25 of 502) sorted by relevance

12345678910>>...21

/dports/math/spot/spot-2.10.2/spot/parsetl/
H A Dparsetl.cc1358 { (yylhs.value.ltl) = (yystack_[0].value.ltl); } in parse()
1416 (yylhs.value.ltl) = (yystack_[1].value.ltl); in parse()
1727 (yylhs.value.ltl) = (yystack_[2].value.ltl); in parse()
1745 (yylhs.value.ltl) = (yystack_[1].value.ltl); in parse()
1754 (yylhs.value.ltl) = (yystack_[2].value.ltl); in parse()
1803 (yylhs.value.ltl) = (yystack_[2].value.ltl); in parse()
1820 (yylhs.value.ltl) = (yystack_[1].value.ltl); in parse()
1829 (yylhs.value.ltl) = (yystack_[2].value.ltl); in parse()
1872 (yylhs.value.ltl) = (yystack_[2].value.ltl); in parse()
1890 (yylhs.value.ltl) = (yystack_[1].value.ltl); in parse()
[all …]
/dports/math/py-spot/spot-2.10.2/spot/parsetl/
H A Dparsetl.cc1358 { (yylhs.value.ltl) = (yystack_[0].value.ltl); } in parse()
1416 (yylhs.value.ltl) = (yystack_[1].value.ltl); in parse()
1727 (yylhs.value.ltl) = (yystack_[2].value.ltl); in parse()
1745 (yylhs.value.ltl) = (yystack_[1].value.ltl); in parse()
1754 (yylhs.value.ltl) = (yystack_[2].value.ltl); in parse()
1803 (yylhs.value.ltl) = (yystack_[2].value.ltl); in parse()
1820 (yylhs.value.ltl) = (yystack_[1].value.ltl); in parse()
1829 (yylhs.value.ltl) = (yystack_[2].value.ltl); in parse()
1872 (yylhs.value.ltl) = (yystack_[2].value.ltl); in parse()
1890 (yylhs.value.ltl) = (yystack_[1].value.ltl); in parse()
[all …]
/dports/devel/spin/Spin-version-6.5.0/Examples/LTL/
H A Dpatterns.pml1 init { printf("hello ltl\n") }
5 /* Globally */ ltl a1 { [](!P) }
6 /* Before R */ ltl a2 { <>R -> (!P U R) }
7 /* After Q */ ltl a3 { [](Q -> [](!P)) }
12 /* Globally */ ltl e1 { <>(P) }
13 /* Before R */ ltl e2 { !R W (P && !R) }
31 /* Globally */ ltl u1 { [](P) }
32 /* Before R */ ltl u2 { <>R -> (P U R) }
33 /* After Q */ ltl u3 { [](Q -> [](P)) }
38 /* Globally */ ltl p1 { !P W S }
[all …]
H A Dtrain.pml77 * ltl format specifies positive properties
82 ltl c1 { []<> (gate@Occupied) }
83 ltl c2 { []<> (train[0]@Crossed) }
84 ltl c3 { []<> (train[0]@Crossed && train[1]@Stopped) }
85 ltl c4 { []<> (train[0]@Crossed && train[1]@Stopped && train[2]@Stopped && train[3]@Stopped) }
86 ltl c5 { [] (train[0]@Crossed + train[1]@Crossed + train[2]@Crossed + train[3]@Crossed <= 1) }
87 ltl c6 { [] (len(list) < N) }
89 ltl c7 { [] (((gate@Add1 || gate@Add2)) -> (len(list) < N)) }
90 ltl c8 { [] (train[0]@Approaching) -> <> (train[0]@Crossed) }
H A Dleader_pre.pml14 * ltl format specifies positive properties
21 /* enclose ltl formula in $..$ if preprocessing symbols are used
28 ltl p0 $ eventually ( nr_leaders > 0 ) $
29 ltl p1 $ eventually always ( nr_leaders == 1 ) $
30 ltl p2 $ always ( (nr_leaders == 0) U (nr_leaders == 1) ) $
31 ltl p3 $ not always ( nr_leaders == 0 ) $
33 ltl p0 {<> (nr_leaders > 0)}
34 ltl p1 {<>[] (nr_leaders == 1)}
35 ltl p2 {[] ((nr_leaders == 0) U (nr_leaders == 1))}
36 ltl p3 {![] (nr_leaders == 0)}
H A Dleader.pml14 * ltl format specifies positive properties
28 ltl p0 { <> (nr_leaders > 0) }
29 ltl p1 { <>[] (nr_leaders == 1) }
30 ltl p2 { [] (nr_leaders == 0 U nr_leaders == 1) }
31 ltl p3 { ![] (nr_leaders == 0) }
/dports/math/spot/spot-2.10.2/bench/spin13/
H A DMakefile.am19 EXTRA_DIST = big_2-fair_2.ltl big_2-fair_3-3.ltl big_2-strong_1.ltl \
20 big_2-strong_2.ltl big_2.ltl html.bottom html.top \
21 known.ltl new-fair2.ltl new-strong1.ltl new-strong2.ltl \
22 new-weak3.ltl new.ltl run.sh README
H A DREADME55 - known.ltl is the set described in the paper;
56 - new-fair3.ltl.pos is what we call fair3.ltl in the paper;
57 - new-strong2.ltl.pos is what we call strong2.ltl in the paper.
59 - new-ltl.pos: the set of random \varphi_i formula used to build
60 new-fair3.ltl.pos and new-strong2.ltl.pos;
61 - new-fair2.ltl.pos: the above formulae combined with weak
63 - new-strong1.ltl.pos: simimular to strong2 but using only
67 Additionally, for all *.ltl.pos files, we have an *.ltl.neg file that
H A Drun.sh162 for f in known.ltl; do
173 for f in new.ltl new-fair2.ltl new-weak3.ltl new-strong1.ltl new-strong2.ltl; do
/dports/math/py-spot/spot-2.10.2/bench/spin13/
H A DMakefile.am19 EXTRA_DIST = big_2-fair_2.ltl big_2-fair_3-3.ltl big_2-strong_1.ltl \
20 big_2-strong_2.ltl big_2.ltl html.bottom html.top \
21 known.ltl new-fair2.ltl new-strong1.ltl new-strong2.ltl \
22 new-weak3.ltl new.ltl run.sh README
H A DREADME55 - known.ltl is the set described in the paper;
56 - new-fair3.ltl.pos is what we call fair3.ltl in the paper;
57 - new-strong2.ltl.pos is what we call strong2.ltl in the paper.
59 - new-ltl.pos: the set of random \varphi_i formula used to build
60 new-fair3.ltl.pos and new-strong2.ltl.pos;
61 - new-fair2.ltl.pos: the above formulae combined with weak
63 - new-strong1.ltl.pos: simimular to strong2 but using only
67 Additionally, for all *.ltl.pos files, we have an *.ltl.neg file that
H A Drun.sh162 for f in known.ltl; do
173 for f in new.ltl new-fair2.ltl new-weak3.ltl new-strong1.ltl new-strong2.ltl; do
/dports/math/spot/spot-2.10.2/tests/core/
H A Dhierarchy.test86 ltlfilt res -o %h.ltl
87 cat R.ltl O.ltl G.ltl S.ltl B.ltl | sort > rogsb.ltl
89 diff r3 rogsb.ltl
99 ltlfilt res -o %h.ltl
100 cat P.ltl O.ltl G.ltl S.ltl B.ltl | sort > pogsb.ltl
102 diff p3 pogsb.ltl
H A Drand.test137 run 0 randltl -n5 2 -o test-all.ltl
138 run 0 randltl -n5 2 -o test-%L.ltl
139 cat test-1.ltl test-2.ltl test-3.ltl test-4.ltl test-5.ltl > test-cmp.ltl
140 diff test-cmp.ltl test-all.ltl
143 randltl 2 --ltl-prio=X 2>stderr && exit 1
H A Dformat.test52 test 4 = `wc -l<ap-1.ltl`
53 test 10 = `wc -l<ap-2.ltl`
54 test 16 = `wc -l<ap-3.ltl`
55 test 13 = `wc -l<ap-4.ltl`
56 test 10 = `wc -l<ap-5.ltl`
57 test 2 = `wc -l<ap-6.ltl`
61 cmp ap-$i.ltl ap-$i.ltl2 || exit 1
/dports/math/py-spot/spot-2.10.2/tests/core/
H A Dhierarchy.test86 ltlfilt res -o %h.ltl
87 cat R.ltl O.ltl G.ltl S.ltl B.ltl | sort > rogsb.ltl
89 diff r3 rogsb.ltl
99 ltlfilt res -o %h.ltl
100 cat P.ltl O.ltl G.ltl S.ltl B.ltl | sort > pogsb.ltl
102 diff p3 pogsb.ltl
H A Drand.test137 run 0 randltl -n5 2 -o test-all.ltl
138 run 0 randltl -n5 2 -o test-%L.ltl
139 cat test-1.ltl test-2.ltl test-3.ltl test-4.ltl test-5.ltl > test-cmp.ltl
140 diff test-cmp.ltl test-all.ltl
143 randltl 2 --ltl-prio=X 2>stderr && exit 1
H A Dformat.test52 test 4 = `wc -l<ap-1.ltl`
53 test 10 = `wc -l<ap-2.ltl`
54 test 16 = `wc -l<ap-3.ltl`
55 test 13 = `wc -l<ap-4.ltl`
56 test 10 = `wc -l<ap-5.ltl`
57 test 2 = `wc -l<ap-6.ltl`
61 cmp ap-$i.ltl ap-$i.ltl2 || exit 1
/dports/biology/migrate/migrate-3.6.11/src/
H A Dmigevents.c812 (*ltl).tl[0].age, in store_events()
813 (*ltl).tl[0].age, (*ltl).tl[0].from, (*ltl).tl[0].to, in store_events()
818 if((*ltl).tl[0].eventnode->visited) in store_events()
821 (*ltl).tl[0].age, in store_events()
822 (*ltl).tl[0].age, (*ltl).tl[0].from, (*ltl).tl[0].to, in store_events()
827 T = (*ltl).T - 1; in store_events()
830 t = (*ltl).tl[j].age - (*ltl).tl[j - 1].age; in store_events()
833 if((*ltl).tl[j].eventnode->type != 't') in store_events()
838 (*ltl).tl[j].age, (*ltl).tl[j].from, (*ltl).tl[j].to, in store_events()
844 if((*ltl).tl[j].eventnode->visited) in store_events()
[all …]
/dports/astro/gnuastro/gnuastro-0.16/bin/noisechisel/
H A Dui.c494 struct gal_tile_two_layer_params *tl=&p->cp.tl, *ltl=&p->ltl; in ui_prepare_tiles() local
515 ltl->numchannels = tl->numchannels; in ui_prepare_tiles()
516 ltl->remainderfrac = tl->remainderfrac; in ui_prepare_tiles()
517 ltl->workoverch = tl->workoverch; in ui_prepare_tiles()
518 ltl->checktiles = tl->checktiles; in ui_prepare_tiles()
519 ltl->oneelempertile = tl->oneelempertile; in ui_prepare_tiles()
523 gal_tile_full_two_layers(p->input, ltl); in ui_prepare_tiles()
524 gal_tile_full_permutation(ltl); in ui_prepare_tiles()
546 check=gal_tile_block_check_tiles(ltl->tiles); in ui_prepare_tiles()
920 p->ltl.numchannels=NULL; in ui_free_report()
[all …]
/dports/math/spot/spot-2.10.2/bench/emptchk/
H A DREADME17 * models/clserv.ltl
46 * models/eeaean.ltl
67 * formulae.ltl
120 * ltl-random.sh
125 * ltl-human.sh
128 all the formulae of the file `formulae.ltl'
133 the formula in models/clserv.ltl, without and with fairness
175 - ltl-random.sh
176 - ltl-human.sh
183 and ltl-human.sh took 9 hours.
[all …]
/dports/math/py-spot/spot-2.10.2/bench/emptchk/
H A DREADME17 * models/clserv.ltl
46 * models/eeaean.ltl
67 * formulae.ltl
120 * ltl-random.sh
125 * ltl-human.sh
128 all the formulae of the file `formulae.ltl'
133 the formula in models/clserv.ltl, without and with fairness
175 - ltl-random.sh
176 - ltl-human.sh
183 and ltl-human.sh took 9 hours.
[all …]
/dports/databases/grass7/grass-7.8.6/lib/vector/diglib/
H A Dport_init.c151 int big, ltl; in find_offsets() local
163 big = ltl = 1; in find_offsets()
169 ltl = 0; /* isn't little endian */ in find_offsets()
175 if (ltl) in find_offsets()
/dports/math/spot/spot-2.10.2/bench/stutter/
H A Duser.sh15 …f "$ap,$algo,%e" $LTLFILT --stutter-invariant formulas > matched-$ap-$algo.ltl || must_exit=true e…
16 matched=`wc -l < matched-$ap-$algo.ltl`
23 ) > ltl-user-bench.csv
/dports/math/spot/spot-2.10.2/bench/dtgbasat/
H A Dprepare.sh8 $ltlfilt --ignore-errors --relabel=abc -u formulas > nodups.ltl
24 done < nodups.ltl | tee info.ltl

12345678910>>...21