PUBLIC

VLSubstSetC::VLSubstSetC(void) VLSubstSetC::VLSubstSetC(BooleanT) VLSubstSetC::VLSubstSetC(const VLBindLst &) VLSubstSetC::Body(void) VLSubstSetC::Body(void) const VLSubstSetC::Add(const VLBindLst &) VLSubstSetC::ReverseAdd(const VLBindLst &) VLSubstSetC::Add(const VLSymbC &,const VLSymbC &) VLSubstSetC::AddRec(const VLSymbC &,const VLSymbC &) VLSubstSetC::Del(const VLSymbC &) VLSubstSetC::Subst(const VLSymbC &) const VLSubstSetC::IsSubst(const VLSymbC &) const VLSubstSetC::Dump(void) const VLSubstBaseC::SubIsMember(const VLSymbC &) const VLSubstBaseC::SubGet(const VLSymbC &) const VLSubstBaseC::SubAdd(const VLSymbC &,const VLSymbC &) VLSubstBaseC::Body(void) VLSubstBaseC::Body(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

VLSubstSetC
Set of substitutions, will do expression matching.
include	"amma/Logic2/LSubst.hh"
User Level:	Default
Library:	Logic2
Example:	exIndex.cc
Section:	Logic.Core
In Scope:	std

Parent Classes:

public VLSubstBaseC

VLSubstSetC()

Default constructor.
Will create an invalid handle.

VLSubstSetC(BooleanT makebod)

Constructor.

VLSubstSetC(const VLBindLst & oth)

Construct from bind list, see Add(VLBindLst &).

VLSubstSet & Body()

Access body.

const VLSubstSet & Body() const

Access body.

void Add(const VLBindLst & oth)

Add a set of subsitutions that convert Valiables -> Values

void ReverseAdd(const VLBindLst & oth)

Add a set of subsitutions that convert Values -> Valiables

BooleanT Add(const VLSymbC & who,const VLSymbC & with)

Add a subsitution.

BooleanT AddRec(const VLSymbC & who,const VLSymbC & with)

Add a subsitution, 'Who' for 'With'

void Del(const VLSymbC & who)

Remove subsitution for 'Who'.

VLSymbC Subst(const VLSymbC & which) const

Run which through subsititions, if none return Which.

BooleanT IsSubst(const VLSymbC & which) const

Is substitued ?

void Dump(void) const

Dump to stdout.

BooleanT SubIsMember(const VLSymbC & symb) const

Test if symbole has substituion.

VLSymbC SubGet(const VLSymbC & symb) const

Get substituion for symbol.

BooleanT SubAdd(const VLSymbC & symb,const VLSymbC & newun)

Add substitution

VLSubstBase & Body()

Access body.

const VLSubstBase & Body() const

Access body.

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

Assignment.

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

Comparison operator.

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

VLSubstBase & Body()

Direct access to body.

const VLSubstBase & Body() const

Constant access to body.