PUBLIC

VLExprFragmentSetC::VLExprFragmentSetC(void) VLExprFragmentSetC::VLExprFragmentSetC(const VLMinTermC &,BooleanT) VLExprFragmentSetC::VLExprFragmentSetC(const VLExprC &) VLExprFragmentSetC::VLExprFragmentSetC(VLExprFragmentSetBodyC &) VLExprFragmentSetC::Body(void) VLExprFragmentSetC::Body(void) const VLExprFragmentSetC::AddFragmentsOf(const VLExprC &) VLExprFragmentSetC::AddFragmentsOf(const VLMinTermC &,BooleanT) VLExprFragmentSetC::AddFragmentsOf(const VLSymbC &) VLExprSetC::Body(void) VLExprSetC::Body(void) const VLExprSetC::CopySet(void) const VLExprSetC::Add(const VLSymbC &) VLExprSetC::Add(const VLExprC &) VLSpaceC::Copy(void) const VLSpaceC::IsMember(const VLSymbC &) const VLSpaceC::operator[](const VLSymbC &) const VLSpaceC::IsMember(const VLSymbC &,VLBindLst &) const VLSpaceC::Solutions(const VLSymbC &,VLBindLst &) const VLSpaceC::ListAsserted(void) const VLSpaceC::Assert(const VLSymbC &) VLSpaceC::Retract(const VLSymbC &) VLSpaceC::operator+=(const VLSymbC &) VLSpaceC::operator-=(const VLSymbC &) VLSpaceC::operator+=(const VLMinTermC &) VLSpaceC::operator-=(const VLMinTermC &) VLSpaceC::Differences(const VLSpaceC &) const VLSpaceC::Size(void) const VLSpaceC::Random(void) const VLSpaceC::Dump(ostream &) const VLSpaceC::operator==(const VLSpaceC &) const VLSpaceC::Hash(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

VLExprFragmentSetC
Generate the set of all possible fragments of an expression/minterm.
include	"amma/Logic2/ExprFragSet.hh"
User Level:	Default
Library:	VLLearn
Example:	exIndex.cc
Section:	default.Charles Galambos
In Scope:	std

Parent Classes:

public VLExprSetC

VLExprFragmentSetC()

Default constructor.

ind	Index of types of intererest.

creates an invalid handle.

VLExprFragmentSetC(const VLMinTermC & mt,BooleanT addTerms = true)

Minterm constructor.

ind	Index of types of intererest.

VLExprFragmentSetC(const VLExprC & ex)

Expr constructor.

ind	Index of types of intererest.

VLExprFragmentSetC(VLExprFragmentSetBodyC & bod)

Body constructor.

ind	Index of types of intererest.

VLExprFragmentSetBodyC & Body()

Body access.

ind	Index of types of intererest.

const VLExprFragmentSetBodyC & Body() const

Body access.

ind	Index of types of intererest.

void AddFragmentsOf(const VLExprC & ex)

Add all fragments of 'ex' to set.

ind	Index of types of intererest.

void AddFragmentsOf(const VLMinTermC & mt,BooleanT addTerms = true)

Add all fragments of 'mt' to set.

ind	Index of types of intererest.

void AddFragmentsOf(const VLSymbC & s)

Add all fragments of 's' to set.

ind	Index of types of intererest.

VLExprSet & Body()

Access body.

const VLExprSet & Body() const

Access body.

VLExprSetC CopySet() const

Make a copy of the set.
This is shallow, as set members shouldn't change.

BooleanT Add(const VLSymbC & symb)

Add a symbol

BooleanT Add(const VLExprC & expr)

Add an expression.

VLSpaceC Copy() const

Make a copy of the space.

BooleanT IsMember(const VLSymbC & s) const

Is symbol defined in space.

BooleanT operator[](const VLSymbC & s) const

Is symbol defined in space ?
NB. This can NOT be used to define and undefine symbols.

BooleanT IsMember(const VLSymbC & s,VLBindLst & bnds) const

Is symbol defined in space, with binds.

VLSymbIterC Solutions(const VLSymbC & s,VLBindLst & bnds) const

Iterate through all matching expressions.

VLSymbIterC ListAsserted() const

List asserted symbols.

BooleanT Assert(const VLSymbC & s)

Assert a symbol as true.

BooleanT Retract(const VLSymbC & s)

Assert a symbol as false.

BooleanT operator+=(const VLSymbC & s)

Short hand for assert.

BooleanT operator-=(const VLSymbC & s)

Short hand for retract.

BooleanT operator+=(const VLMinTermC & s)

Short hand for assert/retract conditions within minterm.

BooleanT operator-=(const VLMinTermC & s)

Short hand for assert/retract inverse minterm.
NOT SUPPORTED!

VLMinTermC Differences(const VLSpaceC & other) const

List differences between this space and another.
Positive differences are symbols in this space but not 'other'

Netagive differences are symbols in the 'other' space but not this one

IntT Size() const

How many symbols are there in the space ?
return: -1 = Unknown.

VLSymbC Random() const

Select random member of the space.

void Dump(ostream & out) const

Dump to stream in human readable format.

BooleanT operator==(const VLSpaceC & oth) const

Is equal ?

unsigned int Hash() const

Hash function.
This is simply the sum of the hash values of its members.

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<VLSpace> & operator=(const RCHandleC<VLSpace> & oth)

Assignment.

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

Comparison operator.

BooleanT operator!=(const RCHandleC<VLSpace> & 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.

VLSpace & Body()

Direct access to body.

const VLSpace & Body() const

Constant access to body.