operations_research::sat::CpModelProtoWrapper Class Reference

This implement the implicit contract needed by the SatCnfReader class. More...

#include <sat_cnf_reader.h>

Public Member Functions
	CpModelProtoWrapper (CpModelProto *p)
void	SetSizeAndPostprocess (int num_variables, int num_slacks)
int	LiteralToRef (int signed_value)
void	AddConstraint (absl::Span< const int > clause, bool last_is_slack=false)
void	AddObjectiveTerm (int literal, int64_t value)
void	SetObjectiveOffset (int64_t offset)

Detailed Description

This implement the implicit contract needed by the SatCnfReader class.

Definition at line 90 of file sat_cnf_reader.h.

Constructor & Destructor Documentation

CpModelProtoWrapper()

operations_research::sat::CpModelProtoWrapper::CpModelProtoWrapper ( CpModelProto * p )

inlineexplicit

Definition at line 92 of file sat_cnf_reader.h.

Member Function Documentation

AddConstraint()

void operations_research::sat::CpModelProtoWrapper::AddConstraint ( absl::Span< const int > clause, bool last_is_slack = false )

inline

Definition at line 115 of file sat_cnf_reader.h.

AddObjectiveTerm()

void operations_research::sat::CpModelProtoWrapper::AddObjectiveTerm ( int literal, int64_t value )

inline

Definition at line 125 of file sat_cnf_reader.h.

LiteralToRef()

int operations_research::sat::CpModelProtoWrapper::LiteralToRef ( int signed_value )

inline

Definition at line 111 of file sat_cnf_reader.h.

SetObjectiveOffset()

void operations_research::sat::CpModelProtoWrapper::SetObjectiveOffset ( int64_t offset )

inline

Definition at line 131 of file sat_cnf_reader.h.

SetSizeAndPostprocess()

void operations_research::sat::CpModelProtoWrapper::SetSizeAndPostprocess ( int num_variables, int num_slacks )

inline

Definition at line 94 of file sat_cnf_reader.h.

---

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

• ortools/sat/sat_cnf_reader.h