PUBLIC

BMinTermIndexIterC::BMinTermIndexIterC(const BMinTermIndexC &,const MinTermC &) BMinTermIndexIterC::BMinTermIndexIterC(const BMinTermIndexC &,const LiteralC &) BMinTermIndexIterC::BMinTermIndexIterC(const BMinTermIndexIterC &) BMinTermIndexIterC::Data(void) BMinTermIndexIterC::Data(void) const BMinTermIndexIterC::operator *(void) BMinTermIndexIterC::operator *(void) const BMinTermIndexIterC::First(void) BMinTermIndexIterC::Next(void) BMinTermIndexIterC::operator ++(int) BMinTermIndexIterC::IsElm(void) const BMinTermIndexIterC::operator bool(void) const

BMinTermIndexIterC(const BMinTermIndexC<DataT> & index,const MinTermC & cond)

Construct from an index.

BMinTermIndexIterC(const BMinTermIndexC<DataT> & index,const LiteralC & lit)

Construct from an index.

BMinTermIndexIterC(const BMinTermIndexIterC<DataT> &)

Copy constructor.

DataT & Data()

Access data.

const DataT & Data() const

Access data.

DataT & operator *()

Access data.

const DataT & operator *() const

Access data.

bool First()

Goto first item.

bool Next()

goto next item.

void operator ++(int)

goto next element.

bool IsElm() const

At a valid element ?

operator bool() const

At a valid element ?