PUBLIC

VLIndexC::VLIndexC(void) VLIndexC::VLIndexC(BooleanT) VLIndexC::VLIndexC(const VLIndexC &) VLIndexC::Copy(void) const VLIndexC::Add(const VLSymbC &,const T &) VLIndexC::Add(const VLExprC &,const T &) VLIndexC::Match(const VLExprC &,VLBindLst &,T &) const VLIndexC::Match(const VLSymbC &,VLBindLst &,T &) const VLIndexC::Match(const VLSymbC &,T &) const VLIndexC::operator[](const VLSymbC &) VLIndexC::operator[](const VLSymbC &) const VLIndexBaseC::Size(void) const VLIndexBaseC::Copy(void) const VLIndexBaseC::Empty(void) VLIndexBaseC::IsEmpty(void) const VLIndexBaseC::HasExpr(void) const VLIndexBaseC::Del(const VLSymbC &) VLIndexBaseC::BaseMatch(const VLSymbC &) const VLIndexBaseC::IsMember(const VLSymbC &) const VLIndexBaseC::IsMember(const VLSymbC &,VLBindLst &) 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

VLIndexC<class T>
Index of expressions.
include	"amma/Logic2/LIndex.hh"
User Level:	Default
Library:	VLIndex
Example:	exIndex.cc
Section:	Logic.Index
In Scope:	std

Parent Classes:

public VLIndexBaseC

VLListIndexC

VLIndexC()

Default constuctor.
Creates an invalid handle.

VLIndexC(BooleanT newBody)

Default constuctor.

VLIndexC(const VLIndexC<T> & oth)

Copy constuctor.
Copy the handle.

VLIndexC<T> Copy() const

Make a shallow copy of index.
Copy index itself but not the data or the keys.

BooleanT Add(const VLSymbC & cnd,const T & data)

Add a new item to the index.
Ret:False = Not new item.

BooleanT Add(const VLExprC & cnd,const T & data)

Add a new item to the index.
Ret:False = Not new item.

BooleanT Match(const VLExprC & sxpr,VLBindLst & bnd,T & data) const

Unify expression match.

BooleanT Match(const VLSymbC & symb,VLBindLst & bnd,T & data) const

Unify symbol match.

BooleanT Match(const VLSymbC & symb,T & data) const

Exact match !

T & operator[](const VLSymbC & cnd)

Index operator.

T operator[](const VLSymbC & cnd) const

Index operator.

int Size(void) const

Get number of items in the index.

VLIndexBaseC Copy() const

Make a shallow copy of index.
Copy index itself but not the data or the keys.

void Empty()

Empty index.

BooleanT IsEmpty() const

Is index empty ?

BooleanT HasExpr() const

Does index have any expressions in it.
For debuging only

BooleanT Del(const VLSymbC & cnd)

Delete an item to the index.
Ret:False = Not found.

RCWrapBaseC BaseMatch(const VLSymbC & symb) const

Exact match !

BooleanT IsMember(const VLSymbC & symb) const

Is symb in the index. ?

BooleanT IsMember(const VLSymbC & symb,VLBindLst & bnds) const

Is symb in the index. ?

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

Assignment.

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

Comparison operator.

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

VLCIndex & Body()

Direct access to body.

const VLCIndex & Body() const

Constant access to body.