Minisat::Model Class Reference

Represents a simple class for model storage. More...

#include <ogdf/external/Minisat.h>

Public Member Functions
	Model ()
virtual	~Model ()
bool	getValue (int var) const
	returns the value of the assignemt of a variable in the model More...
std::string	intToString (const int i)
void	printModel ()
void	setModel (Internal::Solver &S)
	sets the model to the model of minsat More...

Public Attributes
Internal::Solver::SolverStatus	solverStatus

Private Member Functions
void	reset ()

Private Attributes
std::vector< int >	m_vModel
	internal storage of a model by minisat More...

Detailed Description

Represents a simple class for model storage.

A model is a feasible assignment of variables.

Definition at line 155 of file Minisat.h.

Constructor & Destructor Documentation

Model()

Minisat::Model::Model ( )

inline

Definition at line 165 of file Minisat.h.

~Model()

virtual Minisat::Model::~Model ( )

inlinevirtual

Definition at line 167 of file Minisat.h.

Member Function Documentation

getValue()

bool Minisat::Model::getValue ( int  var ) const

inline

returns the value of the assignemt of a variable in the model

Definition at line 170 of file Minisat.h.

intToString()

std::string Minisat::Model::intToString ( const int  i )

inline

Definition at line 193 of file Minisat.h.

printModel()

void Minisat::Model::printModel ( )

inline

Definition at line 186 of file Minisat.h.

reset()

void Minisat::Model::reset ( )

inlineprivate

Definition at line 160 of file Minisat.h.

setModel()

void Minisat::Model::setModel ( Internal::Solver &  S )

inline

sets the model to the model of minsat

Definition at line 177 of file Minisat.h.

Member Data Documentation

m_vModel

std::vector<int> Minisat::Model::m_vModel

private

internal storage of a model by minisat

Definition at line 158 of file Minisat.h.

solverStatus

Internal::Solver::SolverStatus Minisat::Model::solverStatus

Definition at line 163 of file Minisat.h.

---

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

• include/ogdf/external/Minisat.h