Gecode 6.4.0
Gecode::Optimize::IndicatorData Struct Reference

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

Public Attributes

Indicator indicator
Variable activator
bool active_value = true
std::vector< Termterms
double lower = -std::numeric_limits<double>::infinity()
double upper = std::numeric_limits<double>::infinity()
std::optional< Variableinactive_gate
std::optional< double > lower_m
std::optional< double > upper_m
std::vector< Constraintgenerated_rows
std::vector< IndicatorDomaindomains
bool active = true

Detailed Description

Original logical meaning and the complete, guarded linear lowering.

Member Data Documentation

◆ indicator

Indicator Gecode::Optimize::IndicatorData::indicator

◆ activator

Variable Gecode::Optimize::IndicatorData::activator

◆ active_value

bool Gecode::Optimize::IndicatorData::active_value = true

◆ terms

std::vector<Term> Gecode::Optimize::IndicatorData::terms

◆ lower

double Gecode::Optimize::IndicatorData::lower = -std::numeric_limits<double>::infinity()

◆ upper

double Gecode::Optimize::IndicatorData::upper = std::numeric_limits<double>::infinity()

◆ inactive_gate

std::optional<Variable> Gecode::Optimize::IndicatorData::inactive_gate

◆ lower_m

std::optional<double> Gecode::Optimize::IndicatorData::lower_m

◆ upper_m

std::optional<double> Gecode::Optimize::IndicatorData::upper_m

◆ generated_rows

std::vector<Constraint> Gecode::Optimize::IndicatorData::generated_rows

◆ domains

std::vector<IndicatorDomain> Gecode::Optimize::IndicatorData::domains

◆ active

bool Gecode::Optimize::IndicatorData::active = true

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