PUBLIC

StateAndIterC::StateAndIterC(void) StateAndIterC::StateAndIterC(const StateC &,const AndC &,const BindSetC &) 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

StateAndIterC()

Default constructor.
creates an invalid handle.

StateAndIterC(const StateC & nstate,const AndC & nand,const BindSetC & bs)

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)