Minisat::TrailIterator Class Reference

#include <SolverTypes.h>

Collaboration diagram for Minisat::TrailIterator:

Public Member Functions
	TrailIterator (const Lit *_lits)
void	operator++ ()
Lit	operator* () const
bool	operator== (const TrailIterator &ti) const
bool	operator!= (const TrailIterator &ti) const

Private Attributes
const Lit *	lits

Detailed Description

Definition at line 308 of file SolverTypes.h.

Constructor & Destructor Documentation

Minisat::TrailIterator::TrailIterator ( const Lit *  _lits )

inline

Definition at line 311 of file SolverTypes.h.

: lits(_lits){}

Member Function Documentation

bool Minisat::TrailIterator::operator!= ( const TrailIterator &  ti ) const

inline

Definition at line 317 of file SolverTypes.h.

{ return lits != ti.lits; }

Lit Minisat::TrailIterator::operator* ( ) const

inline

Definition at line 314 of file SolverTypes.h.

{ return *lits; }

void Minisat::TrailIterator::operator++ ( )

inline

Definition at line 313 of file SolverTypes.h.

{ lits++; }

bool Minisat::TrailIterator::operator== ( const TrailIterator &  ti ) const

inline

Definition at line 316 of file SolverTypes.h.

{ return lits == ti.lits; }

Field Documentation

const Lit* Minisat::TrailIterator::lits

private

Definition at line 309 of file SolverTypes.h.

---

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

• SolverTypes.h