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

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

RewriteSequenceSearch Class Reference

Inheritance diagram for RewriteSequenceSearch:
Inheritance graph
Collaboration diagram for RewriteSequenceSearch:
Collaboration graph

List of all members.

Public Types

typedef map< int, set< Rule * > > ArcMap

Public Member Functions

bool findNextMatch ()
RewritingContextgetContext ()
const PatterngetGoal () const
int getNextState (int stateNr, int index)
int getNrStates () const
DagNodegetStateDag (int stateNr) const
const ArcMap & getStateFwdArcs (int stateNr) const
int getStateNr () const
int getStateParent (int stateNr) const
RulegetStateRule (int stateNr) const
const SubstitutiongetSubstitution () const
 RewriteSequenceSearch (RewritingContext *initial, SearchType searchType, Pattern *goal, int maxDepth=-1)
void transferCount (RewritingContext &recipient)

Private Member Functions

int findNextInterestingState ()
 NO_COPYING (RewriteSequenceSearch)

Private Attributes

int explore
int exploreDepth
int firstDeeperNodeNr
Pattern *const goal
const int maxDepth
bool needToTryInitialState
int nextArc
bool normalFormNeeded
bool reachingInitialStateOK
int stateNr

Detailed Description

Definition at line 32 of file rewriteSequenceSearch.hh.

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

Generated by  Doxygen 1.6.0   Back to index