Gecode 6.4.0
constraints.hpp File Reference

Classes

struct  Gecode::Optimize::IndicatorFormulation

Namespaces

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

Functions

IndicatorFormulation Gecode::Optimize::add_indicator (Model &model, Variable activator, bool active_value, const std::vector< Term > &terms, double lower, double upper, std::string name={})
void Gecode::Optimize::remove_indicator (Model &model, Indicator indicator)
std::vector< ConstraintGecode::Optimize::add_boolean_and (Model &model, Variable result, const std::vector< Variable > &inputs, std::string name={})
std::vector< ConstraintGecode::Optimize::add_boolean_or (Model &model, Variable result, const std::vector< Variable > &inputs, std::string name={})
void Gecode::Optimize::Detail::validate_indicators (const ModelSnapshot &model)