Home
last modified time | relevance | path

Searched refs:thisLower (Results 1 – 17 of 17) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddZddGroup.c570 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 DcuddGroup.c657 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 DcuddZddGroup.c533 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 DcuddGroup.c587 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 DcuddZddGroup.c570 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 DcuddGroup.c657 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 DcuddZddGroup.c574 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 DcuddGroup.c643 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 DAbcSimplex.cpp776 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 Dqcustomplot.cpp21288 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 Dqcustomplot.cpp22058 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 Dqcustomplot.cpp22048 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 Dqcustomplot.cpp22042 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 Dqcustomplot.cpp22042 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 Dqcustomplot.cpp22042 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 Dqcustomplot.cpp22042 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 Dqcustomplot.cpp22043 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()