PUBLIC

VLSpaceC::VLSpaceC(void) VLSpaceC::VLSpaceC(VLSpace &) VLSpaceC::Copy(void) const VLSpaceC::IsMember(const VLSymbC &) const VLSpaceC::operator[](const VLSymbC &) const VLSpaceC::IsMember(const VLSymbC &,VLBindLst &) const VLSpaceC::Solutions(const VLSymbC &,VLBindLst &) const VLSpaceC::ListAsserted(void) const VLSpaceC::Assert(const VLSymbC &) VLSpaceC::Retract(const VLSymbC &) VLSpaceC::operator+=(const VLSymbC &) VLSpaceC::operator-=(const VLSymbC &) VLSpaceC::operator+=(const VLMinTermC &) VLSpaceC::operator-=(const VLMinTermC &) VLSpaceC::Differences(const VLSpaceC &) const VLSpaceC::Size(void) const VLSpaceC::Random(void) const VLSpaceC::Dump(ostream &) const VLSpaceC::operator==(const VLSpaceC &) const VLSpaceC::Hash(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

VLSpaceC
Handle for a logical space.
include	"amma/Logic2/LSpace.hh"
User Level:	Default
Library:	VLBasic
Example:	SockServer.cc
Section:	Logic.Basic
In Scope:	std

Parent Classes:

public RCHandleC<class Bod>

VLExprSetC

VLSpaceC()

Default constructor, creates null handle.

VLSpaceC(VLSpace & ns)

Construct a handle to a space.

VLSpaceC Copy() const

Make a copy of the space.

BooleanT IsMember(const VLSymbC & s) const

Is symbol defined in space.

BooleanT operator[](const VLSymbC & s) const

Is symbol defined in space ?
NB. This can NOT be used to define and undefine symbols.

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

Is symbol defined in space, with binds.

VLSymbIterC Solutions(const VLSymbC & s,VLBindLst & bnds) const

Iterate through all matching expressions.

VLSymbIterC ListAsserted() const

List asserted symbols.

BooleanT Assert(const VLSymbC & s)

Assert a symbol as true.

BooleanT Retract(const VLSymbC & s)

Assert a symbol as false.

BooleanT operator+=(const VLSymbC & s)

Short hand for assert.

BooleanT operator-=(const VLSymbC & s)

Short hand for retract.

BooleanT operator+=(const VLMinTermC & s)

Short hand for assert/retract conditions within minterm.

BooleanT operator-=(const VLMinTermC & s)

Short hand for assert/retract inverse minterm.
NOT SUPPORTED!

VLMinTermC Differences(const VLSpaceC & other) const

List differences between this space and another.
Positive differences are symbols in this space but not 'other'

Netagive differences are symbols in the 'other' space but not this one

IntT Size() const

How many symbols are there in the space ?
return: -1 = Unknown.

VLSymbC Random() const

Select random member of the space.

void Dump(ostream & out) const

Dump to stream in human readable format.

BooleanT operator==(const VLSpaceC & oth) const

Is equal ?

unsigned int Hash() const

Hash function.
This is simply the sum of the hash values of its members.

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

Assignment.

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

Comparison operator.

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

VLSpace & Body()

Direct access to body.

const VLSpace & Body() const

Constant access to body.