diagnostics.hpp File Reference

#include <gecode/optimize/solve.hpp>

Classes
struct	Gecode::Optimize::ConflictGroup
struct	Gecode::Optimize::ConflictOptions
struct	Gecode::Optimize::ConflictResult

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

Enumerations
enum class	Gecode::Optimize::ConflictStatus {   Gecode::Optimize::Unknown , Gecode::Optimize::Feasible , Gecode::Optimize::Irreducible , Gecode::Optimize::Incomplete ,   Gecode::Optimize::Unsupported , Gecode::Optimize::InvalidModel , Gecode::Optimize::Error }
enum class	Gecode::Optimize::ConflictGroupKind {   Gecode::Optimize::Row , Gecode::Optimize::LowerBound , Gecode::Optimize::UpperBound , Gecode::Optimize::Integrality ,   Gecode::Optimize::VariableDomain , Gecode::Optimize::IndicatorComponent }

Functions
ConflictResult	Gecode::Optimize::analyze_conflict (const ModelSnapshot &model, const ConflictOptions &options={})
ConflictResult	Gecode::Optimize::analyze_conflict (const Model &model, const ConflictOptions &options={})