Home
last modified time | relevance | path

Searched refs:FloatRelType (Results 1 – 18 of 18) sorted by relevance

/dports/math/gecode/gecode-0916a1a/gecode/minimodel/
H A Dfloat-rel.hpp46 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 Dfloat-arith.cpp300 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 Dfloat-expr.cpp152 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 Drel.cpp54 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 Dlinear.cpp64 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 Dmm-lin.cpp132 Gecode::FloatRelType frt;
136 Gecode::FloatRelType frt0, const std::string& s) in LinRel()
/dports/math/gecode/gecode-0916a1a/gecode/float/
H A Dlinear.cpp42 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 Drel.cpp43 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 Dlinear.hh208 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 Dfloat.hh214 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 Dfloat.hpp195 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 Dfloat.cpp244 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 Dfloat.hh1068 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 Dminimodel.hh799 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 Dpost.cpp105 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 Dgecode_constraints.hh202 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 Dgecode_constraints.cpp1481 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 Dregistry.cpp2116 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()