blackbox.hh File Reference

#include <exception>
#include <string>
#include <vector>
#include <gecode/flatzinc.hh>
#include <gecode/kernel.hh>
#include <gecode/float.hh>

Go to the source code of this file.

Classes
class	Gecode::FlatZinc::BlackBoxContextHandle
	Model-local context shared by blackbox propagators and search support. More...
class	Gecode::FlatZinc::BlackBoxAccess
	Access to the model-local blackbox context while posting and searching. More...

Namespaces
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::FlatZinc
	Interpreter for the FlatZinc language.

Functions
void	Gecode::FlatZinc::blackbox (Home home, BlackBoxContextHandle &context, const IntVarArgs &int_in, const IntVarArgs &int_out, const FloatVarArgs &float_in, const FloatVarArgs &float_out, const std::string &mode, const std::string &target, const std::vector< std::string > &args)
void	Gecode::FlatZinc::blackbox_bounds (Home home, BlackBoxContextHandle &context, const IntVarArgs &ivar, const FloatVarArgs &fvar, const std::string &mode, const std::string &target, const std::vector< std::string > &args, const std::vector< int > &reason)