Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
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: