PUBLIC

BindSetBodyC::BindSetBodyC(void) BindSetBodyC::BindSetBodyC(const BindSetC &) BindSetBodyC::BindSetBodyC(const HashC &) BindSetBodyC::IsBound(const LiteralC &) const BindSetBodyC::Resolve(const LiteralC &,LiteralC &) const BindSetBodyC::Resolve(const LiteralC &) const BindSetBodyC::operator [](const LiteralC &) const BindSetBodyC::Bind(const LiteralC &,const LiteralC &) BindSetBodyC::Mark(void) const BindSetBodyC::Undo(BindMarkT) BindSetBodyC::Undo(LiteralC) BindSetBodyC::Size(void) const BindSetBodyC::Empty(void) BindSetBodyC::Name(void) const RCBodyC::References(void) const RCBodyC::Copy(void) const RCBodyC::DeepCopy(UIntT) const RCBodyC::IncRefCounter(void) RCBodyC::DecRefCounter(void)

public RCBodyC
protected HashC<LiteralC,BindC>

BindSetBodyC()

Default constructor.

BindSetBodyC(const BindSetC & oth)

Copy constructor.
Any bind marks in oth will NOT be valid for the new BindSetC.

BindSetBodyC(const HashC<LiteralC,LiteralC> & tab)

Construct from a table of mappings.

bool IsBound(const LiteralC & var) const

Is variable bound ?

bool Resolve(const LiteralC & var,LiteralC & x) const

Resolve value

LiteralC Resolve(const LiteralC & var) const

Resolve a binding.
return the value 'var' is bound to, or if its a free variable 'var' itself.

LiteralC operator [](const LiteralC & var) const

Resolve a binding.

bool Bind(const LiteralC & var,const LiteralC & val)

Attempty to bind a value to var.
Will fail if var is already bound.

BindMarkT Mark() const

Mark the current set of bindings.

void Undo(BindMarkT bm)

Undo bindings to marked place.

void Undo(LiteralC var)

Undo bindings done after and including var.

UIntT Size() const

Get the number of binds in set.

void Empty()

Remove all bindings from set.

StringC Name() const

Bind set as string.

UIntT References() const

Access count of handles open to this object.

RCBodyC & Copy() const

Make copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

RCBodyC & DeepCopy(UIntT levels = ((UIntT))) const

Make a deep copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

void IncRefCounter()

Increment reference counter.

bool DecRefCounter()

Decrement reference counter.