/dports/math/spot/spot-2.10.2/spot/parsetl/ |
H A D | parsetl.cc | 1358 { (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 D | parsetl.cc | 1358 { (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 D | patterns.pml | 1 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 D | train.pml | 77 * 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 D | leader_pre.pml | 14 * 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 D | leader.pml | 14 * 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 D | Makefile.am | 19 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 D | README | 55 - 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 D | run.sh | 162 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 D | Makefile.am | 19 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 D | README | 55 - 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 D | run.sh | 162 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 D | hierarchy.test | 86 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 D | rand.test | 137 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 D | format.test | 52 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 D | hierarchy.test | 86 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 D | rand.test | 137 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 D | format.test | 52 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 D | migevents.c | 812 (*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 D | ui.c | 494 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 D | README | 17 * 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 D | README | 17 * 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 D | port_init.c | 151 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 D | user.sh | 15 …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 D | prepare.sh | 8 $ltlfilt --ignore-errors --relabel=abc -u formulas > nodups.ltl 24 done < nodups.ltl | tee info.ltl
|