/dports/math/gecode/gecode-0916a1a/gecode/minimodel/ |
H A D | float-rel.hpp | 46 LinFloatRel::LinFloatRel(const LinFloatExpr& l, FloatRelType frt0, const LinFloatExpr& r) in LinFloatRel() 50 LinFloatRel::LinFloatRel(const LinFloatExpr& l, FloatRelType frt0, FloatVal r) in LinFloatRel() 54 LinFloatRel::LinFloatRel(FloatVal l, FloatRelType frt0, const LinFloatExpr& r) in LinFloatRel() 57 forceinline FloatRelType 58 LinFloatRel::neg(FloatRelType frt) { in neg()
|
H A D | float-arith.cpp | 300 virtual void post(Home home, FloatRelType frt, FloatVal c) const { in post() 311 virtual void post(Home home, FloatRelType frt, FloatVal c, in post()
|
H A D | float-expr.cpp | 152 LinFloatExpr::post(Home home, FloatRelType frt) const { in post() 185 LinFloatExpr::post(Home home, FloatRelType frt, const BoolVar& b) const { in post()
|
/dports/math/gecode/gecode-0916a1a/test/float/ |
H A D | rel.cpp | 54 Gecode::FloatRelType frt; 57 FloatVarXY(Gecode::FloatRelType frt0, int n, Gecode::FloatNum st) in FloatVarXY() 98 Gecode::FloatRelType frt; 101 FloatVarXX(Gecode::FloatRelType frt0, Gecode::FloatNum st) in FloatVarXX() 126 Gecode::FloatRelType frt; 131 FloatFloat(Gecode::FloatRelType frt0, int n, Gecode::FloatNum c0, in FloatFloat()
|
H A D | linear.cpp | 64 Gecode::FloatRelType frt; 70 const Gecode::FloatValArgs& a0, Gecode::FloatRelType frt0, in FloatFloat() 128 Gecode::FloatRelType frt; 132 const Gecode::FloatValArgs& a0, Gecode::FloatRelType frt0, Gecode::FloatNum st) in FloatVar()
|
H A D | mm-lin.cpp | 132 Gecode::FloatRelType frt; 136 Gecode::FloatRelType frt0, const std::string& s) in LinRel()
|
/dports/math/gecode/gecode-0916a1a/gecode/float/ |
H A D | linear.cpp | 42 const FloatVarArgs& x, FloatRelType frt, FloatVal c) { in linear() 55 const FloatVarArgs& x, FloatRelType frt, FloatVal c, Reify r) { in linear() 68 const FloatValArgs& a, const FloatVarArgs& x, FloatRelType frt, in linear() 84 const FloatValArgs& a, const FloatVarArgs& x, FloatRelType frt, in linear() 100 const FloatVarArgs& x, FloatRelType frt, FloatVar y) { in linear() 130 const FloatVarArgs& x, FloatRelType frt, FloatVar y, Reify r) { in linear() 144 const FloatValArgs& a, const FloatVarArgs& x, FloatRelType frt, in linear() 177 const FloatValArgs& a, const FloatVarArgs& x, FloatRelType frt, in linear()
|
H A D | rel.cpp | 43 rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n) { in rel() 68 rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1) { in rel() 92 rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1, Reify r) { in rel() 180 rel(Home home, FloatVar x, FloatRelType frt, FloatVal n, Reify r) { in rel() 302 rel(Home home, const FloatVarArgs& x, FloatRelType frt, FloatVal c) { in rel() 345 rel(Home home, const FloatVarArgs& x, FloatRelType frt, FloatVar y) { in rel()
|
H A D | linear.hh | 208 post(Home home, Term* t, int n, FloatRelType frt, FloatVal c); 228 post(Home home, Term* t, int n, FloatRelType frt, FloatVal c, Reify r);
|
/dports/math/gecode/gecode-0916a1a/test/ |
H A D | float.hh | 214 void rel(int i, Gecode::FloatRelType frt, Gecode::FloatVal n); 318 static std::string str(Gecode::FloatRelType frt); 329 static MaybeType cmp(Gecode::FloatVal x, Gecode::FloatRelType r, 343 static const Gecode::FloatRelType frts[6]; 356 Gecode::FloatRelType frt(void) const;
|
H A D | float.hpp | 195 Test::str(Gecode::FloatRelType frt) { in str() 236 Test::cmp(Gecode::FloatVal x, Gecode::FloatRelType r, Gecode::FloatVal y) { in cmp() 291 : i(sizeof(frts)/sizeof(Gecode::FloatRelType)-1) {} in FloatRelTypes() 294 i = sizeof(frts)/sizeof(Gecode::FloatRelType)-1; in reset() 304 inline Gecode::FloatRelType
|
H A D | float.cpp | 244 TestSpace::rel(int i, Gecode::FloatRelType frt, Gecode::FloatVal n) { in rel() 415 const Gecode::FloatRelType FloatRelTypes::frts[] =
|
/dports/math/gecode/gecode-0916a1a/gecode/ |
H A D | float.hh | 1068 enum FloatRelType { enum 1119 rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1); 1124 rel(Home home, FloatVar x, FloatRelType frt, FloatVal c); 1278 FloatRelType frt, FloatVal c); 1291 FloatRelType frt, FloatVar y); 1304 FloatRelType frt, FloatVal c, Reify r); 1317 FloatRelType frt, FloatVar y, Reify r); 1332 FloatRelType frt, FloatVal c); 1348 FloatRelType frt, FloatVar y); 1364 FloatRelType frt, FloatVal c, Reify r); [all …]
|
H A D | minimodel.hh | 799 virtual void post(Home home, FloatRelType frt, FloatVal c) const = 0; 801 virtual void post(Home home, FloatRelType frt, FloatVal c, 878 void post(Home home, FloatRelType frt) const; 881 void post(Home home, FloatRelType frt, const BoolVar& b) const; 902 FloatRelType frt; 904 static FloatRelType neg(FloatRelType frt); 909 LinFloatRel(const LinFloatExpr& l, FloatRelType frt, const LinFloatExpr& r); 911 LinFloatRel(const LinFloatExpr& l, FloatRelType frt, FloatVal r); 913 LinFloatRel(FloatVal l, FloatRelType frt, const LinFloatExpr& r);
|
/dports/math/gecode/gecode-0916a1a/gecode/float/linear/ |
H A D | post.cpp | 105 ViewArray<View>& x, ViewArray<View>& y, FloatRelType frt, in post_nary() 119 dopost(Home home, Term* t, int n, FloatRelType frt, FloatVal c) { in dopost() 238 post(Home home, Term* t, int n, FloatRelType frt, FloatVal c) { in post() 254 post(Home home, Term* t, int n, FloatRelType frt, FloatVal c, Reify r) { in post()
|
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/gecode/ |
H A D | gecode_constraints.hh | 202 void p_float_lin_cmp(GecodeSolverInstance& s, Gecode::FloatRelType frt, const Call* ce); 203 void p_float_lin_cmp_reif(GecodeSolverInstance& s, Gecode::FloatRelType frt, const Call* ce);
|
/dports/math/minizinc/libminizinc-2.5.5/solvers/gecode/ |
H A D | gecode_constraints.cpp | 1481 void p_float_lin_cmp(GecodeSolverInstance& s, FloatRelType frt, const Call* ce) { in p_float_lin_cmp() 1486 void p_float_lin_cmp_reif(GecodeSolverInstance& s, FloatRelType frt, const Call* ce) { in p_float_lin_cmp_reif()
|
/dports/math/gecode/gecode-0916a1a/gecode/flatzinc/ |
H A D | registry.cpp | 2116 void p_float_lin_cmp(FlatZincSpace& s, FloatRelType frt, in p_float_lin_cmp() 2122 void p_float_lin_cmp_reif(FlatZincSpace& s, FloatRelType frt, in p_float_lin_cmp_reif()
|