operations_research::sat::ModelCopy Class Reference

Detailed Description

Definition at line 41 of file cp_model_copy.h.

#include <cp_model_copy.h>

Public Member Functions
	ModelCopy (PresolveContext *context, LratProofHandler *lrat_proof_handler=nullptr)
bool	ImportAndSimplifyConstraints (const CpModelProto &in_model, bool first_copy=false, std::function< bool(int)> active_constraints=nullptr)
void	ImportVariablesAndMaybeIgnoreNames (const CpModelProto &in_model)
void	CreateVariablesFromDomains (absl::Span< const Domain > domains)
absl::Span< const int64_t >	InternalIntervalMapping () const

Constructor & Destructor Documentation

ModelCopy()

operations_research::sat::ModelCopy::ModelCopy ( PresolveContext * context, LratProofHandler * lrat_proof_handler = nullptr )

explicit

Definition at line 62 of file cp_model_copy.cc.

Member Function Documentation

CreateVariablesFromDomains()

void operations_research::sat::ModelCopy::CreateVariablesFromDomains

(

absl::Span< const Domain >

domains

)

Definition at line 85 of file cp_model_copy.cc.

ImportAndSimplifyConstraints()

bool operations_research::sat::ModelCopy::ImportAndSimplifyConstraints	(	const CpModelProto &	in_model,
		bool	first_copy = false,
		std::function< bool(int)>	active_constraints = nullptr )

Definition at line 96 of file cp_model_copy.cc.

ImportVariablesAndMaybeIgnoreNames()

void operations_research::sat::ModelCopy::ImportVariablesAndMaybeIgnoreNames

(

const CpModelProto &

in_model

)

Definition at line 70 of file cp_model_copy.cc.

InternalIntervalMapping()

absl::Span< const int64_t > operations_research::sat::ModelCopy::InternalIntervalMapping ( ) const

inline

Definition at line 75 of file cp_model_copy.h.

---

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

• ortools/sat/cp_model_copy.h
• ortools/sat/cp_model_copy.cc