Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

The problem is that this information is not maintained in the search 
graph (for time and space efficiency) so when a successful path is found 
there is no easy way
to obtain it. If it had to be implemented, the two viable approaches are 
to re-implement the classes RewriteSequenceSearch and 
StateTransitionGraph to store this information or try to regenerate it 
by running the equations in on the intermediate states in the 
MetaLevelOpSymbol member function metaSearchPath().

Steven

On 4/26/12 7:59 AM, Francisco Frechina wrote:
> Hello,
>
> I have a couple of questions for the list. I've found out that while the 
> metaSearchPath operator provides a trace showing the applied rules, the 
> applied equations are omitted. I'm currently developing software that would 
> benefit from such information, which has prompted me to think: is there any 
> particular reason for not including equations in the trace, or is this 
> functionality just not implemented?
>
> In the latter case, where in the code should I look into in order to 
> implement this feature?
>
> Thank you for your attention,
>
> ---
> Francisco Frechina
> Technical University of Valencia (Spain)
> DSIC - ELP Group
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help