operations_research::sat::OpbReader Class Reference

Detailed Description

Definition at line 46 of file opb_reader.h.

#include <opb_reader.h>

Public Member Functions
	OpbReader ()=default
	OpbReader (const OpbReader &)=delete
OpbReader &	operator= (const OpbReader &)=delete
int	num_variables () const
bool	model_is_supported () const
ABSL_MUST_USE_RESULT bool	LoadAndValidate (const std::string &filename, CpModelProto *model)

Constructor & Destructor Documentation

OpbReader() [1/2]

operations_research::sat::OpbReader::OpbReader ( )

default

OpbReader() [2/2]

operations_research::sat::OpbReader::OpbReader ( const OpbReader & )

delete

Member Function Documentation

LoadAndValidate()

ABSL_MUST_USE_RESULT bool operations_research::sat::OpbReader::LoadAndValidate ( const std::string & filename, CpModelProto * model )

inline

Definition at line 62 of file opb_reader.h.

model_is_supported()

bool operations_research::sat::OpbReader::model_is_supported ( ) const

inline

Definition at line 58 of file opb_reader.h.

num_variables()

int operations_research::sat::OpbReader::num_variables ( ) const

inline

Definition at line 54 of file opb_reader.h.

operator=()

OpbReader & operations_research::sat::OpbReader::operator= ( const OpbReader & )

delete

---

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

• ortools/sat/opb_reader.h