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

Public Member Functions
bool	irreducible () const noexcept

Public Attributes
ModelId	model_id = 0
Revision	revision = 0
ConflictStatus	status = ConflictStatus::Unknown
Termination	termination = Termination::Unknown
Guarantee	guarantee = Guarantee::Numerical
std::string	backend
std::string	backend_version
std::string	message
bool	infeasibility_established = false
std::size_t	oracle_calls = 0
double	elapsed_seconds = 0.0
std::vector< ConflictGroup >	groups
std::vector< double >	feasible_witness

Member Function Documentation

◆ irreducible()

bool Gecode::Optimize::ConflictResult::irreducible ( ) const

inlinenoexcept

Member Data Documentation

◆ model_id

ModelId Gecode::Optimize::ConflictResult::model_id = 0

◆ revision

Revision Gecode::Optimize::ConflictResult::revision = 0

◆ status

ConflictStatus Gecode::Optimize::ConflictResult::status = ConflictStatus::Unknown

◆ termination

Termination Gecode::Optimize::ConflictResult::termination = Termination::Unknown

◆ guarantee

Guarantee Gecode::Optimize::ConflictResult::guarantee = Guarantee::Numerical

◆ backend

std::string Gecode::Optimize::ConflictResult::backend

◆ backend_version

std::string Gecode::Optimize::ConflictResult::backend_version

◆ message

std::string Gecode::Optimize::ConflictResult::message

◆ infeasibility_established

bool Gecode::Optimize::ConflictResult::infeasibility_established = false

◆ oracle_calls

std::size_t Gecode::Optimize::ConflictResult::oracle_calls = 0

◆ elapsed_seconds

double Gecode::Optimize::ConflictResult::elapsed_seconds = 0.0

◆ groups

std::vector<ConflictGroup> Gecode::Optimize::ConflictResult::groups

◆ feasible_witness

std::vector<double> Gecode::Optimize::ConflictResult::feasible_witness

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

diagnostics.hpp

Public Member Functions

Public Attributes