Gecode::Optimize::ConflictGroup Struct Reference

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

Public Attributes
ConflictGroupKind	kind = ConflictGroupKind::Row
std::string	name
std::optional< Constraint >	row
std::optional< Variable >	variable
std::vector< Indicator >	indicators
std::vector< Constraint >	generated_rows
std::vector< Variable >	grouped_variables
bool	necessity_verified = false
std::vector< double >	deletion_witness

Member Data Documentation

kind

ConflictGroupKind Gecode::Optimize::ConflictGroup::kind = ConflictGroupKind::Row

name

std::string Gecode::Optimize::ConflictGroup::name

row

std::optional<Constraint> Gecode::Optimize::ConflictGroup::row

variable

std::optional<Variable> Gecode::Optimize::ConflictGroup::variable

indicators

std::vector<Indicator> Gecode::Optimize::ConflictGroup::indicators

generated_rows

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

grouped_variables

std::vector<Variable> Gecode::Optimize::ConflictGroup::grouped_variables

necessity_verified

bool Gecode::Optimize::ConflictGroup::necessity_verified = false

deletion_witness

std::vector<double> Gecode::Optimize::ConflictGroup::deletion_witness

---

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

• diagnostics.hpp