/dports/cad/digital/Digital-0.27/src/test/java/de/neemann/digital/builder/tt2/ |
H A D | TT2ExporterTest.java | 24 TT2Exporter tt2 = new TT2Exporter("unknown"); in testCombinatorial() local 51 TT2Exporter tt2 = new TT2Exporter("unknown"); in testSequential() local 77 TT2Exporter tt2 = new TT2Exporter("unknown"); in testSequential2() local 106 TT2Exporter tt2 = new TT2Exporter("unknown"); in testConstantsSeq() local 131 TT2Exporter tt2 = new TT2Exporter("unknown"); in testConstantsComb() local 154 TT2Exporter tt2 = new TT2Exporter("unknown"); in testCombinatorialRenaming() local 181 TT2Exporter tt2 = new TT2Exporter("unknown"); in testSequentialRenaming() local
|
/dports/math/yices/yices-2.6.2/src/solvers/cdcl/ |
H A D | truth_tables.c | 487 void compose_ttbl_left(const ttbl_t *tt1, const ttbl_t *tt2, ttbl_t *result) { in compose_ttbl_left() 523 void compose_ttbl_right(const ttbl_t *tt1, const ttbl_t *tt2, ttbl_t *result) { in compose_ttbl_right() 560 static void expand_ttbl(const ttbl_t *tt1, const ttbl_t *tt2, const ttbl_t *tt3, uint8_t r[16]) { in expand_ttbl() 662 bool compose_ttbl_left_right1(const ttbl_t *tt1, const ttbl_t *tt2, const ttbl_t *tt3, ttbl_t *resu… in compose_ttbl_left_right1() 715 static uint32_t match_two_to_three_vars(const ttbl_t *tt1, const ttbl_t *tt2) { in match_two_to_three_vars() 793 bool compose_ttbl_left_right2(const ttbl_t *tt1, const ttbl_t *tt2, const ttbl_t *tt3, ttbl_t *resu… in compose_ttbl_left_right2() 833 bool compose_ttbl_left_right3(const ttbl_t *tt1, const ttbl_t *tt2, const ttbl_t *tt3, ttbl_t *resu… in compose_ttbl_left_right3() 874 bool compose_ttbl_left_right4(const ttbl_t *tt1, const ttbl_t *tt2, const ttbl_t *tt3, ttbl_t *resu… in compose_ttbl_left_right4() 914 bool compose_ttbl_left_right(const ttbl_t *tt1, const ttbl_t *tt2, const ttbl_t *tt3, ttbl_t *resul… in compose_ttbl_left_right()
|
/dports/astro/libgal/libgal-0.5.0/date_time/ |
H A D | gal_mtc2tt_test.c | 39 double tt1, tt2 ; in gal_mtc2tt_test() local
|
H A D | gal_tai2tt_test.c | 41 double tt1, tt2 ; in gal_tai2tt_test() local
|
H A D | gal_utc2tt_test.c | 42 double tt1, tt2 ; in gal_utc2tt_test() local
|
H A D | gal_tai2tt.c | 63 double *tt2 in gal_tai2tt()
|
H A D | gal_mtc2tt.c | 65 double *tt2 in gal_mtc2tt()
|
H A D | gal_tt2mtc.c | 77 double tt2, in gal_tt2mtc()
|
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/corelib/ |
H A D | ncbi_fast.cpp | 216 __m128i tt2 = _mm_load_si128((const __m128i*)src+2); in x_sse_SplitBufferInto4() local 225 __m128i tt2 = _mm_load_si128((const __m128i*)src+6); in x_sse_SplitBufferInto4() local 234 __m128i tt2 = _mm_load_si128((const __m128i*)src+10); in x_sse_SplitBufferInto4() local 243 __m128i tt2 = _mm_load_si128((const __m128i*)src+14); in x_sse_SplitBufferInto4() local 254 __m128i tt2 = _mm_unpackhi_epi32(ww0, ww1); in x_sse_SplitBufferInto4() local 291 __m128i tt2 = _mm_unpackhi_epi32(ww0, ww1); in x_sse_SplitBufferInto4() local
|
/dports/biology/ncbi-blast+/ncbi-blast-2.12.0+-src/c++/src/corelib/ |
H A D | ncbi_fast.cpp | 216 __m128i tt2 = _mm_load_si128((const __m128i*)src+2); in x_sse_SplitBufferInto4() local 225 __m128i tt2 = _mm_load_si128((const __m128i*)src+6); in x_sse_SplitBufferInto4() local 234 __m128i tt2 = _mm_load_si128((const __m128i*)src+10); in x_sse_SplitBufferInto4() local 243 __m128i tt2 = _mm_load_si128((const __m128i*)src+14); in x_sse_SplitBufferInto4() local 254 __m128i tt2 = _mm_unpackhi_epi32(ww0, ww1); in x_sse_SplitBufferInto4() local 291 __m128i tt2 = _mm_unpackhi_epi32(ww0, ww1); in x_sse_SplitBufferInto4() local
|
/dports/science/dynare/dynare-4.6.4/matlab/ |
H A D | priordens.m | 48 tt2 = true; variable 51 tt2 = false; variable
|
/dports/astro/libgal/libgal-0.5.0/ephemerides/ |
H A D | gal_gsupv00_test.c | 48 double pv[2][3], tt1, tt2 ; in gal_gsupv00_test() local
|
/dports/astro/p5-Astro-PAL/Astro-PAL-1.09/erfasrc/src/ |
H A D | taitt.c | 3 int eraTaitt(double tai1, double tai2, double *tt1, double *tt2) in eraTaitt()
|
H A D | tttai.c | 3 int eraTttai(double tt1, double tt2, double *tai1, double *tai2) in eraTttai()
|
H A D | tcgtt.c | 3 int eraTcgtt(double tcg1, double tcg2, double *tt1, double *tt2) in eraTcgtt()
|
/dports/astro/p5-Starlink-AST/Starlink-AST-1.05/extsrc/erfa/ |
H A D | tttai.c | 3 int eraTttai(double tt1, double tt2, double *tai1, double *tai2) in eraTttai()
|
H A D | taitt.c | 3 int eraTaitt(double tai1, double tai2, double *tt1, double *tt2) in eraTaitt()
|
H A D | tcgtt.c | 3 int eraTcgtt(double tcg1, double tcg2, double *tt1, double *tt2) in eraTcgtt()
|
/dports/lang/gcc12-devel/gcc-12-20211205/libstdc++-v3/testsuite/20_util/tuple/cons/ |
H A D | 101960.cc | 10 auto tt2 = std::move(t2); variable
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/g++.dg/cpp1y/ |
H A D | udlit-char-template2.C | 16 void tt2() { in tt2() function
|
/dports/lang/gcc8/gcc-8.5.0/libstdc++-v3/testsuite/20_util/pair/cons/ |
H A D | noexcept_move_construct.cc | 28 typedef std::pair<int, double> tt2; typedef
|
/dports/lang/gcc8/gcc-8.5.0/libstdc++-v3/testsuite/20_util/pair/ |
H A D | noexcept_move_assign.cc | 28 typedef std::pair<int, double> tt2; typedef
|
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/g++.dg/cpp1y/ |
H A D | udlit-char-template2.C | 16 void tt2() { in tt2() function
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libstdc++-v3/testsuite/20_util/pair/cons/ |
H A D | noexcept_move_construct.cc | 28 typedef std::pair<int, double> tt2; typedef
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libstdc++-v3/testsuite/20_util/pair/ |
H A D | noexcept_move_assign.cc | 28 typedef std::pair<int, double> tt2; typedef
|