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::CheckValid(void)

MinTermIterC mtiter;

Iterate through minterms.

LiteralIndexFilterC iter;

Filtered index handle.

HSetC ndone;

Only do each entry once.

HSetC pdone;

Only do each entry once.

BMinTermIndexC ind;

Index handle.

DataT * data;

Short cut to data.

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 ?

bool CheckValid()

Goto next entry if not on valid one else return false.