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");
Node representing a function call
A space that can be initialized with a FlatZinc model.
void branch(Home home, const IntVarArgs &x, const BoolVarArgs &y, IntBoolVarBranch vars, IntValBranch vals)
Branch function for integer and Boolean variables.
Gecode::FloatVal c(-8, 8)
#define GECODE_VTABLE_EXPORT