PUBLIC

VLRuleC::VLRuleC(void) VLRuleC::VLRuleC(const VLRuleC &) VLRuleC::VLRuleC(const VLMinTermC &,const VLSymbC &,const VLMinTermC &) VLRuleC::operator=(const VLRuleC &) VLRuleC::PreCond(void) VLRuleC::PreCond(void) const VLRuleC::Action(void) VLRuleC::Action(void) const VLRuleC::PostCond(void) VLRuleC::PostCond(void) const VLRuleC::Certainty(void) VLRuleC::Certainty(void) const VLRuleC::Body(void) VLRuleC::Body(void) const VLRuleC::Dump(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 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

VLRuleC
Replacement rule.
include	"amma/Logic2/LRule.hh"
User Level:	Default
Library:	Logic2
Example:	exIndex.cc
Section:	Logic.Core
In Scope:	std

Parent Classes:

public VLSymbC

VLRuleC()

Default constructor.

VLRuleC(const VLRuleC & oth)

Copy constructor.

VLRuleC(const VLMinTermC & pre,const VLSymbC & act,const VLMinTermC & post)

Constructor.

const VLRuleC & operator=(const VLRuleC & oth)

Assigment.

VLMinTermC & PreCond(void)

Get pre-condition.

const VLMinTermC & PreCond(void) const

Get pre-condition.

VLSymbC & Action(void)

Get action.

const VLSymbC & Action(void) const

Get action.

VLMinTermC & PostCond(void)

Get post-condition.

const VLMinTermC & PostCond(void) const

Get post-condition.

RealT & Certainty(void)

Get certanty of rule.

RealT Certainty(void) const

Get certanty of rule.

VLRule & Body()

Access VLRule.

const VLRule & Body() const

Constant access to VLRule.

void Dump(void) const

Dump to cout.

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!

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.