/dports/math/py-brial/BRiAl-1.2.10/cudd/ |
H A D | cuddZddGroup.c | 570 int thisLower = table->permZ[auxnode->low]; in zddFindNodeHiLo() local 571 int thisUpper = thisLower + auxnode->size - 1; in zddFindNodeHiLo() 572 if (thisUpper >= table->sizeZ && thisLower < table->sizeZ) in zddFindNodeHiLo() 573 *upper = (unsigned int) thisLower - 1; in zddFindNodeHiLo()
|
H A D | cuddGroup.c | 657 int thisLower = table->perm[auxnode->low]; in ddFindNodeHiLo() local 658 int thisUpper = thisLower + auxnode->size - 1; in ddFindNodeHiLo() 659 if (thisUpper >= table->size && thisLower < table->size) in ddFindNodeHiLo() 660 *upper = (unsigned int) thisLower - 1; in ddFindNodeHiLo()
|
/dports/math/cudd/cudd-3.0.0/cudd/ |
H A D | cuddZddGroup.c | 533 int thisLower = table->permZ[auxnode->low]; in zddFindNodeHiLo() local 534 int thisUpper = thisLower + auxnode->size - 1; in zddFindNodeHiLo() 535 if (thisUpper >= table->sizeZ && thisLower < table->sizeZ) in zddFindNodeHiLo() 536 *upper = (unsigned int) thisLower - 1; in zddFindNodeHiLo()
|
H A D | cuddGroup.c | 587 int thisLower = table->perm[auxnode->low]; in ddFindNodeHiLo() local 588 int thisUpper = thisLower + auxnode->size - 1; in ddFindNodeHiLo() 589 if (thisUpper >= table->size && thisLower < table->size) in ddFindNodeHiLo() 590 *upper = (unsigned int) thisLower - 1; in ddFindNodeHiLo()
|
/dports/math/brial/BRiAl-1.2.10/cudd/ |
H A D | cuddZddGroup.c | 570 int thisLower = table->permZ[auxnode->low]; in zddFindNodeHiLo() local 571 int thisUpper = thisLower + auxnode->size - 1; in zddFindNodeHiLo() 572 if (thisUpper >= table->sizeZ && thisLower < table->sizeZ) in zddFindNodeHiLo() 573 *upper = (unsigned int) thisLower - 1; in zddFindNodeHiLo()
|
H A D | cuddGroup.c | 657 int thisLower = table->perm[auxnode->low]; in ddFindNodeHiLo() local 658 int thisUpper = thisLower + auxnode->size - 1; in ddFindNodeHiLo() 659 if (thisUpper >= table->size && thisLower < table->size) in ddFindNodeHiLo() 660 *upper = (unsigned int) thisLower - 1; in ddFindNodeHiLo()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
H A D | cuddZddGroup.c | 574 int thisLower = table->permZ[auxnode->low]; in zddFindNodeHiLo() local 575 int thisUpper = thisLower + auxnode->size - 1; in zddFindNodeHiLo() 576 if (thisUpper >= table->sizeZ && thisLower < table->sizeZ) in zddFindNodeHiLo() 577 *upper = (unsigned int) thisLower - 1; in zddFindNodeHiLo()
|
H A D | cuddGroup.c | 643 int thisLower = table->perm[auxnode->low]; in ddFindNodeHiLo() local 644 int thisUpper = thisLower + auxnode->size - 1; in ddFindNodeHiLo() 645 if (thisUpper >= table->size && thisLower < table->size) in ddFindNodeHiLo() 646 *upper = (unsigned int) thisLower - 1; in ddFindNodeHiLo()
|
/dports/math/clp/Clp-1.17.3/Clp/src/ |
H A D | AbcSimplex.cpp | 776 double thisLower = columnLower_[iColumn]; in setupDualValuesPass() local 780 if (thisLower > -1.0e30) { in setupDualValuesPass() 783 double gapDown = thisValue - thisLower; in setupDualValuesPass()
|
/dports/databases/sqlitebrowser/sqlitebrowser-3.12.1/libs/qcustomplot-source/ |
H A D | qcustomplot.cpp | 21288 double thisLower, thisUpper, otherLower, otherUpper; in getOverlappingSegments() local 21291 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).x(); in getOverlappingSegments() 21297 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).y(); in getOverlappingSegments() 21304 if (segmentsIntersect(thisLower, thisUpper, otherLower, otherUpper, bPrecedence)) in getOverlappingSegments()
|
/dports/astro/kstars/kstars-3.5.6/kstars/auxiliary/ |
H A D | qcustomplot.cpp | 22058 double thisLower, thisUpper, otherLower, otherUpper; in getOverlappingSegments() local 22061 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).x(); in getOverlappingSegments() 22067 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).y(); in getOverlappingSegments() 22074 if (segmentsIntersect(thisLower, thisUpper, otherLower, otherUpper, bPrecedence)) in getOverlappingSegments()
|
/dports/net/savvycan/SavvyCAN-1.0.245/ |
H A D | qcustomplot.cpp | 22048 double thisLower, thisUpper, otherLower, otherUpper; 22051 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).x(); 22057 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).y(); 22064 if (segmentsIntersect(thisLower, thisUpper, otherLower, otherUpper, bPrecedence))
|
/dports/net/wireshark-lite/wireshark-3.6.1/ui/qt/widgets/ |
H A D | qcustomplot.cpp | 22042 double thisLower, thisUpper, otherLower, otherUpper; in getOverlappingSegments() local 22045 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).x(); in getOverlappingSegments() 22051 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).y(); in getOverlappingSegments() 22058 if (segmentsIntersect(thisLower, thisUpper, otherLower, otherUpper, bPrecedence)) in getOverlappingSegments()
|
/dports/net/wireshark/wireshark-3.6.1/ui/qt/widgets/ |
H A D | qcustomplot.cpp | 22042 double thisLower, thisUpper, otherLower, otherUpper; in getOverlappingSegments() local 22045 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).x(); in getOverlappingSegments() 22051 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).y(); in getOverlappingSegments() 22058 if (segmentsIntersect(thisLower, thisUpper, otherLower, otherUpper, bPrecedence)) in getOverlappingSegments()
|
/dports/net/tshark-lite/wireshark-3.6.1/ui/qt/widgets/ |
H A D | qcustomplot.cpp | 22042 double thisLower, thisUpper, otherLower, otherUpper; in getOverlappingSegments() local 22045 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).x(); in getOverlappingSegments() 22051 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).y(); in getOverlappingSegments() 22058 if (segmentsIntersect(thisLower, thisUpper, otherLower, otherUpper, bPrecedence)) in getOverlappingSegments()
|
/dports/net/tshark/wireshark-3.6.1/ui/qt/widgets/ |
H A D | qcustomplot.cpp | 22042 double thisLower, thisUpper, otherLower, otherUpper; in getOverlappingSegments() local 22045 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).x(); in getOverlappingSegments() 22051 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).y(); in getOverlappingSegments() 22058 if (segmentsIntersect(thisLower, thisUpper, otherLower, otherUpper, bPrecedence)) in getOverlappingSegments()
|
/dports/graphics/qcustomplot-qt5/qcustomplot/ |
H A D | qcustomplot.cpp | 22043 double thisLower, thisUpper, otherLower, otherUpper; in getOverlappingSegments() local 22046 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).x(); in getOverlappingSegments() 22052 thisLower = thisData->at(thisSegments.at(thisIndex).begin()).y(); in getOverlappingSegments() 22059 if (segmentsIntersect(thisLower, thisUpper, otherLower, otherUpper, bPrecedence)) in getOverlappingSegments()
|