Logo Search packages:      
Sourcecode: maude version File versions  Download package

Public Member Functions | Protected Member Functions | Private Types | Private Attributes

RuleTable Class Reference

Inheritance diagram for RuleTable:
Inheritance graph
Collaboration diagram for RuleTable:
Collaboration graph

List of all members.

Public Member Functions

virtual void compileRules ()
const Vector< Rule * > & getRules () const
void offerRule (Rule *rule)
virtual void resetRules ()
virtual void restoreHiddenState ()
bool ruleFree () const
virtual DagNoderuleRewrite (DagNode *subject, RewritingContext &context)
virtual void saveHiddenState ()

Protected Member Functions

virtual bool acceptRule (Rule *rule)=0
DagNodeapplyRules (DagNode *subject, RewritingContext &context, ExtensionInfo *extensionInfo)
void resetEachRule ()

Private Types

typedef stack< int, list< int > > IntStack

Private Attributes

int nextRule
IntStack nextRuleStack
Vector< Rule * > rules

Detailed Description

Definition at line 31 of file ruleTable.hh.

The documentation for this class was generated from the following files:

Generated by  Doxygen 1.6.0   Back to index