| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddApa.c | 903 DdApaNumber mint, mint1, mint2;
919 mint1 = cuddApaCountMintermAux(Nt, digits, max, min, table);
920 if (mint1 == NULL) return(NULL);
923 if (Nt->ref == 1) FREE(mint1);
928 if (Nt->ref == 1) FREE(mint1);
934 carryout = Cudd_ApaAdd(digits,mint1,mint,mint);
936 carryout = Cudd_ApaAdd(digits,mint1,mint2,mint);
942 if (Nt->ref == 1) FREE(mint1);
|
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddApa.c | 903 DdApaNumber mint, mint1, mint2; in cuddApaCountMintermAux() local
919 mint1 = cuddApaCountMintermAux(Nt, digits, max, min, table); in cuddApaCountMintermAux()
920 if (mint1 == NULL) return(NULL); in cuddApaCountMintermAux()
923 if (Nt->ref == 1) FREE(mint1); in cuddApaCountMintermAux()
928 if (Nt->ref == 1) FREE(mint1); in cuddApaCountMintermAux()
934 carryout = Cudd_ApaAdd(digits,mint1,mint,mint); in cuddApaCountMintermAux()
936 carryout = Cudd_ApaAdd(digits,mint1,mint2,mint); in cuddApaCountMintermAux()
942 if (Nt->ref == 1) FREE(mint1); in cuddApaCountMintermAux()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddApa.c | 899 DdApaNumber mint, mint1, mint2; in cuddApaCountMintermAux() local
915 mint1 = cuddApaCountMintermAux(Nt, digits, max, min, table); in cuddApaCountMintermAux()
916 if (mint1 == NULL) return(NULL); in cuddApaCountMintermAux()
919 if (Nt->ref == 1) ABC_FREE(mint1); in cuddApaCountMintermAux()
924 if (Nt->ref == 1) ABC_FREE(mint1); in cuddApaCountMintermAux()
930 carryout = Cudd_ApaAdd(digits,mint1,mint,mint); in cuddApaCountMintermAux()
932 carryout = Cudd_ApaAdd(digits,mint1,mint2,mint); in cuddApaCountMintermAux()
938 if (Nt->ref == 1) ABC_FREE(mint1); in cuddApaCountMintermAux()
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddApa.c | 975 DdApaNumber mint, mint1, mint2; in cuddApaCountMintermAux() local
1010 mint1 = cuddApaCountMintermAux(manager, Nt, digits, mmax, mmin, table); in cuddApaCountMintermAux()
1011 if (mint1 == NULL) return(NULL); in cuddApaCountMintermAux()
1014 if (Nt->ref == 1) FREE(mint1); in cuddApaCountMintermAux()
1019 if (Nt->ref == 1) FREE(mint1); in cuddApaCountMintermAux()
1025 carryout = Cudd_ApaAdd(digits,mint1,mint,mint); in cuddApaCountMintermAux()
1027 carryout = Cudd_ApaAdd(digits,mint1,mint2,mint); in cuddApaCountMintermAux()
1033 if (Nt->ref == 1) FREE(mint1); in cuddApaCountMintermAux()
|
| /dports/games/diaspora/Diaspora_R1_Linux/Diaspora/fs2_open/STLport-5.2.1/test/unit/ |
| H A D | map_test.cpp | 278 MapInt mint1(intLess, stack1); in allocator_with_state() local
281 mint1.insert(MapInt::value_type(i, i)); in allocator_with_state()
282 MapInt mint1Cpy(mint1); in allocator_with_state()
289 mint1.swap(mint2); in allocator_with_state()
291 CPPUNIT_ASSERT( mint1.get_allocator().swaped() ); in allocator_with_state()
294 CPPUNIT_ASSERT( mint1 == mint2Cpy ); in allocator_with_state()
296 CPPUNIT_ASSERT( mint1.get_allocator() == stack2 ); in allocator_with_state()
|
| /dports/databases/db5/db-5.3.28/test/sql_codegen/data/ |
| H A D | sample_envs_txn.sql | 11 CREATE TABLE mint1 (mid INT(8) PRIMARY KEY, table
|
| /dports/science/mcxtrace/mcxtrace-1.2-src/lib/share/nxslib/ |
| H A D | sgclib.c | 1171 int t1, t2, t3, *lt1, *lt2, *lt3, mint1, mint2, mint3; in TidyTranslation() local
1181 mint1 = *(lt1 = &lsmx->s.T[0]); in TidyTranslation()
1194 n0mint = (mint1 == 0) + (mint2 == 0) + (mint3 == 0); in TidyTranslation()
1198 && ( t1 + t2 + t3 < mint1 + mint2 + mint3 in TidyTranslation()
1199 || ( t1 + t2 + t3 == mint1 + mint2 + mint3 in TidyTranslation()
1200 && (t1 < mint1 || (t1 == mint1 && t2 < mint2)))))) { in TidyTranslation()
1201 mint1 = t1; mint2 = t2; mint3 = t3; in TidyTranslation()
1205 *lt1 = mint1; in TidyTranslation()
|
| /dports/science/mcstas-comps/mcstas-comps-2.5-src/libs/libnxs/ |
| H A D | sgclib.c | 1171 int t1, t2, t3, *lt1, *lt2, *lt3, mint1, mint2, mint3; in TidyTranslation() local
1181 mint1 = *(lt1 = &lsmx->s.T[0]); in TidyTranslation()
1194 n0mint = (mint1 == 0) + (mint2 == 0) + (mint3 == 0); in TidyTranslation()
1198 && ( t1 + t2 + t3 < mint1 + mint2 + mint3 in TidyTranslation()
1199 || ( t1 + t2 + t3 == mint1 + mint2 + mint3 in TidyTranslation()
1200 && (t1 < mint1 || (t1 == mint1 && t2 < mint2)))))) { in TidyTranslation()
1201 mint1 = t1; mint2 = t2; mint3 = t3; in TidyTranslation()
1205 *lt1 = mint1; in TidyTranslation()
|
| /dports/net-mgmt/prometheus2/prometheus-2.30.3/tsdb/ |
| H A D | head.go | 1553 func overlapsClosedInterval(mint1, maxt1, mint2, maxt2 int64) bool { argument
1554 return mint1 <= maxt2 && mint2 <= maxt1
|
| /dports/www/grafana8/grafana-8.3.6/vendor/github.com/grafana/loki/vendor/github.com/prometheus/prometheus/tsdb/ |
| H A D | head.go | 1562 func overlapsClosedInterval(mint1, maxt1, mint2, maxt2 int64) bool { argument
1563 return mint1 <= maxt2 && mint2 <= maxt1
|
| /dports/www/grafana8/grafana-8.3.6/vendor/github.com/cortexproject/cortex/vendor/github.com/prometheus/prometheus/tsdb/ |
| H A D | head.go | 1562 func overlapsClosedInterval(mint1, maxt1, mint2, maxt2 int64) bool { argument
1563 return mint1 <= maxt2 && mint2 <= maxt1
|
| /dports/www/grafana8/grafana-8.3.6/vendor/github.com/prometheus/prometheus/tsdb/ |
| H A D | head.go | 1562 func overlapsClosedInterval(mint1, maxt1, mint2, maxt2 int64) bool { argument
1563 return mint1 <= maxt2 && mint2 <= maxt1
|
| /dports/print/py-frescobaldi/frescobaldi-3.1.3/frescobaldi_app/hyphdicts/ |
| H A D | hyph_ga_IE.dic | 3750 mint1
|
| /dports/print/scribus-devel/scribus-1.5.7/resources/dicts/ |
| H A D | hyph_gl.dic | 3750 mint1
|