Generated on Tue Jul 18 2017 18:41:42 for Gecode by doxygen 1.8.13
kernel.hh File Reference

(Revision: 15623)

#include <cstddef>
#include <cstdlib>
#include <cstring>
#include <cassert>
#include <cfloat>
#include <functional>
#include <gecode/support.hh>
#include <gecode/support/auto-link.hpp>
#include <gecode/kernel/exception.hpp>
#include <gecode/kernel/memory-config.hpp>
#include <gecode/kernel/memory-manager.hpp>
#include <gecode/kernel/macros.hpp>
#include <gecode/kernel/archive.hpp>
#include <gecode/kernel/gpi.hpp>
#include <gecode/kernel/core.hpp>
#include <gecode/kernel/modevent.hpp>
#include <gecode/kernel/range-list.hpp>
#include <gecode/kernel/region.hpp>
#include <gecode/kernel/var.hpp>
#include <gecode/kernel/view.hpp>
#include <gecode/kernel/array.hpp>
#include <gecode/kernel/shared-array.hpp>
#include <gecode/kernel/shared-data.hpp>
#include <gecode/kernel/rnd.hpp>
#include <gecode/kernel/propagator.hpp>
#include <gecode/kernel/subscribed-propagators.hpp>
#include <gecode/kernel/advisor.hpp>
#include <gecode/kernel/afc.hpp>
#include <gecode/kernel/branch-traits.hpp>
#include <gecode/kernel/chb.hpp>
#include <gecode/kernel/action.hpp>
#include <gecode/kernel/branch-var.hpp>
#include <gecode/kernel/branch-tiebreak.hpp>
#include <gecode/kernel/branch-val.hpp>
#include <gecode/kernel/brancher-merit.hpp>
#include <gecode/kernel/brancher-filter.hpp>
#include <gecode/kernel/brancher-view-sel.hpp>
#include <gecode/kernel/brancher-print.hpp>
#include <gecode/kernel/brancher-view.hpp>
#include <gecode/kernel/brancher-val-sel.hpp>
#include <gecode/kernel/brancher-val-commit.hpp>
#include <gecode/kernel/brancher-val-sel-commit.hpp>
#include <gecode/kernel/brancher-view-val.hpp>
#include <gecode/kernel/var-imp.hpp>
#include <gecode/kernel/trace-traits.hpp>
#include <gecode/kernel/trace-filter.hpp>
#include <gecode/kernel/tracer.hpp>
#include <gecode/kernel/trace-recorder.hpp>
#include <gecode/kernel/trace-print.hpp>
#include <gecode/kernel/trace.hpp>
#include <gecode/kernel/allocators.hpp>

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::Kernel
 Kernel functionality
 
 Gecode::Kernel::Config
 

Macros

#define GECODE_KERNEL_EXPORT
 
#define GECODE_LIBRARY_NAME   "Kernel"
 

Functions

void Gecode::branch (Home home, std::function< void(Space &home)> f)
 Call the function f (with the current space as argument) for branching. More...
 
void Gecode::trace (Home home, TraceFilter tf, int te=(TE_PROPAGATE|TE_COMMIT), Tracer &t=StdTracer::def)
 Create tracer. More...
 
void Gecode::trace (Home home, int te=(TE_PROPAGATE|TE_COMMIT), Tracer &t=StdTracer::def)
 Create tracer. More...
 

Variables

const double Gecode::Kernel::Config::rescale = 1e-50
 Rescale factor for action and afc values. More...
 
const double Gecode::Kernel::Config::rescale_limit = DBL_MAX * rescale
 Rescale action and afc values when larger than this. More...
 
const double Gecode::Kernel::Config::chb_alpha_init = 0.4
 Initial value for alpha in CHB. More...
 
const double Gecode::Kernel::Config::chb_alpha_limit = 0.06
 Limit for decreasing alpha in CHB. More...
 
const double Gecode::Kernel::Config::chb_alpha_decrement = 1e-6
 Alpha decrement in CHB. More...
 
const double Gecode::Kernel::Config::chb_qscore_init = 0.05
 Initial value for Q-score in CHB. More...
 

Macro Definition Documentation

◆ GECODE_KERNEL_EXPORT

#define GECODE_KERNEL_EXPORT

Definition at line 74 of file kernel.hh.

◆ GECODE_LIBRARY_NAME

#define GECODE_LIBRARY_NAME   "Kernel"

Definition at line 81 of file kernel.hh.