Gecode::Optimize::FlatZincCompileOptions Struct Reference

#include < -- improving gecode/implementation/gecode/gecode/optimize/flatzinc.hpp>

Public Attributes
std::size_t	max_variables =1000000
std::size_t	max_constraints =1000000
std::size_t	max_nonzeros =2000000
std::size_t	max_work =16000000
std::size_t	max_value_depth =64
double	time_limit_seconds =std::numeric_limits<double>::infinity()
std::shared_ptr< CancellationToken >	cancellation

Member Data Documentation

max_variables

std::size_t Gecode::Optimize::FlatZincCompileOptions::max_variables =1000000

max_constraints

std::size_t Gecode::Optimize::FlatZincCompileOptions::max_constraints =1000000

max_nonzeros

std::size_t Gecode::Optimize::FlatZincCompileOptions::max_nonzeros =2000000

max_work

std::size_t Gecode::Optimize::FlatZincCompileOptions::max_work =16000000

max_value_depth

std::size_t Gecode::Optimize::FlatZincCompileOptions::max_value_depth =64

time_limit_seconds

double Gecode::Optimize::FlatZincCompileOptions::time_limit_seconds =std::numeric_limits<double>::infinity()

cancellation

std::shared_ptr<CancellationToken> Gecode::Optimize::FlatZincCompileOptions::cancellation

---

The documentation for this struct was generated from the following file:

• flatzinc.hpp