PUBLIC

MinTermIterC::MinTermIterC(void) MinTermIterC::MinTermIterC(const MinTermC &) MinTermIterC::First(void) MinTermIterC::operator =(const MinTermC &) MinTermIterC::IsElm(void) const MinTermIterC::operator bool(void) const MinTermIterC::Next(void) MinTermIterC::operator ++(int) MinTermIterC::Data(void) MinTermIterC::Data(void) const MinTermIterC::operator *(void) MinTermIterC::operator *(void) const MinTermIterC::IsNegated(void) const

bool negated;

SArray1dIterC it;

SArray1dC pos;

SArray1dC neg;

MinTermIterC()

Default constructor.

MinTermIterC(const MinTermC & mt)

Constructor.

bool First()

Goto first element.
Returns false if there are no elements to iterate through.

const MinTermIterC & operator =(const MinTermC & mg)

Assign to a minterm.

bool IsElm() const

At a valid element ?

operator bool() const

At a valid element ?

bool Next()

Goto next term.

void operator ++(int)

Goto next term.

LiteralC & Data()

Access current literal.

const LiteralC & Data() const

Access current literal.

LiteralC & operator *()

Access current literal.

const LiteralC & operator *() const

Access current literal.

bool IsNegated() const

Test if this is a negated term.