PUBLIC

LiteralIter1C::LiteralIter1C(void) LiteralIter1C::LiteralIter1C(const LiteralC &) LiteralIter1C::LiteralIter1C(bool) 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::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.

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.

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)