PUBLIC

LiteralIter1C::LiteralIter1C(void) LiteralIter1C::LiteralIter1C(const LiteralC &) LiteralIter1C::LiteralIter1C(bool) LiteralIter1C::LiteralIter1C(LiteralIter1BodyC &) LiteralIter1C::Body(void) LiteralIter1C::Body(void) const LiteralIterC::Body(void) LiteralIterC::Body(void) const LiteralIterC::Next(void) LiteralIterC::operator ++(int) LiteralIterC::First(void) LiteralIterC::IsElm(void) const LiteralIterC::operator bool(void) const LiteralIterC::Data(void) LiteralIterC::operator *(void) LiteralIterC::Binds(void) LiteralIterC::Binds(void) const RCHandleC::operator =(const RCHandleC &) RCHandleC::DeepCopy(UIntT) const RCHandleC::operator ==(const RCHandleC &) const RCHandleC::operator !=(const RCHandleC &) const RCHandleC::Hash(void) const RCHandleC::IsValid(void) const RCHandleC::Invalidate(void) RCHandleC::IsHandleType(const DT &) const RCHandleC::CheckHandleType(const DT &) const RCHandleC::Body(void) RCHandleC::Body(void) const RCHandleC::References(void) const RCHandleC::operator <<(ostream &,const RCHandleC &) RCHandleC::operator >>(istream &,RCHandleC &)

public LiteralIterC

LiteralIter1C()

Default constructor.
Creates an invalid handle.

LiteralIter1C(const LiteralC & nlit)

Constructor.
Create a iterator giving 'nlit' as the one element in the list.

LiteralIter1C(bool v)

Null iterator constructor.
You should pass false to this constructor.

LiteralIter1C(LiteralIter1BodyC & bod)

Body constructor.

LiteralIter1BodyC & Body()

Access body.

const LiteralIter1BodyC & Body() const

Access body.

LiteralIterBodyC & Body()

Access body.

const LiteralIterBodyC & Body() const

Access body.

bool Next()

Goto next data element.
returns true if next element is valid.

bool operator ++(int)

Goto next data element.
returns true if next element is valid.

bool First()

Goto first data element.
returns true if next element is valid.

bool IsElm() const

At a valid element ?
returns true if iterator is at a valid element.

operator bool() const

At a valid element ?
returns true if iterator is at a valid element.

LiteralC Data()

At a valid element.

LiteralC operator *()

Goto next data element.
returns true if next element is valid.

BindSetC & Binds()

Access binds associated with solution.

const BindSetC & Binds() const

Access binds associated with solution.

const RCHandleC<LiteralIterBodyC> & operator =(const RCHandleC<LiteralIterBodyC> & oth)

Assign handle.

RCHandleC<LiteralIterBodyC> DeepCopy(UIntT levels = ((UIntT))) const

Do a deep copy of the object.

bool operator ==(const RCHandleC<LiteralIterBodyC> & oth) const

Are handles to the same object ?

bool operator !=(const RCHandleC<LiteralIterBodyC> & oth) const

Are handles to different objects ?

UIntT Hash() const

Default hash function.
This hashes on the address of the body.

bool IsValid() const

Test if this is a valid handle.

void Invalidate()

Invalidate this handle.
Unattaches the body from the handle.

bool IsHandleType(const DT &) const

Is handle of given type ?

void CheckHandleType(const DT & dummy) const

Check handle type. Throw an expception if not.

LiteralIterBodyC & Body()

Access body of object.

const LiteralIterBodyC & Body() const

Constant access to body of object.

UIntT References() const

Find the number of references to the body of this object.

ostream & operator <<(ostream & strm,const RCHandleC<LiteralIterBodyC> & obj)

istream & operator >>(istream & strm,RCHandleC<LiteralIterBodyC> & obj)