operations_research::sat::LinearModel Class Reference

Detailed Description

Definition at line 29 of file linear_model.h.

#include <linear_model.h>

Public Member Functions
	LinearModel (const CpModelProto &model_proto)
const CpModelProto &	model_proto () const
const std::vector< bool > &	ignored_constraints () const
const std::vector< ConstraintProto > &	additional_constraints () const
int	num_ignored_constraints () const
int	num_exactly_ones () const
int	num_full_encodings () const
int	num_element_encodings () const

Constructor & Destructor Documentation

LinearModel()

operations_research::sat::LinearModel::LinearModel ( const CpModelProto & model_proto )

explicit

Definition at line 82 of file linear_model.cc.

Member Function Documentation

additional_constraints()

const std::vector< ConstraintProto > & operations_research::sat::LinearModel::additional_constraints ( ) const

inline

Definition at line 41 of file linear_model.h.

ignored_constraints()

const std::vector< bool > & operations_research::sat::LinearModel::ignored_constraints ( ) const

inline

Definition at line 36 of file linear_model.h.

model_proto()

const CpModelProto & operations_research::sat::LinearModel::model_proto ( ) const

inline

Definition at line 33 of file linear_model.h.

num_element_encodings()

int operations_research::sat::LinearModel::num_element_encodings ( ) const

inline

Definition at line 48 of file linear_model.h.

num_exactly_ones()

int operations_research::sat::LinearModel::num_exactly_ones ( ) const

inline

Definition at line 46 of file linear_model.h.

num_full_encodings()

int operations_research::sat::LinearModel::num_full_encodings ( ) const

inline

Definition at line 47 of file linear_model.h.

num_ignored_constraints()

int operations_research::sat::LinearModel::num_ignored_constraints ( ) const

inline

Definition at line 45 of file linear_model.h.

---

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

• ortools/sat/linear_model.h
• ortools/sat/linear_model.cc