/dports/science/madness/madness-ebb3fd7/src/madness/external/elemental/include/elemental/blas-like/level3/Trtrmm/ |
H A D | LVar1.hpp | 25 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 D | Road_Smoothing.cc | 124 {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 D | tools.org | 37 - [[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 D | tools.org | 37 - [[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 D | genltl.x | 2 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 D | ltlfilt.x | 2 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 D | genltl.x | 2 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 D | ltlfilt.x | 2 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 D | README | 2 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 D | README | 2 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 D | LVar5.hpp | 43 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 D | LVar1.hpp | 43 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 D | LVar4.hpp | 47 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 D | LVar2.hpp | 44 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 D | LLN.hpp | 66 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 D | LVar5.hpp | 41 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 D | LVar1.hpp | 41 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 D | LVar4.hpp | 42 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 D | LVar2.hpp | 42 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 D | LVar3.hpp | 47 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 D | FLASH_LU_incpiv_var1.c | 23 FLA_Obj LTL, LTR, L00, L01, L02, in FLASH_LU_incpiv_var1() local 33 FLA_Part_2x2( L, <L, <R, 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( <L, /**/ <R, L00, L01, /**/ L02, in FLASH_LU_incpiv_var1()
|
H A D | FLASH_LU_incpiv_var2.c | 23 FLA_Obj LTL, LTR, L00, L01, L02, in FLASH_LU_incpiv_var2() local 35 FLA_Part_2x2( L, <L, <R, 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( <L, /**/ <R, L00, L01, /**/ L02, in FLASH_LU_incpiv_var2()
|
H A D | FLASH_FS_incpiv_aux1.c | 23 FLA_Obj LTL, LTR, L00, L01, L02, in FLASH_FS_incpiv_aux1() local 40 FLA_Part_2x2( L, <L, <R, 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( <L, /**/ <R, L00, L01, /**/ L02, in FLASH_FS_incpiv_aux1()
|
/dports/math/spot/spot-2.10.2/bench/stutter/ |
H A D | README | 15 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 D | README | 15 running stutter checks on LTL formulas, but without including 16 LTL translation time. 21 running stutter checks on LTL formulas, from the user point
|