PUBLIC

VLDeciListElemC::VLDeciListElemC(void) VLDeciListElemC::VLDeciListElemC(const VLMinTermC &,const VLSymbC &,const VLSpaceC &) VLDeciListElemC::VLDeciListElemC(const VLMinTermC &,const VLSymbC &) VLDeciListElemC::Decision(void) const VLDeciListElemC::Condition(void) const VLDeciListElemC::Condition(void) VLDeciListElemC::IsNewExample(const VLSpaceC &,int) const VLDeciListElemC::AddExample(const VLSpaceC &) VLDeciListElemC::Examples(void) VLDeciListElemC::IsPreCondValid(void) const VLDeciListElemC::SetPreCondValid(BooleanT) VLDeciListElemC::PreCond(void) VLDeciListElemC::PreCond(void) const VLDeciListElemC::PassCond(void) VLDeciListElemC::PassCond(void) const VLDeciListElemC::GetName(void) const VLDeciListElemC::Dump(ostream &) const VLDeciListElemC::Copy(void) const 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

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

Parent Classes:

public RCHandleC<class Bod>

VLDeciListElemC()

Default constructor.

VLDeciListElemC(const VLMinTermC & Cond,const VLSymbC & D,const VLSpaceC & nexam)

Constructor

VLDeciListElemC(const VLMinTermC & Cond,const VLSymbC & D)

Constructor

const VLSymbC & Decision(void) const

Get the decision value.

const VLMinTermC & Condition() const

Condition for element in list.

VLMinTermC & Condition()

Condition for element in list.

BooleanT IsNewExample(const VLSpaceC & st,int Thres = -1) const

Test is we have a similar example already.

void AddExample(const VLSpaceC & sp)

Add a new example.

VLSpaceSetC & Examples(void)

Get a set of examples for this decision.

BooleanT IsPreCondValid(void) const

Is the cached precondition valid ?

void SetPreCondValid(BooleanT Val)

Set the precondition flag to valid.

VLMinTermSOP & PreCond()

Get the precondition for this decision.

const VLMinTermSOP & PreCond() const

Get the precondition for this decision.

VLMinTermSOP & PassCond()

Get the condition needed to pass to the next decision.

const VLMinTermSOP & PassCond() const

Get the condition needed to pass to the next decision.

StringC GetName() const

Get full name of object.

void Dump(ostream & out) const

Dump in a human readable format to stream.

VLDeciListElemC Copy() const

Make a copy.

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<VLDeciListElemBodyC> & operator=(const RCHandleC<VLDeciListElemBodyC> & oth)

Assignment.

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

Comparison operator.

BooleanT operator!=(const RCHandleC<VLDeciListElemBodyC> & 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.

VLDeciListElemBodyC & Body()

Direct access to body.

const VLDeciListElemBodyC & Body() const

Constant access to body.