PUBLIC

VLDeciListC::VLDeciListC(void) VLDeciListC::VLDeciListC(const VLSpaceDiffC &) VLDeciListC::VLDeciListC(const VLDeciListC &) VLDeciListC::AddExample(const VLSpaceC &,const VLSymbC &,BooleanT) VLDeciListC::Precondition(const VLMinTermC &,const VLBindLst &,VLMinTermSOP &) VLDeciListC::ListRules(const VLMinTermC &,const VLBindLst &) VLDeciListC::ListRules(void) VLDeciListC::DumpRules(ostream &) const VLDeciListC::Dump(ostream &) const VLDeciListC::ActTempl(void) VLDeciListC::Copy(void) const VLDeciListC::Apply(const VLSpaceC &) RCHandleC::IsValid(void) const RCHandleC::IsValidObject(void) const RCHandleC::operator=(const RCHandleC &) RCHandleC::operator==(const RCHandleC &) const RCHandleC::operator!=(const RCHandleC &) const RCHandleC::Hash(void) const RCHandleC::IsConst(void) const RCHandleC::IsNotConst(void) const RCHandleC::SetConst(void) const RCHandleC::Invalidate(void) RCHandleC::Body(void) RCHandleC::Body(void) const

VLDeciListC
Decision List.
include	"amma/Logic2/DeciList.hh"
User Level:	Default
Library:	VLLearn
Example:	exIndex.cc
Section:	Logic.Learn
In Scope:	std

Parent Classes:

public RCHandleC<class Bod>

VLDeciListC()

Default constructor
Creates an invalid handle.

VLDeciListC(const VLSpaceDiffC & eng)

Constructor.

VLDeciListC(const VLDeciListC & oth)

Copy constructor.

BooleanT AddExample(const VLSpaceC & example,const VLSymbC & Deci,BooleanT AddTrueEx = False)

Add an example in the form of a situation.
Use SDiff to find the difference difference between states, See class and its children for details. The decision value 'Deci' is the correct result.

If AddTrueEx is True, then add example regardless if it is already handled correctly of not. The default is to only add examples when the predicted and given results don't match, though this slows learning a little it prevents excessive numbers of examples accumulating in the long run.

Returns TRUE if decision list is changed.

BooleanT Precondition(const VLMinTermC & PostCond,const VLBindLst & Bnds,VLMinTermSOP & Result)

Find precondition for first decision resulting in PostCond, with binds Bnds.

VLRuleListC ListRules(const VLMinTermC & PostCond,const VLBindLst & Bnds)

List a series of rule with give post condition.

VLRuleListC ListRules()

List all rules.

void DumpRules(ostream & to) const

Dump to stdout.

void Dump(ostream & to) const

Dump to stdout.

VLSymbC & ActTempl()

Access action template.

VLDeciListC Copy() const

Make a copy.

VLSymbC Apply(const VLSpaceC & dat)

Apply transformation.

BooleanT IsValid() const

Check its a valid handle.

BooleanT IsValidObject() const

Check its a valid handle, and that the object is pointed to is also valid.

RCHandleC<VLDeciListBodyC> & operator=(const RCHandleC<VLDeciListBodyC> & oth)

Assignment.

BooleanT operator==(const RCHandleC<VLDeciListBodyC> & oth) const

Comparison operator.

BooleanT operator!=(const RCHandleC<VLDeciListBodyC> & oth) const

Comparison operator.

UIntT Hash() const

Hash function.x

BooleanT IsConst() const

Is object constant ?

BooleanT IsNotConst() const

Is object not constant ?

void SetConst(void) const

Lock the object.
This is const as a convience though it actual modified the object, often object you wish to ensure are constant already have const set. protected:

void Invalidate()

Turn this into an invalid handle.

VLDeciListBodyC & Body()

Direct access to body.

const VLDeciListBodyC & Body() const

Constant access to body.