relax.cpp File Reference
(Revision: 15233)
#include <gecode/float.hh>
#include <gecode/search/relax.hh>
#include <gecode/kernel.hh>
#include <gecode/search.hh>
Go to the source code of this file.
Classes | |
class | Gecode::Float::Relax |
Class for posting equalities for non-relaxed variables. More... | |
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Float |
Floating point numbers. | |
Functions | |
void | Gecode::relax (Home home, const FloatVarArgs &x, const FloatVarArgs &sx, Rnd r, double p) |