PUBLIC

VLDeciExprGenC::VLDeciExprGenC(const VLBindLst &,const VLMinTermC &,const VLTypeIndexC &) VLDeciExprGenC::First(void) VLDeciExprGenC::Next(void) VLDeciExprGenC::IsElm(void) const VLDeciExprGenC::Data(void) VLDeciExprGenC::Expr(void)

VLDeciExprGenC
Iterate through possible expressions.
include	"amma/Logic2/LDeciExprGen.hh"
User Level:	Default
Library:	VLLearn
Example:	exIndex.cc
Section:	Logic.Learn
In Scope:	std

Comments:
The expressions generated use values for 'bnds'. This is for mainly for use in 'LSpaceDiffMV.cc'

HSetC used;

ind	Index of types of intererest.

Set of use expresion types.

const VLBindLst & bnds;

ind	Index of types of intererest.

const VLMinTermC & prevCond;

ind	Index of types of intererest.

VLBndTypeSearchC bTS;

ind	Index of types of intererest.

Search though TypeInd for Expression types that involve one or more values from 'bnds' and 'prevCond'. These are then fed into eGen to generate actual expression values.

VLExprGeneratorC eGen;

ind	Index of types of intererest.

Generate possible expressions of a particular type.

VLDeciExprGenC(const VLBindLst & bnds,const VLMinTermC & cond,const VLTypeIndexC & ind)

Constructor.

ind	Index of types of intererest.

BooleanT First()

Goto first solution.

ind	Index of types of intererest.

BooleanT Next()

Goto next solution.

ind	Index of types of intererest.

BooleanT IsElm() const

At valid solution.

ind	Index of types of intererest.

VLSymbC & Data()

Access last expression generated.

ind	Index of types of intererest.

VLExprC & Expr()

Access last expression generated.

ind	Index of types of intererest.