PUBLIC

VLMinTermPartIter::VLMinTermPartIter(const VLMinTerm &) VLMinTermPartIter::VLMinTermPartIter(const VLMinTermC &) VLMinTermPartIter::VLMinTermPartIter(const VLMinTermPartIter &) VLMinTermPartIter::First(void) VLMinTermPartIter::Next(void) VLMinTermPartIter::IsElm(void) const VLMinTermPartIter::Symb(void) VLMinTermPartIter::Data(void) VLMinTermPartIter::IsDataNeg(void) const VLMinTermPartIter::Dump(void) const VLMinTermPartIter::IsNeg(void) const

VLMinTermPartIter
Convert a composite minterm into a list of VLMinTerm singles
include	"amma/Logic2/LMinTermPIter.hh"
User Level:	Default
Library:	VLBasic
Example:	SockServer.cc
Section:	Logic.Basic
In Scope:	std

Comments:
SMALL OBJECT

This first iterates through the positive elements of the minterm, then the negative. The current type can be tested with IsDataNeg().

VLMinTermC MT;

VLSymbSetIterC It;

VLMinTermPartIter(const VLMinTerm & AMT)

Construct from a minterm.

VLMinTermPartIter(const VLMinTermC & AMT)

Construct from a minterm.

VLMinTermPartIter(const VLMinTermPartIter & Oth)

Construct from another iterator.

BooleanT First()

Goto first.
Returns FALSE if no valid data.

BooleanT Next()

Goto next.
Returns FALSE if finished.

BooleanT IsElm() const

At a valid element.

const VLSymbC & Symb()

Get expression component.

VLMinTermC Data()

Get a minterm.

BooleanT IsDataNeg() const

Is data negated ?

void Dump(void) const

Dump to stdout.

BooleanT IsNeg() const

Iterating through negated list ?