42 #ifndef __GECODE_KERNEL_HH__ 43 #define __GECODE_KERNEL_HH__ 60 #if !defined(GECODE_STATIC_LIBS) && \ 61 (defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER)) 63 #ifdef GECODE_BUILD_KERNEL 64 #define GECODE_KERNEL_EXPORT __declspec( dllexport ) 66 #define GECODE_KERNEL_EXPORT __declspec( dllimport ) 71 #ifdef GECODE_GCC_HAS_CLASS_VISIBILITY 72 #define GECODE_KERNEL_EXPORT __attribute__ ((visibility("default"))) 74 #define GECODE_KERNEL_EXPORT 80 #ifndef GECODE_BUILD_KERNEL 81 #define GECODE_LIBRARY_NAME "Kernel" 101 namespace Kernel {
namespace Config {
227 branch(Home home, std::function<
void(Space& home)>
f);
279 trace(Home home, TraceFilter tf,
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
const double chb_qscore_init
Initial value for Q-score in CHB.