Detailed Description

Definition at line 67 of file set_cover_invariant.h.

#include <set_cover_invariant.h>

Public Types
enum class	ConsistencyLevel { kInconsistent = 0 , kCostAndCoverage , kFreeAndUncovered , kRedundancy }

Public Member Functions
	SetCoverInvariant (SetCoverModel *m)
void	Initialize ()
void	Clear ()
SetCoverModel *	model () const
const SetCoverModel *	const_model () const
void	ReportLowerBound (Cost lower_bound, bool is_cost_consistent)
Cost	cost () const
Cost	CostOrLowerBound () const
bool	is_cost_consistent () const
Cost	LowerBound () const
BaseInt	num_uncovered_elements () const
const SubsetBoolVector &	is_selected () const
const SubsetToIntVector &	num_free_elements () const
const SubsetToIntVector &	num_coverage_le_1_elements () const
const ElementToIntVector &	coverage () const
ElementToIntVector	ComputeCoverageInFocus (absl::Span< const SubsetIndex > focus) const
const SubsetBoolVector &	is_redundant () const
const std::vector< SetCoverDecision > &	trace () const
void	ClearTrace ()
BaseInt	ComputeCardinality () const
void	ClearRemovabilityInformation ()
const std::vector< SubsetIndex > &	newly_removable_subsets () const
const std::vector< SubsetIndex > &	newly_non_removable_subsets () const
void	CompressTrace ()
void	LoadSolution (const SubsetBoolVector &solution)
void	LoadTraceAndCoverage (const std::vector< SetCoverDecision > &trace, const ElementToIntVector &coverage)
bool	CheckConsistency (ConsistencyLevel consistency) const
void	Recompute (ConsistencyLevel target_consistency)
bool	ComputeIsRedundant (SubsetIndex subset) const
BaseInt	ComputeNumFreeElements (SubsetIndex subset) const
bool	Select (SubsetIndex subset, ConsistencyLevel consistency)
bool	Deselect (SubsetIndex subset, ConsistencyLevel consistency)
SetCoverSolutionResponse	ExportSolutionAsProto () const
void	ImportSolutionFromProto (const SetCoverSolutionResponse &message)

Member Enumeration Documentation

◆ ConsistencyLevel

enum class operations_research::SetCoverInvariant::ConsistencyLevel

strong

Enumerator
kInconsistent
kCostAndCoverage
kFreeAndUncovered
kRedundancy

Definition at line 80 of file set_cover_invariant.h.

Constructor & Destructor Documentation

◆ SetCoverInvariant()

operations_research::SetCoverInvariant::SetCoverInvariant ( SetCoverModel * m )

inlineexplicit

Definition at line 89 of file set_cover_invariant.h.

Member Function Documentation

◆ CheckConsistency()

bool operations_research::SetCoverInvariant::CheckConsistency ( ConsistencyLevel consistency ) const

Definition at line 74 of file set_cover_invariant.cc.

◆ Clear()

void operations_research::SetCoverInvariant::Clear ( )

Definition at line 42 of file set_cover_invariant.cc.

◆ ClearRemovabilityInformation()

void operations_research::SetCoverInvariant::ClearRemovabilityInformation ( )

inline

Definition at line 178 of file set_cover_invariant.h.

◆ ClearTrace()

void operations_research::SetCoverInvariant::ClearTrace ( )

inline

Definition at line 162 of file set_cover_invariant.h.

◆ CompressTrace()

void operations_research::SetCoverInvariant::CompressTrace ( )

Definition at line 291 of file set_cover_invariant.cc.

◆ ComputeCardinality()

BaseInt operations_research::SetCoverInvariant::ComputeCardinality ( ) const

inline

Definition at line 165 of file set_cover_invariant.h.

◆ ComputeCoverageInFocus()

ElementToIntVector operations_research::SetCoverInvariant::ComputeCoverageInFocus ( absl::Span< const SubsetIndex > focus ) const

Definition at line 224 of file set_cover_invariant.cc.

◆ ComputeIsRedundant()

bool operations_research::SetCoverInvariant::ComputeIsRedundant ( SubsetIndex subset ) const

Definition at line 314 of file set_cover_invariant.cc.

◆ ComputeNumFreeElements()

BaseInt operations_research::SetCoverInvariant::ComputeNumFreeElements ( SubsetIndex subset ) const

Definition at line 334 of file set_cover_invariant.cc.

◆ const_model()

const SetCoverModel * operations_research::SetCoverInvariant::const_model ( ) const

inline

Definition at line 101 of file set_cover_invariant.h.

◆ cost()

Cost operations_research::SetCoverInvariant::cost ( ) const

inline

Definition at line 112 of file set_cover_invariant.h.

◆ CostOrLowerBound()

Cost operations_research::SetCoverInvariant::CostOrLowerBound ( ) const

inline

Definition at line 116 of file set_cover_invariant.h.

◆ coverage()

const ElementToIntVector & operations_research::SetCoverInvariant::coverage ( ) const

inline

Definition at line 147 of file set_cover_invariant.h.

◆ Deselect()

bool operations_research::SetCoverInvariant::Deselect	(	SubsetIndex	subset,
		ConsistencyLevel	consistency )

Definition at line 410 of file set_cover_invariant.cc.

◆ ExportSolutionAsProto()

SetCoverSolutionResponse operations_research::SetCoverInvariant::ExportSolutionAsProto ( ) const

Definition at line 473 of file set_cover_invariant.cc.

◆ ImportSolutionFromProto()

void operations_research::SetCoverInvariant::ImportSolutionFromProto ( const SetCoverSolutionResponse & message )

Definition at line 488 of file set_cover_invariant.cc.

◆ Initialize()

void operations_research::SetCoverInvariant::Initialize ( )

Definition at line 36 of file set_cover_invariant.cc.

◆ is_cost_consistent()

bool operations_research::SetCoverInvariant::is_cost_consistent ( ) const

inline

Definition at line 124 of file set_cover_invariant.h.

◆ is_redundant()

const SubsetBoolVector & operations_research::SetCoverInvariant::is_redundant ( ) const

inline

Definition at line 156 of file set_cover_invariant.h.

◆ is_selected()

const SubsetBoolVector & operations_research::SetCoverInvariant::is_selected ( ) const

inline

Definition at line 133 of file set_cover_invariant.h.

◆ LoadSolution()

void operations_research::SetCoverInvariant::LoadSolution ( const SubsetBoolVector & solution )

Definition at line 109 of file set_cover_invariant.cc.

◆ LoadTraceAndCoverage()

void operations_research::SetCoverInvariant::LoadTraceAndCoverage	(	const std::vector< SetCoverDecision > &	trace,
		const ElementToIntVector &	coverage )

Definition at line 137 of file set_cover_invariant.cc.

◆ LowerBound()

Cost operations_research::SetCoverInvariant::LowerBound ( ) const

inline

Definition at line 127 of file set_cover_invariant.h.

◆ model()

SetCoverModel * operations_research::SetCoverInvariant::model ( ) const

inline

Definition at line 99 of file set_cover_invariant.h.

◆ newly_non_removable_subsets()

const std::vector< SubsetIndex > & operations_research::SetCoverInvariant::newly_non_removable_subsets ( ) const

inline

Definition at line 189 of file set_cover_invariant.h.

◆ newly_removable_subsets()

const std::vector< SubsetIndex > & operations_research::SetCoverInvariant::newly_removable_subsets ( ) const

inline

Definition at line 184 of file set_cover_invariant.h.

◆ num_coverage_le_1_elements()

const SubsetToIntVector & operations_research::SetCoverInvariant::num_coverage_le_1_elements ( ) const

inline

Definition at line 143 of file set_cover_invariant.h.

◆ num_free_elements()

const SubsetToIntVector & operations_research::SetCoverInvariant::num_free_elements ( ) const

inline

Definition at line 137 of file set_cover_invariant.h.

◆ num_uncovered_elements()

BaseInt operations_research::SetCoverInvariant::num_uncovered_elements ( ) const

inline

Definition at line 130 of file set_cover_invariant.h.

◆ Recompute()

void operations_research::SetCoverInvariant::Recompute ( ConsistencyLevel target_consistency )

Definition at line 162 of file set_cover_invariant.cc.

◆ ReportLowerBound()

void operations_research::SetCoverInvariant::ReportLowerBound	(	Cost	lower_bound,
		bool	is_cost_consistent )

inline

Definition at line 106 of file set_cover_invariant.h.

◆ Select()

bool operations_research::SetCoverInvariant::Select	(	SubsetIndex	subset,
		ConsistencyLevel	consistency )

Definition at line 344 of file set_cover_invariant.cc.

◆ trace()

const std::vector< SetCoverDecision > & operations_research::SetCoverInvariant::trace ( ) const

inline

Definition at line 159 of file set_cover_invariant.h.

The documentation for this class was generated from the following files:

ortools/set_cover/set_cover_invariant.h
ortools/set_cover/set_cover_invariant.cc

Detailed Description

Public Types

Public Member Functions

Member Enumeration Documentation

◆ ConsistencyLevel

Constructor & Destructor Documentation

◆ SetCoverInvariant()

Member Function Documentation

◆ CheckConsistency()

◆ Clear()

◆ ClearRemovabilityInformation()

◆ ClearTrace()

◆ CompressTrace()

◆ ComputeCardinality()

◆ ComputeCoverageInFocus()

◆ ComputeIsRedundant()

◆ ComputeNumFreeElements()

◆ const_model()

◆ cost()

◆ CostOrLowerBound()

◆ coverage()

◆ Deselect()

◆ ExportSolutionAsProto()

◆ ImportSolutionFromProto()

◆ Initialize()

◆ is_cost_consistent()

◆ is_redundant()

◆ is_selected()

◆ LoadSolution()

◆ LoadTraceAndCoverage()

◆ LowerBound()

◆ model()

◆ newly_non_removable_subsets()

◆ newly_removable_subsets()

◆ num_coverage_le_1_elements()

◆ num_free_elements()

◆ num_uncovered_elements()

◆ Recompute()

◆ ReportLowerBound()

◆ Select()

◆ trace()