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...

Detailed Description

This implement the implicit contract needed by the SatCnfReader class.

Definition at line 90 of file sat_cnf_reader.h.

#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)

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: