PUBLIC

VLEvalStackPnt::VLEvalStackPnt(void) VLEvalStackPnt::VLEvalStackPnt(const VLEvalStackPnt &) VLEvalStackPnt::VLEvalStackPnt(VLBindLst::BindMark,VLSymbIterC,const ExIter &) VLEvalStackPnt::operator=(const VLEvalStackPnt &)

VLEvalStackPnt<class ExIter,class StateT>
Evalutate a minterm iteration point.
include	"amma/Logic2/LEvalStack.hh"
User Level:	Default
Library:	VLIndex
Example:	exIndex.cc
Section:	Logic.Index
In Scope:	std

Variables:

VLBindLst::BindMark bound;

Stack marker at start of current term.

VLSymbIterC bndIter;

Binding iterator.

ExIter expr;

Expression iterator.

VLEvalStackPnt(void)

Default constructor.

VLEvalStackPnt(const VLEvalStackPnt & Oth)

Copy constructor.

VLEvalStackPnt(VLBindLst::BindMark aBM,VLSymbIterC nBndIter,const ExIter & nIter)

Make a new one.

VLEvalStackPnt<ExIter,StateT> & operator=(const VLEvalStackPnt<ExIter,StateT> & Oth)

Assigment.