|
| 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< Constraint > | Gecode::Optimize::add_boolean_and (Model &model, Variable result, const std::vector< Variable > &inputs, std::string name={}) |
| std::vector< Constraint > | Gecode::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) |