PUBLIC

VLBNPIndexIterC::VLBNPIndexIterC(const VLBNPIndexC &,const VLMinTermC &) VLBNPIndexIterC::VLBNPIndexIterC(const VLBNPIndexC &,const VLSymbC &) VLBNPIndexIterC::VLBNPIndexIterC(const VLBNPIndexIterC &) VLBNPIndexIterC::Data(void) VLBNPIndexIterC::Data(void) const VLBNPIndexIterC::First(void) VLBNPIndexIterC::Next(void) VLBNPIndexIterC::IsElm(void) const VLBNPIndexIterC::CheckValid(void)

VLBNPIndexIterC<class T>
Branching Neg/Pos index iterator.
include	"amma/Logic2/BNPIndexIter.hh"
User Level:	Default
Library:	VLIndex
Example:	exIndex.cc
Section:	Logic.Index
In Scope:	std

Variables:

VLMinTermPartIter mtiter;

Iterate through minterms.

VLFiltIndexIterC iter;

Filtered index handle.

HSetC ndone;

Only do each entry once.

HSetC pdone;

Only do each entry once.

VLBNPIndexC ind;

Index handle.

T * data;

Short cut to data.

VLBNPIndexIterC(const VLBNPIndexC<T> & index,const VLMinTermC & cond)

Construct from an index.

VLBNPIndexIterC(const VLBNPIndexC<T> & index,const VLSymbC & symb)

Construct from an index.

VLBNPIndexIterC(const VLBNPIndexIterC<T> &)

Copy constructor.

T & Data()

Access data.

const T & Data() const

Access data.

BooleanT First()

Goto first item.

BooleanT Next()

goto next item.

BooleanT IsElm() const

At valid entry ?

BooleanT CheckValid()

Goto next entry if not on valid one else return FALSE.