Minisat::ClauseIterator Class Reference

#include <SolverTypes.h>

Collaboration diagram for Minisat::ClauseIterator:

Public Member Functions
	ClauseIterator (const ClauseAllocator &_ca, const CRef *_crefs)
void	operator++ ()
const Clause &	operator* () const
bool	operator== (const ClauseIterator &ci) const
bool	operator!= (const ClauseIterator &ci) const

Private Attributes
const ClauseAllocator &	ca
const CRef *	crefs

Detailed Description

Definition at line 293 of file SolverTypes.h.

Constructor & Destructor Documentation

Minisat::ClauseIterator::ClauseIterator ( const ClauseAllocator &  _ca, const CRef *  _crefs  )

inline

Definition at line 297 of file SolverTypes.h.

: ca(_ca), crefs(_crefs){}

Member Function Documentation

bool Minisat::ClauseIterator::operator!= ( const ClauseIterator &  ci ) const

inline

Definition at line 304 of file SolverTypes.h.

{ return crefs != ci.crefs; }

const Clause& Minisat::ClauseIterator::operator* ( ) const

inline

Definition at line 300 of file SolverTypes.h.

{ return ca[*crefs]; }

void Minisat::ClauseIterator::operator++ ( )

inline

Definition at line 299 of file SolverTypes.h.

{ crefs++; }

bool Minisat::ClauseIterator::operator== ( const ClauseIterator &  ci ) const

inline

Definition at line 303 of file SolverTypes.h.

{ return crefs == ci.crefs; }

Field Documentation

const ClauseAllocator& Minisat::ClauseIterator::ca

private

Definition at line 294 of file SolverTypes.h.

const CRef* Minisat::ClauseIterator::crefs

private

Definition at line 295 of file SolverTypes.h.

---

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

• SolverTypes.h