PUBLIC

VLBindLst::VLBindLst(void) VLBindLst::VLBindLst(const VLBindLst &) VLBindLst::Copy(void) const VLBindLst::operator=(const VLBindLst &) VLBindLst::AddLst(const VLBindLst &) VLBindLst::Bind(const VLSymbC &,const VLSymbC &) VLBindLst::NotBind(const VLSymb &,const VLSymb &) VLBindLst::DeRef(const VLSymbC &) const VLBindLst::Value(const VLSymbC &) const VLBindLst::IsFree(const VLSymbC &) const VLBindLst::IsBound(const VLSymbC &) const VLBindLst::GetMark(void) const VLBindLst::Mark(void) const VLBindLst::Unbind(BindMark) VLBindLst::Check(BindMark) const VLBindLst::GetName(StringC) const VLBindLst::Name(void) const VLBindLst::IsEmpty(void) const VLBindLst::IsEqual(const VLBindLst &) const VLBindLst::operator==(const VLBindLst &) const VLBindLst::Empty(void) VLBindLst::Hash(void) const VLBindLst::Ground(const VLBindLst &) VLBindLst::Dump(void)

VLBindLst
Set of variable bindings.
include	"amma/Logic2/LBindLst.hh"
User Level:	Default
Library:	VLBasic
Example:	SockServer.cc
Section:	Logic.Basic
In Scope:	std

Comments:
!! SMALL OBJECT !!

typedef VLBind * BindMark;

Bind mark type.

VLBindLst(void)

Default constructor.

VLBindLst(const VLBindLst & Bnds)

Copy constructor.

VLBindLst Copy() const

Create a copy.

VLBindLst & operator=(const VLBindLst & Oth)

Assigment operator.

BooleanT AddLst(const VLBindLst & Other)

Add list of binds, check for consistancy.
Ret:False=Incosistant.

BooleanT Bind(const VLSymbC & Var,const VLSymbC & Val)

Bind varibale Var to Val.

BooleanT NotBind(const VLSymb & Var,const VLSymb & Val)

Bind varibale Var to be NOT val.
any attemp to bind Var to val after this call will fail. !!!! EXPERIMENTAL !!!!

VLSymbC DeRef(const VLSymbC & Var) const

De-refrence a variable.

VLSymbC Value(const VLSymbC & Oth) const

Lookup the value of a symb.
Derefrence if its a variable.

BooleanT IsFree(const VLSymbC & Var) const

Is a variable free ?
This returns true if the variable is not bound to a concrete symbol, it may hower be bound to another variable.

BooleanT IsBound(const VLSymbC & Var) const

Is a variable bound ?
Tests if the variable is bound to ANYTHING, this will return TRUE even if it is only bound to another free variable.

BindMark GetMark(void) const

Mark the current binds.
OBSOLETE: Use 'Mark'.

BindMark Mark(void) const

Mark the current binds.

BooleanT Unbind(BindMark To)

Undo binds until BindMark.

BooleanT Check(BindMark To) const

Check BindMark is valid.

StringC GetName(StringC Buff = 0) const

Turn it into a string.
OBSOLETE: use Name().

StringC Name() const

Turn it into a string.

BooleanT IsEmpty(void) const

Is this BindLst empty ?

BooleanT IsEqual(const VLBindLst & Oth) const

Is this BindLst equal to another ?

BooleanT operator==(const VLBindLst & Oth) const

Is this BindLst equal to another ?

void Empty(void)

Empty table of all binds.

unsigned int Hash(void) const

Get hashvalue for binding set.

void Ground(const VLBindLst & Bnds)

Use the binds in 'Bnds' to ground as the binds
in this BindLst.

void Dump(void)

Dump binds to stdout.