38 #ifndef __GECODE_KERNEL_HH__ 39 #define __GECODE_KERNEL_HH__ 56 #if !defined(GECODE_STATIC_LIBS) && \ 57 (defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER)) 59 #ifdef GECODE_BUILD_KERNEL 60 #define GECODE_KERNEL_EXPORT __declspec( dllexport ) 62 #define GECODE_KERNEL_EXPORT __declspec( dllimport ) 67 #ifdef GECODE_GCC_HAS_CLASS_VISIBILITY 68 #define GECODE_KERNEL_EXPORT __attribute__ ((visibility("default"))) 70 #define GECODE_KERNEL_EXPORT 76 #ifndef GECODE_BUILD_KERNEL 77 #define GECODE_LIBRARY_NAME "Kernel" 97 namespace Kernel {
namespace Config {
void branch(Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf, FloatVarValPrint vvp)
Branch over x with variable selection vars and value selection vals.
const double rescale_limit
Rescale action and afc values when larger than this.
static StdTracer def
Default tracer (printing to std::cerr)
Trace commit operations by branchers.
const double chb_alpha_init
Initial value for alpha in CHB.
#define GECODE_KERNEL_EXPORT
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
const double rescale
Rescale factor for action and afc values.
const double chb_alpha_limit
Limit for decreasing alpha in CHB.
Trace propagator executions.
void trace(Home home, const FloatVarArgs &x, TraceFilter tf, int te, FloatTracer &t)
Create a tracer for float variables.
const double chb_alpha_decrement
Alpha decrement in CHB.
Gecode toplevel namespace
Home class for posting propagators
const double chb_qscore_init
Initial value for Q-score in CHB.