operations_research::sat::ObjectiveEncoder Class Reference

Detailed Description

Definition at line 232 of file encoding.h.

#include <encoding.h>

Public Member Functions
	ObjectiveEncoder (Model *model)
bool	ProcessCore (absl::Span< const Literal > core, Coefficient min_weight, Coefficient gap, std::string *info)
void	AddBaseNode (EncodingNode node)
const std::vector< EncodingNode * > &	nodes () const
std::vector< EncodingNode * > *	mutable_nodes ()

Constructor & Destructor Documentation

ObjectiveEncoder()

operations_research::sat::ObjectiveEncoder::ObjectiveEncoder ( Model * model )

inlineexplicit

Definition at line 234 of file encoding.h.

Member Function Documentation

AddBaseNode()

void operations_research::sat::ObjectiveEncoder::AddBaseNode ( EncodingNode node )

inline

Definition at line 245 of file encoding.h.

mutable_nodes()

std::vector< EncodingNode * > * operations_research::sat::ObjectiveEncoder::mutable_nodes ( )

inline

Definition at line 252 of file encoding.h.

nodes()

const std::vector< EncodingNode * > & operations_research::sat::ObjectiveEncoder::nodes ( ) const

inline

Definition at line 251 of file encoding.h.

ProcessCore()

bool operations_research::sat::ObjectiveEncoder::ProcessCore	(	absl::Span< const Literal >	core,
		Coefficient	min_weight,
		Coefficient	gap,
		std::string *	info )

Definition at line 588 of file encoding.cc.

---

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

• ortools/sat/encoding.h
• ortools/sat/encoding.cc