/dports/devel/open-beagle/beagle-3.0.3/beagle/include/beagle/ |
H A D | Randomizer.hpp | 105 inline unsigned long rollInteger(unsigned long inLower=0, unsigned long inUpper=ULONG_MAX) in rollInteger() argument 108 Beagle_AssertM(inLower <= inUpper); in rollInteger() 109 return randInt(inUpper-inLower)+inLower; in rollInteger() 119 inline double rollUniform(double inLower=0.0, double inUpper=1.0) in rollUniform() argument 122 Beagle_AssertM(inLower <= inUpper); in rollUniform() 123 return (randExc() * (inUpper-inLower)) + inLower; in rollUniform()
|
/dports/graphics/urho3d/Urho3D-1.7.1/Source/Urho3D/Resource/ |
H A D | Image.cpp | 1662 const unsigned char* inUpper = &pixelDataIn[(y * 2) * width_]; in GetNextLevel() local 1668 out[x] = (unsigned char)(((unsigned)inUpper[x * 2] + inUpper[x * 2 + 1] + in GetNextLevel() 1683 out[x] = (unsigned char)(((unsigned)inUpper[x * 2] + inUpper[x * 2 + 2] + in GetNextLevel() 1685 … out[x + 1] = (unsigned char)(((unsigned)inUpper[x * 2 + 1] + inUpper[x * 2 + 3] + in GetNextLevel() 1700 out[x] = (unsigned char)(((unsigned)inUpper[x * 2] + inUpper[x * 2 + 3] + in GetNextLevel() 1702 … out[x + 1] = (unsigned char)(((unsigned)inUpper[x * 2 + 1] + inUpper[x * 2 + 4] + in GetNextLevel() 1704 … out[x + 2] = (unsigned char)(((unsigned)inUpper[x * 2 + 2] + inUpper[x * 2 + 5] + in GetNextLevel() 1719 out[x] = (unsigned char)(((unsigned)inUpper[x * 2] + inUpper[x * 2 + 4] + in GetNextLevel() 1721 … out[x + 1] = (unsigned char)(((unsigned)inUpper[x * 2 + 1] + inUpper[x * 2 + 5] + in GetNextLevel() 1723 … out[x + 2] = (unsigned char)(((unsigned)inUpper[x * 2 + 2] + inUpper[x * 2 + 6] + in GetNextLevel() [all …]
|
/dports/science/cdk/cdk-cdk-2.3/display/renderbasic/src/main/java/org/openscience/cdk/renderer/font/ |
H A D | AbstractFontManager.java | 184 } else if (atMax() && inUpper()) { in decreaseFontSize() 232 public boolean inUpper() { in inUpper() method in AbstractFontManager
|
/dports/math/clasp/clasp-3.3.5/src/ |
H A D | asp_preprocessor.cpp | 61 assert(head->relevant() && !head->inUpper()); in addHeadToUpper() 76 if (!at->inUpper()) { ok = addHeadToUpper(at, support); } in addHeadToUpper() 171 else if (!a->inUpper() && v != value_false){ in simplifyClassifiedProgram() 262 if (!head->inUpper()) { in addHeadsToUpper() 490 assert(h->inUpper()); in simplifyHead()
|
H A D | dependency_graph.cpp | 71 return !a->ignoreScc() && a->inUpper() && a->scc() != PrgNode::noScc && !s.isFalse(a->literal()); in relevantPrgAtom() 263 assert(prg.getDisj(it->node())->inUpper() && prg.getDisj(it->node())->supports() == 1); in addHeads() 317 assert(d->inUpper() && d->supports() == 1); in addDisj()
|
H A D | logic_program.cpp | 1257 Literal dx = d->inUpper() ? d->literal() : bot; in finalizeDisjunctions() 1275 if (at->inUpper()) { in finalizeDisjunctions() 1811 if (!aux->inUpper()) { in getEqAtomLit()
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
H A D | asp_preprocessor.cpp | 61 assert(head->relevant() && !head->inUpper()); in addHeadToUpper() 76 if (!at->inUpper()) { ok = addHeadToUpper(at, support); } in addHeadToUpper() 171 else if (!a->inUpper() && v != value_false){ in simplifyClassifiedProgram() 262 if (!head->inUpper()) { in addHeadsToUpper() 490 assert(h->inUpper()); in simplifyHead()
|
H A D | logic_program.cpp | 1222 bool inUpper = atom->inUpper() || skippedHeads.count(a.atom()) != 0; in freezeTheory() local 1223 if (!atom->frozen() && atom->supports() == 0 && atom->relevant() && !inUpper) { in freezeTheory() 1299 Literal dx = d->inUpper() ? d->literal() : bot; in finalizeDisjunctions() 1317 if (at->inUpper()) { in finalizeDisjunctions() 1853 if (!aux->inUpper()) { in getEqAtomLit()
|
H A D | dependency_graph.cpp | 71 return !a->ignoreScc() && a->inUpper() && a->scc() != PrgNode::noScc && !s.isFalse(a->literal()); in relevantPrgAtom() 263 assert(prg.getDisj(it->node())->inUpper() && prg.getDisj(it->node())->supports() == 1); in addHeads() 317 assert(d->inUpper() && d->supports() == 1); in addDisj()
|
/dports/math/clingo/clingo-5.5.1/clasp/src/ |
H A D | asp_preprocessor.cpp | 61 assert(head->relevant() && !head->inUpper()); in addHeadToUpper() 76 if (!at->inUpper()) { ok = addHeadToUpper(at, support); } in addHeadToUpper() 171 else if (!a->inUpper() && v != value_false){ in simplifyClassifiedProgram() 262 if (!head->inUpper()) { in addHeadsToUpper() 490 assert(h->inUpper()); in simplifyHead()
|
H A D | logic_program.cpp | 1222 bool inUpper = atom->inUpper() || skippedHeads.count(a.atom()) != 0; in freezeTheory() local 1223 if (!atom->frozen() && atom->supports() == 0 && atom->relevant() && !inUpper) { in freezeTheory() 1299 Literal dx = d->inUpper() ? d->literal() : bot; in finalizeDisjunctions() 1317 if (at->inUpper()) { in finalizeDisjunctions() 1853 if (!aux->inUpper()) { in getEqAtomLit()
|
H A D | dependency_graph.cpp | 71 return !a->ignoreScc() && a->inUpper() && a->scc() != PrgNode::noScc && !s.isFalse(a->literal()); in relevantPrgAtom() 263 assert(prg.getDisj(it->node())->inUpper() && prg.getDisj(it->node())->supports() == 1); in addHeads() 317 assert(d->inUpper() && d->supports() == 1); in addDisj()
|
/dports/misc/py-toil/toil-5.4.0/src/toil/ |
H A D | job.py | 1614 for inUpper in reacheable: 1617 … extraEdges[inUpper] += [job._registry[lowerID] for lowerID in lower if lowerID in job._registry]
|
/dports/math/clasp/clasp-3.3.5/clasp/ |
H A D | logic_program_types.h | 284 bool inUpper() const { return relevant() && upper_ != 0; } in inUpper() function
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | logic_program_types.h | 284 bool inUpper() const { return relevant() && upper_ != 0; } in inUpper() function
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
H A D | logic_program_types.h | 284 bool inUpper() const { return relevant() && upper_ != 0; } in inUpper() function
|