34 #ifndef __GECODE_FLATZINC_PLUGIN_HH__ 35 #define __GECODE_FLATZINC_PLUGIN_HH__ 39 #include <QPluginLoader> 42 namespace Gecode {
namespace FlatZinc {
73 Q_DECLARE_INTERFACE(Gecode::FlatZinc::BranchPlugin,
74 "org.gecode.FlatZinc.BranchPlugin/1.0");
Gecode::FloatVal c(-8, 8)
void branch(Home home, const IntVarArgs &x, const BoolVarArgs &y, IntBoolVarBranch vars, IntValBranch vals)
Branch function for integer and Boolean variables.
A space that can be initialized with a FlatZinc model.
Gecode toplevel namespace
Node representing a function call
#define GECODE_VTABLE_EXPORT