| /dports/misc/visp/visp-3.4.0/modules/tracker/mbt/src/hybrid/ |
| H A D | vpMbEdgeKltTracker.cpp | 675 vpMatrix LTL; in computeVVS() local
843 …computeVVSPoseEstimation(isoJoIdentity, iter, L, LTL, weighted_error, m_error_hybrid, m_error_prev… in computeVVS()
|
| /dports/finance/p5-Locale-Currency-Format/Locale-Currency-Format-1.35/ |
| H A D | Format.pm | 481 LTL => ["Lithuanian Litas",2," ",","," ",$EMPTY,$EMPTY,"Lt",0],
|
| /dports/math/spot/spot-2.10.2/doc/org/ |
| H A D | upgrade2.org | 36 4. [[#formulas][The implementation of LTL formulas has been rewritten]].
80 state was named using LTL formulas, integers, or strings) are
360 - LTL/PSL formulas are now represented by lightweight formula
|
| H A D | tut51.org | 409 In LTL, that would be =GF(odd_x) -> GF(odd_y)=.
596 # LocalWords: txt LTL af preallocated deallocation destructor svg
|
| H A D | satmin.org | 196 In the above command, =ltldo= is used to convert the LTL formula into
198 automaton (using =ltl2tgba= as an LTL to BA translator), and the
249 the processing chains that can be used to turn an LTL formula into a
|
| H A D | oaut.org | 893 Here is a pipeline of commands that generates five LTL formulas
896 infinite stream of random LTL formulas using =a= and =b= as atomic
928 randltl -n -1 a b | # generate a stream of random LTL formulas
|
| /dports/math/py-spot/spot-2.10.2/doc/org/ |
| H A D | upgrade2.org | 36 4. [[#formulas][The implementation of LTL formulas has been rewritten]].
80 state was named using LTL formulas, integers, or strings) are
360 - LTL/PSL formulas are now represented by lightweight formula
|
| H A D | tut51.org | 409 In LTL, that would be =GF(odd_x) -> GF(odd_y)=.
596 # LocalWords: txt LTL af preallocated deallocation destructor svg
|
| H A D | satmin.org | 196 In the above command, =ltldo= is used to convert the LTL formula into
198 automaton (using =ltl2tgba= as an LTL to BA translator), and the
249 the processing chains that can be used to turn an LTL formula into a
|
| H A D | oaut.org | 893 Here is a pipeline of commands that generates five LTL formulas
896 infinite stream of random LTL formulas using =a= and =b= as atomic
928 randltl -n -1 a b | # generate a stream of random LTL formulas
|
| /dports/java/sablevm-classpath/sablevm-classpath-1.13/resource/gnu/java/locale/ |
| H A D | LocaleInformation_pl.properties | 114 currenciesDisplayName.LTL=lit litewski
475 currenciesSymbol.LTL=LTL
|
| H A D | LocaleInformation_sk.properties | 115 currenciesDisplayName.LTL=Litevsk\u00e1 lita
481 currenciesSymbol.LTL=LTL
|
| H A D | LocaleInformation_hu.properties | 118 currenciesDisplayName.LTL=Litv\u00e1niai litas
493 currenciesSymbol.LTL=LTL
|
| H A D | LocaleInformation_cs.properties | 115 currenciesDisplayName.LTL=Litus litevsk\u00fd
472 currenciesSymbol.LTL=LTL
|
| H A D | LocaleInformation_ga.properties | 115 currenciesDisplayName.LTL=Lita Liotu\u00e1nach
486 currenciesSymbol.LTL=LTL
|
| H A D | LocaleInformation_tr.properties | 119 currenciesDisplayName.LTL=Litvanya Litas\u0131
496 currenciesSymbol.LTL=LTL
|
| /dports/misc/visp/visp-3.4.0/modules/tracker/mbt/src/klt/ |
| H A D | vpMbKltTracker.cpp | 854 vpMatrix LTL; in computeVVS() local
904 …computeVVSPoseEstimation(isoJoIdentity, iter, m_L_klt, LTL, m_weightedError_klt, m_error_klt, erro… in computeVVS()
|
| /dports/java/sablevm-classpath/sablevm-classpath-1.13/resource/java/util/ |
| H A D | iso4217.properties | 245 LT.currency=LTL
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
| H A D | ltl_parser.c | 33 enum ltlGrammerToken { OPERAND, LTL, BINOP, UOP }; enumerator
|
| /dports/math/spot/spot-2.10.2/tests/python/ |
| H A D | randltl.ipynb | 324 "Use argument ltl_priorities=STRING to set the following LTL priorities:\n",
|
| /dports/math/py-spot/spot-2.10.2/tests/python/ |
| H A D | randltl.ipynb | 324 "Use argument ltl_priorities=STRING to set the following LTL priorities:\n",
|
| /dports/textproc/libnumbertext/libnumbertext-1.0.7/data/ |
| H A D | mr.sor | 208 LTL:(\D+) $(\1: litas, litai, centas, centai)
|
| H A D | hu.sor | 72 LTL:(.) $(\1: litván litas, centas)
|
| /dports/math/spot/spot-2.10.2/ |
| H A D | ChangeLog.1 | 243 Fix computation of length of LTL formulas.
810 Better layout of the LTL formula parse tree.
2218 families of LTL formulae.
2592 More LTL reductions for W and M.
2607 More LTL reductions for W and M.
2618 Add LTL reductions for strong release.
2632 Add LTL reductions for weak until.
3435 extended LTL instead of an LTL, a feature previously offered by
3743 representations of the LTL formulae.
3751 Ease debugging of LTL formulae leaks.
[all …]
|
| /dports/math/py-spot/spot-2.10.2/ |
| H A D | ChangeLog.1 | 243 Fix computation of length of LTL formulas.
810 Better layout of the LTL formula parse tree.
2218 families of LTL formulae.
2592 More LTL reductions for W and M.
2607 More LTL reductions for W and M.
2618 Add LTL reductions for strong release.
2632 Add LTL reductions for weak until.
3435 extended LTL instead of an LTL, a feature previously offered by
3743 representations of the LTL formulae.
3751 Ease debugging of LTL formulae leaks.
[all …]
|