SatCnfReader

Detailed Description

Definition at line 123 of file sat_cnf_reader.h.

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

Constructor & Destructor Documentation

SatCnfReader()

SatCnfReader ( )

inline

Definition at line 125 of file sat_cnf_reader.h.

Member Function Documentation

InterpretCnfAsMaxSat()

void InterpretCnfAsMaxSat ( bool  v )

inline

Definition at line 129 of file sat_cnf_reader.h.

Load() [1/2]

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

inline

Definition at line 138 of file sat_cnf_reader.h.

Load() [2/2]

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

inline

Definition at line 132 of file sat_cnf_reader.h.

---

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

• sat_cnf_reader.h