PUBLIC

VLTheoryC::VLTheoryC(void) VLTheoryC::VLTheoryC(BooleanT) VLTheoryC::AddRule(const VLRuleC &) VLTheoryC::DelRule(const VLRuleC &) VLTheoryC::Replace(const VLRuleC &,const VLRuleC &) VLTheoryC::ListByAction(const VLSymbC &,VLRuleSetC &) const VLTheoryC::UListByPost(const VLSymbC &,VLListIndexC &) const VLTheoryC::UListByPost(const VLSymbC &,VLListIndexC &,VLListIndexC &) const VLTheoryC::ListByPost(const VLMinTermC &,VLRuleSetC &) 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

VLTheoryC
A Theory is a set of rules.
include	"amma/Logic2/Theory.hh"
User Level:	Default
Library:	Logic2
Example:	exIndex.cc
Section:	Logic.Core
In Scope:	std

Parent Classes:

public RCHandleC<class Bod>

VLTheoryC()

Default constructor creates an invalid handle.

VLTheoryC(BooleanT makeBod)

Default constructor creates an invalid handle.

BooleanT AddRule(const VLRuleC & rule)

Add new rule to theory.

BooleanT DelRule(const VLRuleC & rule)

Remove rule from theory.

BooleanT Replace(const VLRuleC & oldRule,const VLRuleC & newRule)

Quick rule update. NB. The old rule may not be removed, it may only be updated to match the new one.

BooleanT ListByAction(const VLSymbC & act,VLRuleSetC & set) const

List rules by action, Ret:True if some found.

BooleanT UListByPost(const VLSymbC & postCond,VLListIndexC<VLRuleC> & set) const

List by postcondition, unifying version.

BooleanT UListByPost(const VLSymbC & postCond,VLListIndexC<VLRuleC> & pSet,VLListIndexC<VLRuleC> & nSet) const

List by postcondition, unifying version.

BooleanT ListByPost(const VLMinTermC & postCond,VLRuleSetC & set) const

List by postcondition, Ret:True if some found.

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

Assignment.

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

Comparison operator.

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

VLTheory & Body()

Direct access to body.

const VLTheory & Body() const

Constant access to body.