Home
last modified time | relevance | path

Searched refs:inUpper (Results 1 – 16 of 16) sorted by relevance

/dports/devel/open-beagle/beagle-3.0.3/beagle/include/beagle/
H A DRandomizer.hpp105 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 DImage.cpp1662 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 DAbstractFontManager.java184 } 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 Dasp_preprocessor.cpp61 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 Ddependency_graph.cpp71 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 Dlogic_program.cpp1257 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 Dasp_preprocessor.cpp61 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 Dlogic_program.cpp1222 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 Ddependency_graph.cpp71 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 Dasp_preprocessor.cpp61 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 Dlogic_program.cpp1222 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 Ddependency_graph.cpp71 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 Djob.py1614 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 Dlogic_program_types.h284 bool inUpper() const { return relevant() && upper_ != 0; } in inUpper() function
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dlogic_program_types.h284 bool inUpper() const { return relevant() && upper_ != 0; } in inUpper() function
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dlogic_program_types.h284 bool inUpper() const { return relevant() && upper_ != 0; } in inUpper() function