operations_research::sat::LinearBooleanProblemWrapper Class Reference

Detailed Description

Definition at line 38 of file sat_cnf_reader.h.

#include <sat_cnf_reader.h>

Public Member Functions
	LinearBooleanProblemWrapper (LinearBooleanProblem *p)
void	SetSizeAndPostprocess (int num_variables, int num_slacks)
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

LinearBooleanProblemWrapper()

operations_research::sat::LinearBooleanProblemWrapper::LinearBooleanProblemWrapper ( LinearBooleanProblem * p )

inlineexplicit

Definition at line 40 of file sat_cnf_reader.h.

Member Function Documentation

AddConstraint()

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

inline

Definition at line 61 of file sat_cnf_reader.h.

AddObjectiveTerm()

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

inline

Definition at line 74 of file sat_cnf_reader.h.

SetObjectiveOffset()

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

inline

Definition at line 80 of file sat_cnf_reader.h.

SetSizeAndPostprocess()

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

inline

Definition at line 46 of file sat_cnf_reader.h.

---

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

• ortools/sat/sat_cnf_reader.h