Exemple #1
0
 inline
 std::string
 Test::str(Gecode::FloatVal f) {
   std::stringstream s;
   s << "[" << f.min() << ":" << f.max() << "]";
   return s.str();
 }
Exemple #2
0
 inline
 CpltAssignment::CpltAssignment(int n, const Gecode::FloatVal& d, Gecode::FloatNum s)
   : Assignment(n,d),
     dsv(new Gecode::FloatVal[static_cast<unsigned int>(n)]),
     step(s) {
   using namespace Gecode;
   for (int i=n; i--; )
     dsv[i] = FloatVal(d.min(),nextafter(d.min(),d.max()));
 }
Exemple #3
0
 inline
 ExtAssignment::ExtAssignment(int n, const Gecode::FloatVal& d, Gecode::FloatNum s, const Test * pb)
 : Assignment(n,d),curPb(pb),
 dsv(new Gecode::FloatVal[static_cast<unsigned int>(n)]),
 step(s) {
   using namespace Gecode;
   for (int i=n-1; i--; )
     dsv[i] = FloatVal(d.min(),nextafter(d.min(),d.max()));
   ++(*this);
 }
Exemple #4
0
 /// %Test whether \a x is solution
 virtual MaybeType solution(const Assignment& x) const {
   for (int i=x.size(); i--; )
     if ((x[i].max() > c.max()) || (x[i].min() < c.min()))
       return MT_FALSE;
   return MT_TRUE;
 }