PUBLIC

VLSpaceDiffIterC::VLSpaceDiffIterC(const VLSpaceC &,const VLSpaceC &,IntT) VLSpaceDiffIterC::First(void) VLSpaceDiffIterC::IsElm(void) const VLSpaceDiffIterC::Data(void) VLSpaceDiffIterC::Next(void)

VLSpaceDiffIterC
Iterate all possible differences between two spaces.
include	"amma/Logic2/SpaceDiffIter.hh"
User Level:	Default
Library:	VLLearn
Example:	exIndex.cc
Section:	Logic.Learn
In Scope:	std

Comments:
Small Object

VLSpaceDiffIterC(const VLSpaceC & nexam1,const VLSpaceC & nexam2,IntT nMaxCombdepth = -1)

Constructor.
nMaxCombdepth is the maximum combination length to try, if it is zero or small the length is unlimited.

BooleanT First()

Goto first difference.

BooleanT IsElm() const

At current difference ?

VLMinTermC & Data()

Get current difference.

BooleanT Next()

Goto next difference.