operations_research::sat::SatCnfReader Class Reference

Detailed Description

Definition at line 145 of file sat_cnf_reader.h.

#include <sat_cnf_reader.h>

Public Member Functions
	SatCnfReader (bool wcnf_use_strong_slack=true)
	SatCnfReader (const SatCnfReader &)=delete
SatCnfReader &	operator= (const SatCnfReader &)=delete
void	InterpretCnfAsMaxSat (bool v)
bool	Load (const std::string &filename, LinearBooleanProblem *problem)
bool	Load (const std::string &filename, CpModelProto *problem)

Constructor & Destructor Documentation

SatCnfReader() [1/2]

operations_research::sat::SatCnfReader::SatCnfReader ( bool wcnf_use_strong_slack = true )

inlineexplicit

Definition at line 147 of file sat_cnf_reader.h.

SatCnfReader() [2/2]

operations_research::sat::SatCnfReader::SatCnfReader ( const SatCnfReader & )

delete

Member Function Documentation

InterpretCnfAsMaxSat()

void operations_research::sat::SatCnfReader::InterpretCnfAsMaxSat ( bool v )

inline

Definition at line 157 of file sat_cnf_reader.h.

Load() [1/2]

bool operations_research::sat::SatCnfReader::Load ( const std::string & filename, CpModelProto * problem )

inline

Definition at line 166 of file sat_cnf_reader.h.

Load() [2/2]

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

inline

Definition at line 160 of file sat_cnf_reader.h.

operator=()

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

delete

---

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

• ortools/sat/sat_cnf_reader.h