Home
last modified time | relevance | path

Searched refs:LTL (Results 1 – 25 of 838) sorted by relevance

12345678910>>...34

/dports/science/madness/madness-ebb3fd7/src/madness/external/elemental/include/elemental/blas-like/level3/Trtrmm/
H A DLVar1.hpp25 LTL, LTR, L00, L01, L02, in TrtrmmLVar1() local
30 ( L, LTL, LTR, in TrtrmmLVar1()
32 while( LTL.Height() < L.Height() && LTL.Width() < L.Height() ) in TrtrmmLVar1()
35 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TrtrmmLVar1()
47 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TrtrmmLVar1()
68 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TrtrmmLVar1() local
85 ( L, LTL, LTR, in TrtrmmLVar1()
87 while( LTL.Height() < L.Height() && LTL.Width() < L.Height() ) in TrtrmmLVar1()
90 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TrtrmmLVar1()
114 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TrtrmmLVar1()
/dports/games/jaggedalliance2/ja2-stracciatella-0.18.0/src/game/Editor/
H A DRoad_Smoothing.cc124 {LTL, -2 },
125 {LTL, -162 },
126 {LTL, -322 },
127 {LTL, -1 },
128 {LTL, -161 },
129 {LTL, -321 },
130 {LTL, -481 },
132 {LTL, -160 },
133 {LTL, -320 },
134 {LTL, -480 },
[all …]
/dports/math/spot/spot-2.10.2/doc/org/
H A Dtools.org37 - [[file:ioltl.org][common input and output options for LTL/PSL formulas]]
43 - [[file:randltl.org][=randltl=]] Generate random LTL/PSL formulas.
44 - [[file:ltlfilt.org][=ltlfilt=]] Filter, convert, and transform LTL/PSL formulas.
45 - [[file:genltl.org][=genltl=]] Generate LTL formulas from scalable patterns.
46 - [[file:ltl2tgba.org][=ltl2tgba=]] Translate LTL/PSL formulas into various types of automata.
47 - [[file:ltl2tgta.org][=ltl2tgta=]] Translate LTL/PSL formulas into testing automata.
48 - [[file:ltlcross.org][=ltlcross=]] Cross-compare LTL/PSL-to-automata translators.
49 - [[file:ltlgrind.org][=ltlgrind=]] List formulas similar to but simpler than a given LTL/PSL
51 - [[file:ltldo.org][=ltldo=]] Run LTL/PSL formulas through other tools using common [[file:ioltl.or…
53 - [[file:ltlsynt.org][=ltlsynt=]] Synthesize AIGER circuits from LTL/PSL specifications.
[all …]
/dports/math/py-spot/spot-2.10.2/doc/org/
H A Dtools.org37 - [[file:ioltl.org][common input and output options for LTL/PSL formulas]]
43 - [[file:randltl.org][=randltl=]] Generate random LTL/PSL formulas.
44 - [[file:ltlfilt.org][=ltlfilt=]] Filter, convert, and transform LTL/PSL formulas.
45 - [[file:genltl.org][=genltl=]] Generate LTL formulas from scalable patterns.
46 - [[file:ltl2tgba.org][=ltl2tgba=]] Translate LTL/PSL formulas into various types of automata.
47 - [[file:ltl2tgta.org][=ltl2tgta=]] Translate LTL/PSL formulas into testing automata.
48 - [[file:ltlcross.org][=ltlcross=]] Cross-compare LTL/PSL-to-automata translators.
49 - [[file:ltlgrind.org][=ltlgrind=]] List formulas similar to but simpler than a given LTL/PSL
51 - [[file:ltldo.org][=ltldo=]] Run LTL/PSL formulas through other tools using common [[file:ioltl.or…
53 - [[file:ltlsynt.org][=ltlsynt=]] Synthesize AIGER circuits from LTL/PSL specifications.
[all …]
/dports/math/spot/spot-2.10.2/bin/man/
H A Dgenltl.x2 genltl \- generate LTL formulas from scalable patterns
10 Alexandre Duret-Lutz: Manipulating LTL formulas using Spot 1.0.
30 work for LTL model checking. Proceedings of Spin'06. LNCS 3925.
41 O. Kupferman and A. Rosenberg: The Blow-Up in Translating LTL to Deterministic
66 F. Somenzi and R. Bloem: Efficient Büchi Automata for LTL Formulae.
H A Dltlfilt.x2 ltlfilt \- filter files or lists of LTL/PSL formulas
10 Alexandre Duret-Lutz: Manipulating LTL formulas using Spot 1.0.
41 Describes the syntactic LTL classes matched by the
59 to reduce LTLf model checking to LTL model checking.
/dports/math/py-spot/spot-2.10.2/bin/man/
H A Dgenltl.x2 genltl \- generate LTL formulas from scalable patterns
10 Alexandre Duret-Lutz: Manipulating LTL formulas using Spot 1.0.
30 work for LTL model checking. Proceedings of Spin'06. LNCS 3925.
41 O. Kupferman and A. Rosenberg: The Blow-Up in Translating LTL to Deterministic
66 F. Somenzi and R. Bloem: Efficient Büchi Automata for LTL Formulae.
H A Dltlfilt.x2 ltlfilt \- filter files or lists of LTL/PSL formulas
10 Alexandre Duret-Lutz: Manipulating LTL formulas using Spot 1.0.
41 Describes the syntactic LTL classes matched by the
59 to reduce LTLf model checking to LTL model checking.
/dports/math/spot/spot-2.10.2/bench/ltlclasses/
H A DREADME2 for translating some classes of LTL formula.
7 The authors of the following paper defined 5 classes of LTL formulae
8 to stress the LTL-to-B�chi translators.
13 of {LTL} Formulas},
/dports/math/py-spot/spot-2.10.2/bench/ltlclasses/
H A DREADME2 for translating some classes of LTL formula.
7 The authors of the following paper defined 5 classes of LTL formulae
8 to stress the LTL-to-B�chi translators.
13 of {LTL} Formulas},
/dports/science/madness/madness-ebb3fd7/src/madness/external/elemental/include/elemental/blas-like/level3/TwoSidedTrmm/
H A DLVar5.hpp43 LTL, LTR, L00, L01, L02, in TwoSidedTrmmLVar5() local
54 ( L, LTL, LTR, in TwoSidedTrmmLVar5()
65 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrmmLVar5()
101 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrmmLVar5()
130 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TwoSidedTrmmLVar5() local
150 ( L, LTL, LTR, in TwoSidedTrmmLVar5()
161 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrmmLVar5()
224 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrmmLVar5()
H A DLVar1.hpp43 LTL, LTR, L00, L01, L02, in TwoSidedTrmmLVar1() local
54 ( L, LTL, LTR, in TwoSidedTrmmLVar1()
65 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrmmLVar1()
101 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrmmLVar1()
130 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TwoSidedTrmmLVar1() local
152 ( L, LTL, LTR, in TwoSidedTrmmLVar1()
163 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrmmLVar1()
230 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrmmLVar1()
H A DLVar4.hpp47 LTL, LTR, L00, L01, L02, in TwoSidedTrmmLVar4() local
58 ( L, LTL, LTR, in TwoSidedTrmmLVar4()
69 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrmmLVar4()
108 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrmmLVar4()
137 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TwoSidedTrmmLVar4() local
158 ( L, LTL, LTR, in TwoSidedTrmmLVar4()
169 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrmmLVar4()
239 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrmmLVar4()
H A DLVar2.hpp44 LTL, LTR, L00, L01, L02, in TwoSidedTrmmLVar2() local
55 ( L, LTL, LTR, in TwoSidedTrmmLVar2()
66 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrmmLVar2()
105 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrmmLVar2()
134 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TwoSidedTrmmLVar2() local
158 ( L, LTL, LTR, in TwoSidedTrmmLVar2()
169 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrmmLVar2()
243 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrmmLVar2()
/dports/science/madness/madness-ebb3fd7/src/madness/external/elemental/include/elemental/blas-like/level3/Trstrm/
H A DLLN.hpp66 LTL, LTR, L00, L01, L02, in TrstrmLLN()
79 ( L, LTL, LTR, in TrstrmLLN()
87 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TrstrmLLN()
108 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TrstrmLLN()
132 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TrstrmLLN() local
151 ( L, LTL, LTR, in TrstrmLLN()
159 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TrstrmLLN()
199 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TrstrmLLN()
/dports/science/madness/madness-ebb3fd7/src/madness/external/elemental/include/elemental/blas-like/level3/TwoSidedTrsm/
H A DLVar5.hpp41 LTL, LTR, L00, L01, L02, in TwoSidedTrsmLVar5() local
52 ( L, LTL, LTR, in TwoSidedTrsmLVar5()
63 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrsmLVar5()
99 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrsmLVar5()
128 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TwoSidedTrsmLVar5() local
150 ( L, LTL, LTR, in TwoSidedTrsmLVar5()
161 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrsmLVar5()
230 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrsmLVar5()
H A DLVar1.hpp41 LTL, LTR, L00, L01, L02, in TwoSidedTrsmLVar1() local
52 ( L, LTL, LTR, in TwoSidedTrsmLVar1()
63 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrsmLVar1()
99 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrsmLVar1()
128 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TwoSidedTrsmLVar1() local
151 ( L, LTL, LTR, in TwoSidedTrsmLVar1()
162 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrsmLVar1()
234 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrsmLVar1()
H A DLVar4.hpp42 LTL, LTR, L00, L01, L02, in TwoSidedTrsmLVar4() local
53 ( L, LTL, LTR, in TwoSidedTrsmLVar4()
64 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrsmLVar4()
103 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrsmLVar4()
132 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TwoSidedTrsmLVar4() local
155 ( L, LTL, LTR, in TwoSidedTrsmLVar4()
166 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrsmLVar4()
240 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrsmLVar4()
H A DLVar2.hpp42 LTL, LTR, L00, L01, L02, in TwoSidedTrsmLVar2() local
54 ( L, LTL, LTR, in TwoSidedTrsmLVar2()
65 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrsmLVar2()
104 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrsmLVar2()
136 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TwoSidedTrsmLVar2() local
163 ( L, LTL, LTR, in TwoSidedTrsmLVar2()
174 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrsmLVar2()
249 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrsmLVar2()
H A DLVar3.hpp47 LTL, LTR, L00, L01, L02, in TwoSidedTrsmLVar3() local
63 ( L, LTL, LTR, in TwoSidedTrsmLVar3()
80 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrsmLVar3()
130 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrsmLVar3()
163 LTL(g), LTR(g), L00(g), L01(g), L02(g), in TwoSidedTrsmLVar3() local
194 ( L, LTL, LTR, in TwoSidedTrsmLVar3()
211 ( LTL, /**/ LTR, L00, /**/ L01, L02, in TwoSidedTrsmLVar3()
294 ( LTL, /**/ LTR, L00, L01, /**/ L02, in TwoSidedTrsmLVar3()
/dports/math/libflame/libflame-5.2.0/src/lapack/dec/lu/incpiv/zaux/flamec/flash/
H A DFLASH_LU_incpiv_var1.c23 FLA_Obj LTL, LTR, L00, L01, L02, in FLASH_LU_incpiv_var1() local
33 FLA_Part_2x2( L, &LTL, &LTR, in FLASH_LU_incpiv_var1()
51 FLA_Repart_2x2_to_3x3( LTL, /**/ LTR, &L00, /**/ &L01, &L02, in FLASH_LU_incpiv_var1()
94 FLA_Cont_with_3x3_to_2x2( &LTL, /**/ &LTR, L00, L01, /**/ L02, in FLASH_LU_incpiv_var1()
H A DFLASH_LU_incpiv_var2.c23 FLA_Obj LTL, LTR, L00, L01, L02, in FLASH_LU_incpiv_var2() local
35 FLA_Part_2x2( L, &LTL, &LTR, in FLASH_LU_incpiv_var2()
55 FLA_Repart_2x2_to_3x3( LTL, /**/ LTR, &L00, /**/ &L01, &L02, in FLASH_LU_incpiv_var2()
103 FLA_Cont_with_3x3_to_2x2( &LTL, /**/ &LTR, L00, L01, /**/ L02, in FLASH_LU_incpiv_var2()
H A DFLASH_FS_incpiv_aux1.c23 FLA_Obj LTL, LTR, L00, L01, L02, in FLASH_FS_incpiv_aux1() local
40 FLA_Part_2x2( L, &LTL, &LTR, in FLASH_FS_incpiv_aux1()
61 FLA_Repart_2x2_to_3x3( LTL, /**/ LTR, &L00, /**/ &L01, &L02, in FLASH_FS_incpiv_aux1()
105 FLA_Cont_with_3x3_to_2x2( &LTL, /**/ &LTR, L00, L01, /**/ L02, in FLASH_FS_incpiv_aux1()
/dports/math/spot/spot-2.10.2/bench/stutter/
H A DREADME15 running stutter checks on LTL formulas, but without including
16 LTL translation time.
21 running stutter checks on LTL formulas, from the user point
/dports/math/py-spot/spot-2.10.2/bench/stutter/
H A DREADME15 running stutter checks on LTL formulas, but without including
16 LTL translation time.
21 running stutter checks on LTL formulas, from the user point

12345678910>>...34