PUBLIC

VLEvalStack::VLEvalStack(const StateT &,VLBindLst &,const ExIter &) VLEvalStack::VLEvalStack(const VLEvalStack &) VLEvalStack::State(void) const VLEvalStack::BndNext(void) VLEvalStack::CheckIt(void) VLEvalStack::Next(void) VLEvalStack::First(void) VLEvalStackBase::Binds(void) const VLEvalStackBase::Unbind(VLBindLst::BindMark) VLEvalStackBase::GetMark(void) VLEvalStackBase::IsElm(void) const VLEvalStackBase::Dump(void) const

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

Parent Classes:

public VLEvalStackBase

const StateT & state;

State used in evaluation.

ExIter expr;

Current expression.

StackG> stack;

Processing stack.

VLEvalStack(const StateT & nState,VLBindLst & nBnd,const ExIter & nStart)

Constructor.

VLEvalStack(const VLEvalStack<ExIter,StateT> & Oth)

Copy constructor.

const StateT & State(void) const

State operators.

BooleanT BndNext(void)

Set up new bindings after match failed.

BooleanT CheckIt(void)

BooleanT Next(void)

BooleanT First(void)

VLBindLst & Binds(void) const

Access bind list.

BooleanT Unbind(VLBindLst::BindMark aBM)

Unbind to mark.

VLBindLst::BindMark GetMark(void)

Get mark in current bind set.

BooleanT IsElm(void) const

At valid element ?

void Dump(void) const

Dump state to stdout.