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<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:

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 ?