Open
Graph Drawing
Framework

 v. 2022.02 (Dogwood)
 

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 160 of file Minisat.h.

Constructor & Destructor Documentation

◆ Model()

Minisat::Model::Model ( )
inline

Definition at line 174 of file Minisat.h.

◆ ~Model()

virtual Minisat::Model::~Model ( )
inlinevirtual

Definition at line 175 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 178 of file Minisat.h.

◆ intToString()

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

Definition at line 206 of file Minisat.h.

◆ printModel()

void Minisat::Model::printModel ( )
inline

Definition at line 197 of file Minisat.h.

◆ reset()

void Minisat::Model::reset ( )
inlineprivate

Definition at line 166 of file Minisat.h.

◆ setModel()

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

sets the model to the model of minsat

Definition at line 186 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 164 of file Minisat.h.

◆ solverStatus

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

Definition at line 172 of file Minisat.h.


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