PUBLIC

VLBndTypeSearchC::VLBndTypeSearchC(const VLBindLst &,const VLTypeIndexC &) VLBndTypeSearchC::VLBndTypeSearchC(const VLBndTypeSearchC &) VLBndTypeSearchC::First(void) VLBndTypeSearchC::Next(void) VLBndTypeSearchC::IsElm(void) const VLBndTypeSearchC::ExprType(void) const VLBndTypeSearchC::BindUsed(void) const VLBndTypeSearchC::CheckFirst(void)

VLBndTypeSearchC
Search though TypeInd for Expression types that involve one or more values from bnds.
include	"amma/Logic2/LBndTypeSearch.hh"
User Level:	Default
Library:	Logic2
Example:	exIndex.cc
Section:	Logic.Core
In Scope:	std

Variables:

VLTypeIndexC typeInd;

const VLBindLst & bnds;

VLBindLstIter bLIter;

HSetIterC tSIter;

VLBndTypeSearchC(const VLBindLst & bnds,const VLTypeIndexC & typeInd)

Constructor.

VLBndTypeSearchC(const VLBndTypeSearchC & Oth)

Copy constructor.

BooleanT First(void)

Goto first.

BooleanT Next(void)

Goto next.

BooleanT IsElm(void) const

Finish yet ?

const VLExprTypeC & ExprType(void) const

Get the expression type.

const VLBind & BindUsed(void) const

Get the binding used.

BooleanT CheckFirst(void)