34#ifndef __GECODE_FLATZINC_PLUGIN_HH__
35#define __GECODE_FLATZINC_PLUGIN_HH__
39#include <QPluginLoader>
69 virtual void branch(Gecode::FlatZinc::FlatZincSpace& s,
70 Gecode::FlatZinc::AST::Call* c) = 0;
73Q_DECLARE_INTERFACE(Gecode::FlatZinc::BranchPlugin,
74 "org.gecode.FlatZinc.BranchPlugin/1.0");
Interpreter for the FlatZinc language.
void branch(Home home, const IntVarArgs &x, const BoolVarArgs &y, IntBoolVarBranch vars, IntValBranch vals)
Branch function for integer and Boolean variables.
Gecode toplevel namespace
#define GECODE_VTABLE_EXPORT