PUBLIC

VLModelRuleC::VLModelRuleC(void) VLModelRuleC::VLModelRuleC(BooleanT) VLModelRuleC::Body(void) VLModelRuleC::Body(void) const VLModelRuleC::Theory(void) VLModelRuleC::Theory(void) const VLModelRuleC::AddRule(const VLRuleC &) VLModelRuleC::DelRule(const VLRuleC &) VLModelRuleC::Replace(const VLRuleC &,const VLRuleC &) DPModelC::Body(void) DPModelC::Body(void) const DPModelC::Apply(const ActionT &,const StateT &) const DPModelC::Invert(const DeltaT &) DPModelC::Invert(const StateT &,const DeltaT &) DPEntityC::operator=(const DPEntityC &) DPEntityC::Body(void) DPEntityC::Body(void) const DPEntityC::Save(ostream &) const RCHandleAC::Abstract(void) RCHandleAC::IsHandleType(const DT &) const RCHandleAC::CheckHandleType(const DT &) const RCHandleAC::Save(ostream &) const RCHandleAC::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

VLModelRuleC
Simple Rule Model.
include	"amma/Logic2/RuleModel.hh"
User Level:	Default
Library:	VLModel
Example:	exIndex.cc
Section:	Logic.Model
In Scope:	std

Parent Classes:

public DPModelC<class ActionT,class StateT,class DeltaT,class PrecondT>

VLModelRuleC()

Default constructor.

ind	Index of types of intererest.

Creates an invalid handle.

VLModelRuleC(BooleanT makeBody)

Constructor.

ind	Index of types of intererest.

VLModelRuleBodyC & Body()

Access body.

ind	Index of types of intererest.

const VLModelRuleBodyC & Body() const

Access body.

ind	Index of types of intererest.

VLTheoryC & Theory()

Access theory.

ind	Index of types of intererest.

const VLTheoryC & Theory() const

Access theory.

ind	Index of types of intererest.

BooleanT AddRule(const VLRuleC & rule)

ind	Index of types of intererest.

Add new rule to theory.

BooleanT DelRule(const VLRuleC & rule)

ind	Index of types of intererest.

Remove rule from theory.

BooleanT Replace(const VLRuleC & oldRule,const VLRuleC & newRule)

ind	Index of types of intererest.

Quick rule update. NB. The old rule may not be removed, it may only be updated to match the new one.

DPModelBodyC<VLSymbC,VLSpaceC,VLMinTermC,VLMinTermC> & Body()

Access body.

ind	Index of types of intererest.

const DPModelBodyC<VLSymbC,VLSpaceC,VLMinTermC,VLMinTermC> & Body() const

Access body.

ind	Index of types of intererest.

VLMinTermC Apply(const VLSymbC & act,const VLSpaceC & in) const

Find the change in state is action is applied to in.

ind	Index of types of intererest.

DListC<DPModelStepC<VLSymbC,VLMinTermC,VLMinTermC>> Invert(const VLMinTermC & delta)

Find a list of possible actions that will lead to a change.

ind	Index of types of intererest.

Returns a list of actions associated with a confidence. 0=No chance. 1=Definitly will.

DListC<DPModelStepC<VLSymbC,VLMinTermC,VLMinTermC>> Invert(const VLSpaceC & at,const VLMinTermC & delta)

Find a list of possible actions that will lead to a change in given state.

ind	Index of types of intererest.

Returns a list of actions associated with a confidence. 0=No chance. 1=Definitly will.

const DPEntityC & operator=(const DPEntityC & dat)

Assignment.

DPEntityBodyC & Body()

Access body.

const DPEntityBodyC & Body() const

Access body.

BooleanT Save(ostream & out) const

RCAbstractC Abstract()

Create an abstract handle to this object.

BooleanT IsHandleType(const DT &) const

Is handle of given type ?

void CheckHandleType(const DT & dummy) const

Check handle type. Throw an expception if not.

BooleanT Save(ostream & out) const

Save to ostream.

RCHandleAC<DPEntityBodyC> Copy() const

Creat a deep copy of this object.
protected:

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

Assignment.

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

Comparison operator.

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

DPEntityBodyC & Body()

Direct access to body.

const DPEntityBodyC & Body() const

Constant access to body.