PUBLIC

VLModelDLActionC::VLModelDLActionC(void) VLModelDLActionC::VLModelDLActionC(const VLSymbC &) VLModelDLActionC::Action(void) const VLModelDLActionC::Decisions(void) VLModelDLActionC::Examples(void) VLModelDLActionC::Model(void) VLModelDLActionC::AddExample(const VLSpaceC &,const VLSymbC &,const VLMinTermC &) VLModelDLActionC::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

VLModelDLActionC
Action model.
include	"amma/Logic2/DLModelAction.hh"
User Level:	Default
Library:	VLModel
Example:	exIndex.cc
Section:	Logic.Model
In Scope:	std

Parent Classes:

public RCHandleC<class Bod>

VLModelDLActionC()

Default constructor.

ind	Index of types of intererest.

Creates an invalid handle !

VLModelDLActionC(const VLSymbC & act)

Constructor.

ind	Index of types of intererest.

const VLSymbC & Action() const

Access action.

ind	Index of types of intererest.

VLExprSetC & Decisions()

Access decision set.

ind	Index of types of intererest.

DListC<Tuple3C<VLSpaceC,VLSymbC,VLMinTermC>> & Examples()

Access examples.

ind	Index of types of intererest.

VLDeciListC & Model()

Access model

ind	Index of types of intererest.

BooleanT AddExample(const VLSpaceC & space,const VLSymbC & act,const VLMinTermC & delta)

Add example.

ind	Index of types of intererest.

VLModelDLActionC Copy() const

Copy it.

ind	Index of types of intererest.

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

Assignment.

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

Comparison operator.

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

VLModelDLActionBodyC & Body()

Direct access to body.

const VLModelDLActionBodyC & Body() const

Constant access to body.