| /dports/math/cudd/cudd-3.0.0/dddmp/ |
| H A D | dddmpStoreCnf.c | 1010 *varMax = GET_MAX (*varMax, idfAbs); in StoreCnfOneNode()
1011 *varMax = GET_MAX (*varMax, vf); in StoreCnfOneNode()
1012 *varMax = GET_MAX (*varMax, idEAbs); in StoreCnfOneNode()
1042 *varMax = GET_MAX (*varMax, idfAbs); in StoreCnfOneNode()
1043 *varMax = GET_MAX (*varMax, vf); in StoreCnfOneNode()
1044 *varMax = GET_MAX (*varMax, idTAbs); in StoreCnfOneNode()
1066 *varMax = GET_MAX (*varMax, idfAbs); in StoreCnfOneNode()
1067 *varMax = GET_MAX (*varMax, vf); in StoreCnfOneNode()
1068 *varMax = GET_MAX (*varMax, idTAbs); in StoreCnfOneNode()
1069 *varMax = GET_MAX (*varMax, idEAbs); in StoreCnfOneNode()
[all …]
|
| /dports/games/libretro-scummvm/scummvm-7b1e929/engines/wintermute/utils/ |
| H A D | utils.cpp | 168 float varMax = MAX(varR, varG); in RGBtoHSL() local
169 varMax = MAX(varMax, varB); in RGBtoHSL()
172 float delMax = varMax - varMin; in RGBtoHSL()
176 L = (varMax + varMin) / 2.0f; in RGBtoHSL()
186 S = delMax / (varMax + varMin); in RGBtoHSL()
188 S = delMax / (2.0f - varMax - varMin); in RGBtoHSL()
191 float delR = (((varMax - varR) / 6.0f) + (delMax / 2.0f)) / delMax; in RGBtoHSL()
192 float delG = (((varMax - varG) / 6.0f) + (delMax / 2.0f)) / delMax; in RGBtoHSL()
195 if (varR == varMax) { in RGBtoHSL()
197 } else if (varG == varMax) { in RGBtoHSL()
[all …]
|
| /dports/games/scummvm/scummvm-2.5.1/engines/wintermute/utils/ |
| H A D | utils.cpp | 168 float varMax = MAX(varR, varG); in RGBtoHSL() local
169 varMax = MAX(varMax, varB); in RGBtoHSL()
172 float delMax = varMax - varMin; in RGBtoHSL()
176 L = (varMax + varMin) / 2.0f; in RGBtoHSL()
186 S = delMax / (varMax + varMin); in RGBtoHSL()
188 S = delMax / (2.0f - varMax - varMin); in RGBtoHSL()
191 float delR = (((varMax - varR) / 6.0f) + (delMax / 2.0f)) / delMax; in RGBtoHSL()
192 float delG = (((varMax - varG) / 6.0f) + (delMax / 2.0f)) / delMax; in RGBtoHSL()
195 if (varR == varMax) { in RGBtoHSL()
197 } else if (varG == varMax) { in RGBtoHSL()
[all …]
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/ |
| H A D | Max.java | 129 int varMin = vDom.min(), varMax = vDom.max(); in consistency() local
131 if (varMax < minMax) { in consistency()
134 } else if (varMax > maxMax) in consistency()
138 maxValue = (maxValue > varMax) ? maxValue : varMax; in consistency()
|
| H A D | Min.java | 131 int varMin = vDom.min(), varMax = vDom.max(); in consistency() local
140 maxValue = (maxValue < varMax) ? maxValue : varMax; in consistency()
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | BlockedClauseElimination.cpp | 213 VarMaxUpdatingNormalizer(const Lib::DHMap<TermList, TermList>& replacements, int& varMax) in VarMaxUpdatingNormalizer() argument
214 : _repls(replacements), _varMax(varMax) {} in VarMaxUpdatingNormalizer()
236 …RenanigApartNormalizer(const Lib::DHMap<TermList, TermList>& replacements, int varMax, Lib::DHMap<… in RenanigApartNormalizer() argument
237 : _repls(replacements), _varMax(varMax), _varMap(varMap) {} in RenanigApartNormalizer()
280 int varMax = -1; in resolvesToTautologyEq() local
291 if (var > varMax) { in resolvesToTautologyEq()
292 varMax = var; in resolvesToTautologyEq()
346 VarMaxUpdatingNormalizer clNormalizer(replacements,varMax); in resolvesToTautologyEq()
402 RenanigApartNormalizer pclNormalizer(replacements,varMax,varMap); in resolvesToTautologyEq()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
| H A D | asp_preprocessor.h | 76 … getRootAtom(Literal p) const { return p.id() < litToNode_.size() ? litToNode_[p.id()] : varMax; } in getRootAtom()
78 if (p.id() >= litToNode_.size()) litToNode_.resize(p.id()+1, varMax); in setRootAtom()
109 if (follow_.empty() || idx == follow_.size()) { return varMax; } in nextBodyId()
|
| H A D | literal.h | 48 const Var varMax = (Var(1) << 30); variable
91 assert( var < varMax ); in Literal()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
| H A D | asp_preprocessor.h | 76 … getRootAtom(Literal p) const { return p.id() < litToNode_.size() ? litToNode_[p.id()] : varMax; } in getRootAtom()
78 if (p.id() >= litToNode_.size()) litToNode_.resize(p.id()+1, varMax); in setRootAtom()
109 if (follow_.empty() || idx == follow_.size()) { return varMax; } in nextBodyId()
|
| H A D | literal.h | 48 const Var varMax = (Var(1) << 30); variable
91 assert( var < varMax ); in Literal()
|
| /dports/math/clasp/clasp-3.3.5/clasp/ |
| H A D | asp_preprocessor.h | 76 … getRootAtom(Literal p) const { return p.id() < litToNode_.size() ? litToNode_[p.id()] : varMax; } in getRootAtom()
78 if (p.id() >= litToNode_.size()) litToNode_.resize(p.id()+1, varMax); in setRootAtom()
109 if (follow_.empty() || idx == follow_.size()) { return varMax; } in nextBodyId()
|
| H A D | literal.h | 48 const Var varMax = (Var(1) << 30); variable
91 assert( var < varMax ); in Literal()
|
| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | asp_preprocessor.cpp | 122 while ( (bodyId = nextBodyId(index)) != varMax ) { in classifyProgram()
219 uint32 rId = varMax; in addBodyVar()
222 aEq = dualAtom != varMax ? prg_->getAtom(dualAtom) : 0; in addBodyVar()
301 if (getRootAtom(aLit) == varMax) { in propagateAtomVar()
312 … if (getRootAtom(~aLit) != varMax && B->literal() == aLit && B->size() == 1 && B->goal(0).sign()) { in propagateAtomVar()
319 if (getRootAtom(~aLit) != varMax) { in propagateAtomVar()
395 && getRootAtom(body->literal()) == varMax in hasRootLiteral()
396 && getRootAtom(~body->literal())== varMax; in hasRootLiteral()
445 if (getRootAtom(b->literal()) == varMax) { ret = value_weak_true; } in simplifyBody()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | asp_preprocessor.cpp | 122 while ( (bodyId = nextBodyId(index)) != varMax ) { in classifyProgram()
219 uint32 rId = varMax; in addBodyVar()
222 aEq = dualAtom != varMax ? prg_->getAtom(dualAtom) : 0; in addBodyVar()
301 if (getRootAtom(aLit) == varMax) { in propagateAtomVar()
312 … if (getRootAtom(~aLit) != varMax && B->literal() == aLit && B->size() == 1 && B->goal(0).sign()) { in propagateAtomVar()
319 if (getRootAtom(~aLit) != varMax) { in propagateAtomVar()
395 && getRootAtom(body->literal()) == varMax in hasRootLiteral()
396 && getRootAtom(~body->literal())== varMax; in hasRootLiteral()
445 if (getRootAtom(b->literal()) == varMax) { ret = value_weak_true; } in simplifyBody()
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | asp_preprocessor.cpp | 122 while ( (bodyId = nextBodyId(index)) != varMax ) { in classifyProgram()
219 uint32 rId = varMax; in addBodyVar()
222 aEq = dualAtom != varMax ? prg_->getAtom(dualAtom) : 0; in addBodyVar()
301 if (getRootAtom(aLit) == varMax) { in propagateAtomVar()
312 … if (getRootAtom(~aLit) != varMax && B->literal() == aLit && B->size() == 1 && B->goal(0).sign()) { in propagateAtomVar()
319 if (getRootAtom(~aLit) != varMax) { in propagateAtomVar()
395 && getRootAtom(body->literal()) == varMax in hasRootLiteral()
396 && getRootAtom(~body->literal())== varMax; in hasRootLiteral()
445 if (getRootAtom(b->literal()) == varMax) { ret = value_weak_true; } in simplifyBody()
|
| /dports/graphics/inkscape/inkscape-1.1_2021-05-24_c4e8f9ed74/src/3rdparty/adaptagrams/libavoid/ |
| H A D | timer.h | 47 #define TIMER_VAR_MAX(r, n, v) r->timers.varMax(n, v)
82 void varMax(size_t i, unsigned int val);
|
| H A D | timer.cpp | 175 void Timer::varMax(size_t i, unsigned int val) in varMax() function in Avoid::Timer
|
| /dports/games/galaxyhack/galaxyhack/src/ |
| H A D | DragWindow.cpp | 198 varMax = iVarMax; in Init()
237 shadowVar += dPos * (varMax - varMin) / ruleLength; in MouseM()
239 if (shadowVar > varMax) in MouseM()
240 shadowVar = varMax; in MouseM()
276 int leftPos = rect.x + lineGap + (ruleLength * (*varPointer - varMin) / (varMax - varMin)); in DrawSelf()
|
| H A D | DragWindow.h | 76 void Init(int varMin, int varMax);
95 float varMax; variable
|
| /dports/graphics/opencv/opencv-4.5.3/modules/video/src/ |
| H A D | bgfg_gaussmix2.cpp | 261 virtual void setVarMax(double varMax) CV_OVERRIDE { fVarMax = (float)varMax; } in setVarMax() argument
561 varMax = MAX(_varMin, _varMax); in MOG2Invoker()
660 varnew = MIN(varnew, varMax); in operator ()()
763 float varInit, varMin, varMax, prune, tau; member in cv::MOG2Invoker
789 float varMax = MAX(fVarMin, fVarMax); in ocl_apply() local
808 idxArg = kernel_apply.set(idxArg, varMax); in ocl_apply()
|
| /dports/math/clasp/clasp-3.3.5/tests/ |
| H A D | literal_test.cpp | 63 Literal min = lit_true(), mid = posLit(varMax / 2), max = posLit(varMax - 1);
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/ |
| H A D | literal_test.cpp | 63 Literal min = lit_true(), mid = posLit(varMax / 2), max = posLit(varMax - 1);
|
| /dports/math/clingo/clingo-5.5.1/clasp/tests/ |
| H A D | literal_test.cpp | 63 Literal min = lit_true(), mid = posLit(varMax / 2), max = posLit(varMax - 1);
|
| /dports/graphics/opencv/opencv-4.5.3/contrib/modules/cudabgsegm/src/ |
| H A D | mog2.cpp | 111 …void setVarMax(double varMax) CV_OVERRIDE { constantsHost_.varMax_ = ::fmaxf(constantsHost_.varMin… in setVarMax() argument
|
| /dports/graphics/opencv/opencv-4.5.3/modules/video/include/opencv2/video/ |
| H A D | background_segm.hpp | 154 CV_WRAP virtual void setVarMax(double varMax) = 0;
|