flatzinc.hpp File Reference

#include <gecode/flatzinc/capture-records.hh>
#include <gecode/optimize/model.hpp>
#include <gecode/optimize/result.hpp>

Classes
struct	Gecode::Optimize::FlatZincCompileOptions
struct	Gecode::Optimize::FlatZincVariableMapping
class	Gecode::Optimize::CompiledFlatZinc
struct	Gecode::Optimize::FlatZincCompileResult
struct	Gecode::Optimize::FlatZincValidation

Namespaces
namespace	Gecode
namespace	Gecode::Optimize
	Optional sparse optimization models, backends and owning results.
namespace	Gecode::Optimize::Detail

Enumerations
enum class	Gecode::Optimize::FlatZincCompileStatus {   Gecode::Optimize::Complete , Gecode::Optimize::Unsupported , Gecode::Optimize::InvalidInput , Gecode::Optimize::ResourceLimit ,   Gecode::Optimize::TimeLimit , Gecode::Optimize::Cancelled , Gecode::Optimize::Error }

Functions
FlatZincCompileResult	Gecode::Optimize::compile_flatzinc (const FlatZinc::Capture::Records &source, const FlatZincCompileOptions &options={})
FlatZincValidation	Gecode::Optimize::validate_flatzinc (const CompiledFlatZinc &, const SolveResult &, double integrality_tolerance=1e-6)
std::string	Gecode::Optimize::format_flatzinc_solution (const CompiledFlatZinc &, const SolveResult &, double integrality_tolerance=1e-6)