/dports/math/chuffed/chuffed-e04bedd/chuffed/primitives/ |
H A D | arithmetic.cpp | 25 setDom(y, setMin, l, x.getMinLit()); in propagate() 26 setDom(y, setMax, u, x.getMinLit(), x.getMaxLit()); in propagate() 28 setDom(y, setMin, -u, x.getMaxLit()); in propagate() 29 setDom(y, setMax, -l, x.getMaxLit(), x.getMinLit()); in propagate() 33 setDom(y, setMax, t, x.getMaxLit(), x.getMinLit()); in propagate() 39 setDom(x, setMax, y.getMax(), y.getMaxLit()); in propagate() 40 setDom(x, setMin, -y.getMax(), y.getMaxLit()); in propagate() 131 setDom(z, setMax, 0, x.getMaxLit()); in propagate_case_zero() 135 setDom(x, setMax, 0, z.getMaxLit()); in propagate_case_zero() 331 setDom(u, setMin, 0, reason); in propagate_xy() [all …]
|
H A D | binary.cpp | 32 if (R && x_max < y_min) setDom(r, setVal, 0, x.getMaxLit(), y.getMinLit()); in propagate() 37 if (R) setDom(x, setMin, y_min, y.getMinLit(), r.getValLit()); in propagate() 38 else setDom(x, setMin, y_min, y.getMinLit()); in propagate() 39 if (R) setDom(y, setMax, x_max, x.getMaxLit(), r.getValLit()); in propagate() 40 else setDom(y, setMax, x_max, x.getMaxLit()); in propagate() 83 setDom(r, setVal, 0, x.getValLit(), y.getValLit()); in propagate() 89 if (R) setDom(y, remVal, x.getVal(), x.getValLit(), r.getValLit()); in propagate() 90 else setDom(y, remVal, x.getVal(), x.getValLit()); in propagate() 93 if (R) setDom(x, remVal, y.getVal(), y.getValLit(), r.getValLit()); in propagate() 94 else setDom(x, remVal, y.getVal(), y.getValLit()); in propagate()
|
H A D | element.cpp | 163 setDom(y, setMin, f.getMin(), f.getMinLit(), x.getValLit()); in propagate() 164 setDom(f, setMin, y.getMin(), y.getMinLit(), x.getValLit()); in propagate() 165 setDom(y, setMax, f.getMax(), f.getMaxLit(), x.getValLit()); in propagate() 166 setDom(f, setMax, y.getMax(), y.getMaxLit(), x.getValLit()); in propagate() 173 if (y.getMax() < a[i].getMin()) setDom(x, remVal, i, y.getMaxLit(), a[i].getMinLit()); in propagate() 174 if (y.getMin() > a[i].getMax()) setDom(x, remVal, i, y.getMinLit(), a[i].getMaxLit()); in propagate() 350 setDom(y, setMin, f.getMin(), f.getMinLit(), x.getValLit()); in propagate() 351 setDom(f, setMin, y.getMin(), y.getMinLit(), x.getValLit()); in propagate() 352 setDom(y, setMax, f.getMax(), f.getMaxLit(), x.getValLit()); in propagate() 353 setDom(f, setMax, y.getMax(), y.getMaxLit(), x.getValLit()); in propagate()
|
H A D | domain.cpp | 16 setDom((*y), setMin, 1, y->getMinLit()); in propagate() 17 setDom((*y), setMax, x->getMax() - x->getMin() + 1, x->getMinLit(), x->getMaxLit()); in propagate()
|
/dports/math/chuffed/chuffed-e04bedd/chuffed/globals/ |
H A D | sym-break.cpp | 27 setDom(x, setMax, m, y.getMaxLit()); in propagate() 32 setDom(y, setMin, m, x.getMinLit()); in propagate()
|
H A D | minimum.cpp | 53 setDom(y, setMax, min_max, x[min_max_var].getMaxLit()); in propagate()
|
H A D | disjunctive.cpp | 262 setDom(pred[i][j], setVal, 1, x[i]->getMaxLit(), x[j]->getMinLit()); in findBasicPrecedences() 265 setDom(pred[j][i], setVal, 1, x[j]->getMaxLit(), x[i]->getMinLit()); in findBasicPrecedences()
|
/dports/devel/collada-dom/collada-dom-2.5.0/dom/include/ |
H A D | dae.h | 253 virtual daeInt setDom(daeString uri, domCOLLADAProxy* dom); // use setRoot, 259 return setDom(uri,(domCOLLADAProxy*)dom); in setDom141() 267 return setDom(uri,(domCOLLADAProxy*)dom); in setDom150()
|
/dports/www/ilias/ILIAS-5.4.25/Modules/Scorm2004/classes/seq_editor/ |
H A D | class.ilSCORM2004Objective.php | 142 public function setDom($a_dom) function in ilSCORM2004Objective
|
H A D | class.ilSCORM2004Item.php | 180 public function setDom($a_dom) function in ilSCORM2004Item
|
H A D | class.ilSCORM2004Sequencing.php | 444 public function setDom($a_dom) function in ilSCORM2004Sequencing
|
/dports/www/ilias6/ILIAS-6.14/Modules/Scorm2004/classes/seq_editor/ |
H A D | class.ilSCORM2004Objective.php | 142 public function setDom($a_dom) function in ilSCORM2004Objective
|
H A D | class.ilSCORM2004Item.php | 180 public function setDom($a_dom) function in ilSCORM2004Item
|
/dports/math/chuffed/chuffed-e04bedd/chuffed/core/ |
H A D | propagator.h | 129 #define setDom(var, op, val, ...) do { \ macro
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.xml/share/classes/com/sun/org/apache/xalan/internal/xsltc/runtime/ |
H A D | AbstractTranslet.java | 459 index.setDom(dom, dom.getDocument()); in buildKeyIndex() 526 getKeyIndex(name).setDom(document, document.getDocument()); in setKeyIndexDom()
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.xml/share/classes/com/sun/org/apache/xalan/internal/xsltc/runtime/ |
H A D | AbstractTranslet.java | 459 index.setDom(dom, dom.getDocument()); in buildKeyIndex() 526 getKeyIndex(name).setDom(document, document.getDocument()); in setKeyIndexDom()
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.xml/share/classes/com/sun/org/apache/xalan/internal/xsltc/runtime/ |
H A D | AbstractTranslet.java | 459 index.setDom(dom, dom.getDocument()); in buildKeyIndex() 526 getKeyIndex(name).setDom(document, document.getDocument()); in setKeyIndexDom()
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.xml/share/classes/com/sun/org/apache/xalan/internal/xsltc/runtime/ |
H A D | AbstractTranslet.java | 459 index.setDom(dom, dom.getDocument()); in buildKeyIndex() 526 getKeyIndex(name).setDom(document, document.getDocument()); in setKeyIndexDom()
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.xml/share/classes/com/sun/org/apache/xalan/internal/xsltc/runtime/ |
H A D | AbstractTranslet.java | 459 index.setDom(dom, dom.getDocument()); in buildKeyIndex() 526 getKeyIndex(name).setDom(document, document.getDocument()); in setKeyIndexDom()
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jaxp/src/com/sun/org/apache/xalan/internal/xsltc/runtime/ |
H A D | AbstractTranslet.java | 459 index.setDom(dom, dom.getDocument()); in buildKeyIndex() 526 getKeyIndex(name).setDom(document, document.getDocument()); in setKeyIndexDom()
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jaxp/src/com/sun/org/apache/xalan/internal/xsltc/runtime/ |
H A D | AbstractTranslet.java | 459 index.setDom(dom, dom.getDocument()); in buildKeyIndex() 526 getKeyIndex(name).setDom(document, document.getDocument()); in setKeyIndexDom()
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/core/ |
H A D | BoundSetDomain.java | 458 public void in(int storeLevel, SetVar var, SetDomain setDom) { 459 in(storeLevel, var, setDom.glb(), setDom.lub());
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.xml/share/classes/com/sun/org/apache/xalan/internal/xsltc/runtime/ |
H A D | AbstractTranslet.java | 459 index.setDom(dom, dom.getDocument()); in buildKeyIndex() 526 getKeyIndex(name).setDom(document, document.getDocument()); in setKeyIndexDom()
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.xml/share/classes/com/sun/org/apache/xalan/internal/xsltc/runtime/ |
H A D | AbstractTranslet.java | 459 index.setDom(dom, dom.getDocument()); in buildKeyIndex() 526 getKeyIndex(name).setDom(document, document.getDocument()); in setKeyIndexDom()
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.xml/share/classes/com/sun/org/apache/xalan/internal/xsltc/runtime/ |
H A D | AbstractTranslet.java | 459 index.setDom(dom, dom.getDocument()); in buildKeyIndex() 526 getKeyIndex(name).setDom(document, document.getDocument()); in setKeyIndexDom()
|