PUBLIC

VLCandidateDescrimSetC::VLCandidateDescrimSetC(void) VLCandidateDescrimSetC::VLCandidateDescrimSetC(const VLSpaceSetC &) VLCandidateDescrimSetC::AddCandidate(const VLMinTermC &) VLCandidateDescrimSetC::AddVarDiffIter(const VLSpaceC &,const VLSpaceC &,int) VLCandidateDescrimSetC::AddMinTermGen(const VLSpaceC &,const VLSpaceC &,int) VLCandidateDescrimSetC::FoundSol(void) const VLCandidateDescrimSetC::BestCover(void) const VLCandidateDescrimSetC::MaxCover(void) const VLCandidateDescrimSetC::Solution(void) const VLCandidateDescrimSetC::SolTerm(void) const RCHandleC::IsValid(void) const RCHandleC::IsValidObject(void) const RCHandleC::operator=(const RCHandleC &) RCHandleC::operator==(const RCHandleC &) const RCHandleC::operator!=(const RCHandleC &) const RCHandleC::Hash(void) const RCHandleC::IsConst(void) const RCHandleC::IsNotConst(void) const RCHandleC::SetConst(void) const RCHandleC::Invalidate(void) RCHandleC::Body(void) RCHandleC::Body(void) const

VLCandidateDescrimSetC
Candidate Descrimination Set.
include	"amma/Logic2/CandDescrimSet.hh"
User Level:	Default
Library:	VLLearn
Example:	exIndex.cc
Section:	Logic.Learn
In Scope:	std

Comments:
This class holds a set of terms which will descriminate between two sets of sitations. In general one of the sets only contains one example.

public RCHandleC<class Bod>

VLCandidateDescrimSetC()

Default constructors.

VLCandidateDescrimSetC(const VLSpaceSetC & nexamples)

Constructor.

IntT AddCandidate(const VLMinTermC & cand)

Add new candidate.
Returns the number of new examples this candidate covers. (0=None. in which case it is discarded.)

BooleanT AddVarDiffIter(const VLSpaceC & Latest,const VLSpaceC & Newun,int MaxDepth)

Use state differences with variable subsitution.
MaxDepth limits number of states to search.

BooleanT AddMinTermGen(const VLSpaceC & Latest,const VLSpaceC & Newun,int MaxDepth = -1)

Iterative generation of expressions.

BooleanT FoundSol() const

Has a solution been found at all ?

IntT BestCover(void) const

Get number of cases best solution covers.

IntT MaxCover(void) const

Get total of cases that we're attempting to cover.

const VLCandidateDescrimC & Solution(void) const

Get best solution.

const VLMinTermC & SolTerm(void) const

Get term for best solution.

BooleanT IsValid() const

Check its a valid handle.

BooleanT IsValidObject() const

Check its a valid handle, and that the object is pointed to is also valid.

RCHandleC<VLCandidateDescrimSetBodyC> & operator=(const RCHandleC<VLCandidateDescrimSetBodyC> & oth)

Assignment.

BooleanT operator==(const RCHandleC<VLCandidateDescrimSetBodyC> & oth) const

Comparison operator.

BooleanT operator!=(const RCHandleC<VLCandidateDescrimSetBodyC> & oth) const

Comparison operator.

UIntT Hash() const

Hash function.x

BooleanT IsConst() const

Is object constant ?

BooleanT IsNotConst() const

Is object not constant ?

void SetConst(void) const

Lock the object.
This is const as a convience though it actual modified the object, often object you wish to ensure are constant already have const set. protected:

void Invalidate()

Turn this into an invalid handle.

VLCandidateDescrimSetBodyC & Body()

Direct access to body.

const VLCandidateDescrimSetBodyC & Body() const

Constant access to body.