PUBLIC

VLExprGeneratorC::VLExprGeneratorC(const VLExprTypeC &,const VLBindLst &) VLExprGeneratorC::VLExprGeneratorC(const VLExprTypeC &,const VLBindLst &,const VLMinTermC &) VLExprGeneratorC::VLExprGeneratorC(const VLExprTypeC &,const VLMinTermC &) VLExprGeneratorC::VLExprGeneratorC(const VLExprTypeC &) VLExprGeneratorC::VLExprGeneratorC(void) VLExprGeneratorC::VLExprGeneratorC(const VLExprGeneratorC &) VLExprGeneratorC::Reset(const VLExprTypeC &) VLExprGeneratorC::Reset(const VLExprTypeC &,const VLBindLst &) VLExprGeneratorC::Reset(const VLExprTypeC &,const VLBindLst &,const VLMinTermC &) VLExprGeneratorC::Reset(const VLExprTypeC &,const VLMinTermC &) VLExprGeneratorC::ExtractBndTypes(const VLExprC &,BooleanT) VLExprGeneratorC::ExtractBndTypes(const VLMinTermC &,BooleanT) VLExprGeneratorC::ExtractBndTypes(const VLBindLst &) VLExprGeneratorC::BuildPermIter(void) VLExprGeneratorC::AddArgs(const VLExprC &) VLExprGeneratorC::AddArg(IndexT,const VLSymbC &) VLExprGeneratorC::AddArg(const VLExprLabelC &,VLSymbC &) VLExprGeneratorC::First(void) VLExprGeneratorC::Next(void) VLExprGeneratorC::Data(void) VLExprGeneratorC::Data(void) const VLExprGeneratorC::Expr(void) VLExprGeneratorC::Expr(void) const VLExprGeneratorC::IsElm(void) const VLExprGeneratorC::Empty(void) VLExprGeneratorC::Dump(void) const VLExprGeneratorC::Invalidate(void)

VLExprGeneratorC
Expression generator.
include	"amma/Logic2/LExprGen.hh"
User Level:	Default
Library:	VLLearn
Example:	exIndex.cc
Section:	Logic.Learn
In Scope:	std

Comments:
This class takes two paramiters in its constructor. 1. Type of expression of interest. 2. A bind list, which is effectively a list of variables which can be used for arguments in the expression.

VLExprGeneratorC(const VLExprTypeC & EType,const VLBindLst & nExBnds)

Setup for a given expression type, taking possible paramiters fron nExBnds.

VLExprGeneratorC(const VLExprTypeC & EType,const VLBindLst & nExBnds,const VLMinTermC & nConds)

Setup for a given expression type, taking possible paramiters fron nExBnds & nConds.

VLExprGeneratorC(const VLExprTypeC & EType,const VLMinTermC & nConds)

Setup for a given expression type, taking possible paramiters fron nConds.

VLExprGeneratorC(const VLExprTypeC & EType)

Setup for an expression type, don't setup possible paramiters.

VLExprGeneratorC()

Default constructor.

VLExprGeneratorC(const VLExprGeneratorC & oth)

Copy constructor.

BooleanT Reset(const VLExprTypeC & eType)

Set generator to start using given setup.

BooleanT Reset(const VLExprTypeC & eType,const VLBindLst & nExBnds)

Set generator to start using given setup.

BooleanT Reset(const VLExprTypeC & eType,const VLBindLst & nExBnds,const VLMinTermC & nConds)

Set generator to start using given setup.

BooleanT Reset(const VLExprTypeC & eType,const VLMinTermC & nConds)

Set generator to start using given setup.

void ExtractBndTypes(const VLExprC & Expr,BooleanT Bound = False)

Extract possible binds from Expr.

void ExtractBndTypes(const VLMinTermC & Cond,BooleanT Bound = False)

Extract possible binds from Cond.

void ExtractBndTypes(const VLBindLst & Bnds)

Extract possible binds from Bnds.

void BuildPermIter(void)

Build permutation iterator from Extracted data.
This MUST be called before First(), if your not using the automatic setups, i.e. using AddArg() funcs.

BooleanT AddArgs(const VLExprC & Expr)

Use arguments from Expr as possible values each of the
generated arguments.

BooleanT AddArg(IndexT arg,const VLSymbC & val)

Add Val as a possible value for Arg.
Carefull Arg is NOT check for range !!

BooleanT AddArg(const VLExprLabelC & ArgLab,VLSymbC & Val)

Add Val as a possible value for ArgLab.

BooleanT First(void)

Goto first permutation.
Ret: False=None.

BooleanT Next(void)

Goto next permutation.
Ret: False=None.

VLSymbC & Data(void)

Get symbol.

const VLSymbC & Data(void) const

Get Constant symbol

VLExprC & Expr(void)

Get expression.

const VLExprC & Expr(void) const

Get constant expression.

BooleanT IsElm(void) const

Is an Element ?

void Empty(void)

Empty LExprGenerator of all settings.

void Dump(void) const

Dump contents of PermIter to stdout.

void Invalidate(void)

Force IsElm() to return invalid.