operations_research::sat::OpbReader Class Reference

#include <opb_reader.h>

Public Member Functions
	OpbReader ()=default
	OpbReader (const OpbReader &)=delete
	This type is neither copyable nor movable.
OpbReader &	operator= (const OpbReader &)=delete
bool	Load (const std::string &filename, LinearBooleanProblem *problem)
	Loads the given opb filename into the given problem.

Detailed Description

This class loads a file in pbo file format into a LinearBooleanProblem. The format is described here: http://www.cril.univ-artois.fr/PB12/format.pdf

Definition at line 36 of file opb_reader.h.

Constructor & Destructor Documentation

OpbReader() [1/2]

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

default

OpbReader() [2/2]

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

delete

This type is neither copyable nor movable.

Member Function Documentation

Load()

bool operations_research::sat::OpbReader::Load ( const std::string & filename, LinearBooleanProblem * problem )

inline

Loads the given opb filename into the given problem.

Definition at line 44 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