lp_evidence.hpp File Reference

#include <gecode/optimize/solve.hpp>
#include <gecode/optimize/validate.hpp>

Classes
struct	Gecode::Optimize::LpEvidenceTolerances
struct	Gecode::Optimize::LpEvidenceLimits
struct	Gecode::Optimize::LpEvidenceOptions
struct	Gecode::Optimize::LpEvidenceGroup
struct	Gecode::Optimize::LpEvidenceColumn
struct	Gecode::Optimize::LpEvidenceStage
struct	Gecode::Optimize::LpPrimalEvidence
struct	Gecode::Optimize::LpFarkasEntry
struct	Gecode::Optimize::LpFarkasEvidence
class	Gecode::Optimize::LpEvidence
struct	Gecode::Optimize::LpEvidenceResult

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

Enumerations
enum class	Gecode::Optimize::LpEvidenceRequest { Gecode::Optimize::Automatic , Gecode::Optimize::PrimalRay , Gecode::Optimize::Farkas , Gecode::Optimize::Both }
enum class	Gecode::Optimize::LpEvidenceState { Gecode::Optimize::NotRequested , Gecode::Optimize::Available , Gecode::Optimize::Unavailable , Gecode::Optimize::Rejected }
enum class	Gecode::Optimize::LpEvidenceReason {   Gecode::Optimize::None , Gecode::Optimize::NotRequested , Gecode::Optimize::Unsupported , Gecode::Optimize::NoFeasibleBase ,   Gecode::Optimize::NoImprovingDirection , Gecode::Optimize::NoContradiction , Gecode::Optimize::Stopped , Gecode::Optimize::InvalidBackendData ,   Gecode::Optimize::FailedOriginalChecks , Gecode::Optimize::InconsistentEvidence , Gecode::Optimize::InvalidModel , Gecode::Optimize::ResourceLimit ,   Gecode::Optimize::AllocationFailure }
enum class	Gecode::Optimize::LpEvidencePhase { Gecode::Optimize::FeasibleBase , Gecode::Optimize::Recession , Gecode::Optimize::Farkas }
enum class	Gecode::Optimize::LpEvidenceSide { Gecode::Optimize::Lower , Gecode::Optimize::Upper }
enum class	Gecode::Optimize::LpEvidenceColumnKind { Gecode::Optimize::SourceVariable , Gecode::Optimize::RowSide , Gecode::Optimize::VariableSide }
enum class	Gecode::Optimize::LpEvidenceCompletion { Gecode::Optimize::Complete , Gecode::Optimize::Interrupted , Gecode::Optimize::Rejected }

Functions
LpEvidenceResult	Gecode::Optimize::analyze_lp_evidence (const ModelSnapshot &, const LpEvidenceOptions &={})
LpEvidenceResult	Gecode::Optimize::analyze_lp_evidence (const Model &, const LpEvidenceOptions &={})