PUBLIC

VLSpaceDiffC::VLSpaceDiffC(void) VLSpaceDiffC::VLSpaceDiffC(BooleanT) VLSpaceDiffC::VLSpaceDiffC(VLSpaceDiffBodyC &) VLSpaceDiffC::Body(void) VLSpaceDiffC::Body(void) const VLSpaceDiffC::Apply(const VLSpaceSetC &,const VLSpaceC &) 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

VLSpaceDiffC
Find the difference between a set of spaces and a new space.
include	"amma/Logic2/SpaceDiff.hh"
User Level:	Default
Library:	VLLearn
Example:	exIndex.cc
Section:	Logic.Learn
In Scope:	std

Comments:
This class attempts to find a difference which will distinguish between VLSpaceSetC and VLSpaceC, this is returned.

public RCHandleC<class Bod>

VLSpaceDiffMVC

VLSpaceDiffC()

Default constructor.

VLSpaceDiffC(BooleanT x)

Constructor.

VLSpaceDiffC(VLSpaceDiffBodyC & body)

Body constructor.

VLSpaceDiffBodyC & Body()

Access body.

const VLSpaceDiffBodyC & Body() const

Access body.

DListC<VLSymbC> Apply(const VLSpaceSetC & set,const VLSpaceC & it)

Find the difference between a set of spaces and another space.

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

Assignment.

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

Comparison operator.

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

VLSpaceDiffBodyC & Body()

Direct access to body.

const VLSpaceDiffBodyC & Body() const

Constant access to body.