PUBLIC

VLMinTermC::VLMinTermC(void) VLMinTermC::VLMinTermC(const VLMinTermC &) VLMinTermC::VLMinTermC(const VLSymbC &) VLMinTermC::VLMinTermC(BooleanT,const VLSymbC &) VLMinTermC::VLMinTermC(BooleanT) VLMinTermC::VLMinTermC(VLSymbSet &,VLSymbSet &) VLMinTermC::VLMinTermC(VLSymbSet &) VLMinTermC::Body(void) VLMinTermC::Body(void) const VLMinTermC::VLMinTermC(VLMinTerm &) VLMinTermC::IsMinTerm(const VLSymbC &) VLMinTermC::Copy(void) const VLMinTermC::operator==(const VLMinTermC &) const VLMinTermC::operator!=(const VLMinTermC &) const VLMinTermC::Covers(const VLMinTermC &) const VLMinTermC::Covers(const VLMinTermC &,VLBindLst &) const VLMinTermC::Covers(const VLSymbC &) const VLMinTermC::CoveredBy(const VLSymbC &) const VLMinTermC::AddPosCond(const VLSymbC &) VLMinTermC::AddNegCond(const VLSymbC &) VLMinTermC::AndAdd(const VLMinTermC &) VLMinTermC::operator*=(const VLMinTermC &) VLMinTermC::operator*=(const VLSymbC &) VLMinTermC::operator/=(const VLSymbC &) VLMinTermC::operator+=(const VLSymbC &) VLMinTermC::operator-=(const VLSymbC &) VLMinTermC::Empty(void) VLMinTermC::Invert(void) VLMinTermC::Inverse(void) const VLMinTermC::Intersect(const VLMinTermC &) const VLMinTermC::Unify(const VLMinTermC &,VLBindLst &) const VLMinTermC::Unify(const VLSymbC &,VLBindLst &,BooleanT) const VLMinTermC::Pos(void) const VLMinTermC::Neg(void) const VLMinTermC::Size(void) const VLSymbC::VLSymbC(BooleanT) VLSymbC::Copy(void) const VLSymbC::IsVar(void) const VLSymbC::SetVar(BooleanT) VLSymbC::IsSimple(void) const VLSymbC::operator==(const VLSymbC &) const VLSymbC::operator!=(const VLSymbC &) const VLSymbC::Hash(void) const VLSymbC::Unify(const VLSymbC &,VLBindLst &) const VLSymbC::Unify(const VLSymbC &) const VLSymbC::Test(const VLSpace &,VLBindLst &,VLSymbIterC &) const VLSymbC::Test(const VLSpace &,VLBindLst &) const VLSymbC::Test(const VLSpace &) const VLSymbC::Test(const VLSpaceC &,VLBindLst &,VLSymbIterC &) const VLSymbC::Test(const VLSpaceC &,VLBindLst &) const VLSymbC::Test(const VLSpaceC &) const VLSymbC::Subst(const VLBindLst &) const VLSymbC::Subst(const VLSubstBaseC &) const VLSymbC::NewVarDup(VLSubstBaseC &) const VLSymbC::GetName(StringC) const VLSymbC::Name(void) const VLSymbC::Dump(void) const VLSymbC::Body(void) VLSymbC::Body(void) const VLSymbC::operator=(const VLSymb &) VLSymbC::GlobalMap(void) RCHandleAC::Abstract(void) RCHandleAC::IsHandleType(const DT &) const RCHandleAC::CheckHandleType(const DT &) const RCHandleAC::Save(ostream &) const RCHandleAC::Copy(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

VLMinTermC
Logical min-term.
include	"amma/Logic2/LMinTerm.hh"
User Level:	Default
Library:	VLBasic
Example:	SockServer.cc
Section:	Logic.Basic
In Scope:	std

Comments:
this contains two sets of symbols. this first set must be all true, and the second all false.

public VLSymbC

VLMinTermC()

Default constructor.
Creates an InValid refrence.

VLMinTermC(const VLMinTermC & oth)

Copy constructor.

VLMinTermC(const VLSymbC & oth)

Attempt to construct from a general symbol.
If symbol is an a minterm then this object will become a handle to that minterm otherwise a new minterm will be constructed with the symbol as a positive condition.

VLMinTermC(BooleanT invert,const VLSymbC & oth)

Construct from a symbol
True value is inverted if invert is TRUE.

VLMinTermC(BooleanT)

Construct an empty minterm.

VLMinTermC(VLSymbSet & PC,VLSymbSet & NC)

Constuctor from positive and negative sets.

VLMinTermC(VLSymbSet & PC)

Constuctor from positive set only.

VLMinTerm & Body()

Access expression.

const VLMinTerm & Body() const

Constant access to expression.

VLMinTermC(VLMinTerm & oth)

Body constructor.

BooleanT IsMinTerm(const VLSymbC & oth)

Test if 'oth' is an expression.

VLMinTermC Copy() const

Copy MinTerm.

BooleanT operator==(const VLMinTermC & Oth) const

Comparison to another VLMinTerm.

BooleanT operator!=(const VLMinTermC & Oth) const

Comparison to another VLMinTerm.

BooleanT Covers(const VLMinTermC & Oth) const

Check if '*this' is true in all states that 'Oth' is. Setwise only.

BooleanT Covers(const VLMinTermC & Oth,VLBindLst & Bnds) const

Check if '*this' is true in all states that 'Oth' is. Unifying version.

BooleanT Covers(const VLSymbC & Oth) const

Check if '*this' is true in all states that 'Oth' is.

BooleanT CoveredBy(const VLSymbC & Oth) const

Check if Oth->Covers(*this);

BooleanT AddPosCond(const VLSymbC & Symb)

Add positive condition
False if contradiction.

BooleanT AddNegCond(const VLSymbC & Symb)

Add negative condition
False if contradiction.

BooleanT AndAdd(const VLMinTermC & Oth)

False if causes contradiction.

BooleanT operator*=(const VLMinTermC & Oth)

And another minterm.

BooleanT operator*=(const VLSymbC & Oth)

And positive condition.

BooleanT operator/=(const VLSymbC & Oth)

And negative condition.

BooleanT operator+=(const VLSymbC & Oth)

And positive condition.

BooleanT operator-=(const VLSymbC & Oth)

And negative condition.

void Empty(void)

Clear all contents.

void Invert(void)

Invert condition in-place. Swap Neg & Pos.

DListC<VLMinTermC> Inverse(void) const

Get inverse of min term, put it in result.

VLMinTermC Intersect(const VLMinTermC & Oth) const

Get intersection of *this & Oth.

BooleanT Unify(const VLMinTermC & Other,VLBindLst & SF) const

Unify with another, MinTerm.

BooleanT Unify(const VLSymbC & Other,VLBindLst & SF,BooleanT NegateSymb = FALSE) const

Unify this with another Symbol.
This will succeed as long as there's no direct contradiction. If there are more than one way to create a successfull binding, the first found will be used.

const VLSymbSetC & Pos() const

Access positive condition set.

const VLSymbSetC & Neg() const

Access negative condition set.

int Size(void) const

Get number of terms in condition.

explicit VLSymbC(BooleanT actual)

Constructor.
acutal = True, create an actual symbol.

VLSymbC Copy() const

Make a copy of this object.

BooleanT IsVar() const

Is this symb a variable ?

void SetVar(BooleanT Val = TRUE)

Make this Symb a variable.

BooleanT IsSimple(void) const

Does this symb contain any variables, (in Expressions or MinTerms.)

BooleanT operator==(const VLSymbC & Oth) const

Is this equal to another Symb ?

BooleanT operator!=(const VLSymbC & Oth) const

Is this equal to another Symb ?

unsigned int Hash(void) const

Get ID usefull for hashing.

BooleanT Unify(const VLSymbC & oth,VLBindLst & bnds) const

Unify with another symbol.

BooleanT Unify(const VLSymbC & oth) const

Unify with another symbol.

BooleanT Test(const VLSpace & state,VLBindLst & bnd,VLSymbIterC & iter) const

Test if this symbol is true in a given state.
If there are several bindings which make it true make Iter point to an iterator which will change the passed Bnd's appropriatly. NB. any changes made to 'Bnd' after an 'Iter' is generated will be undone when the 'Iter.Next()' or 'Iter.First()' is called. Deleting the 'Iter' should NOT effect the bindings.

BooleanT Test(const VLSpace & state,VLBindLst & bnd) const

If you only wish to use the first solution found use this function.

BooleanT Test(const VLSpace & state) const

If you only wish to use the first solution found use this function.

BooleanT Test(const VLSpaceC & State,VLBindLst & Bnd,VLSymbIterC & Iter) const

See above.

BooleanT Test(const VLSpaceC & State,VLBindLst & Bnd) const

If you only wish to use the first solution found use this function.

BooleanT Test(const VLSpaceC & state) const

If you only wish to use the first solution found use this function.

VLSymbC Subst(const VLBindLst & Bnds) const

Substitute binds.

VLSymbC Subst(const VLSubstBaseC & Subs) const

Substitute one set of symbols for another.

VLSymbC NewVarDup(VLSubstBaseC & subst) const

Create subsitutions for variables as needed.

StringC GetName(StringC buff = StringC()) const

Get full name of object.

StringC Name() const

Get name of object.
inline StringC GetBaseName() const { return Body().GetBaseName(); } Get base name of object.

void Dump(void) const

Dump to stdout.
protected: Should be protected but too many things need to convert to the internal representation.

VLSymb & Body()

INTERNAL USE ONLY!

const VLSymb & Body() const

INTERNAL USE ONLY!

VLSymbC & operator=(const VLSymb & s)

Assignment.

HashARC<StringC,VLSymbC> & GlobalMap()

FIXME :- If we want the logic library to be multi-threaded then this needs a semaphore.

RCAbstractC Abstract()

Create an abstract handle to this object.

BooleanT IsHandleType(const DT &) const

Is handle of given type ?

void CheckHandleType(const DT & dummy) const

Check handle type. Throw an expception if not.

BooleanT Save(ostream & out) const

Save to ostream.

RCHandleAC<VLSymb> Copy() const

Creat a deep copy of this object.
protected:

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

Assignment.

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

Comparison operator.

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

VLSymb & Body()

Direct access to body.

const VLSymb & Body() const

Constant access to body.