blackbox-propagator.cpp File Reference

#include <gecode/flatzinc/blackbox.hh>
#include <gecode/flatzinc/blackbox-backend.hh>
#include <atomic>
#include <cstdint>
#include <exception>
#include <string>
#include <vector>

Go to the source code of this file.

Classes
class	Gecode::FlatZinc::BlackBoxContext
class	Gecode::FlatZinc::BlackBoxContext::ExecEntry

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)