PUBLIC

LiteralFilterIterBodyC::LiteralFilterIterBodyC(const LiteralIterC &,const LiteralC &) LiteralFilterIterBodyC::~LiteralFilterIterBodyC(void) LiteralFilterIterBodyC::Next(void) LiteralFilterIterBodyC::First(void) LiteralFilterIterBodyC::IsElm(void) const LiteralFilterIterBodyC::Data(void) LiteralFilterIterBodyC::Binds(void) LiteralFilterIterBodyC::Binds(void) const LiteralFilterIterBodyC::NextValid(void) LiteralIterBodyC::Next(void) LiteralIterBodyC::First(void) LiteralIterBodyC::IsElm(void) const LiteralIterBodyC::Data(void) LiteralIterBodyC::Binds(void) LiteralIterBodyC::Binds(void) const RCBodyVC::Save(ostream &) const RCBodyVC::Save(BinOStreamC &) const RCBodyVC::Copy(void) const RCBodyVC::DeepCopy(UIntT) const RCBodyC::References(void) const RCBodyC::Copy(void) const RCBodyC::DeepCopy(UIntT) const RCBodyC::IncRefCounter(void) RCBodyC::DecRefCounter(void)

public LiteralIterBodyC

BindSetC binds;

BindMarkT mark;

LiteralIterC iter;

LiteralC filter;

LiteralFilterIterBodyC(const LiteralIterC & iter,const LiteralC & nfilter)

Constructor.

~LiteralFilterIterBodyC()

Destructor.

bool Next()

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.

LiteralC Data()

Get current literal.

BindSetC & Binds()

Access binds associated with solution.

const BindSetC & Binds() const

Access binds associated with solution.

bool NextValid()

Goto next valid solution.

bool Next()

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.

LiteralC Data()

Get current literal.

BindSetC & Binds()

Access binds associated with solution.

const BindSetC & Binds() const

Access binds associated with solution.

bool Save(ostream & out) const

Save to stream 'out'.

bool Save(BinOStreamC & out) const

Save to binary stream 'out'.

RCBodyVC & Copy() const

Make copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

RCBodyC & DeepCopy(UIntT levels = ((UIntT))) const

Make a deep copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

UIntT References() const

Access count of handles open to this object.

RCBodyC & Copy() const

Make copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

RCBodyC & DeepCopy(UIntT levels = ((UIntT))) const

Make a deep copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

void IncRefCounter()

Increment reference counter.

bool DecRefCounter()

Decrement reference counter.