úÎ#– ¶/      !"#$%&'()*+,-.unknown experimentallazar6@illinois.edu Safe-Infered#Term constructed from an iterated (iter ) operator,  for example, the s_ constructor for Nats )Generic representation of terms in Maude   unknown experimentallazar6@illinois.edu Safe-Infered8Statistics returned by Maude after a successful command Total rewrites performed Real time (milliseconds) CPU time (milliseconds) Search result substitution Several search results High-level search result High-level (e)rewrite result The rewritten term 'Statistics about the rewrite performed Low-level Maude result .Text printed to standard out during execution XML log obtained via Maude's  --xml-log option Configuration of Maude' s execution Path to the Maude executable 'Files to load before running a command Commands performed by Maude %Thrown when the XML can' t be parsed/translated to  one of the result types below &>Thrown when the log produced by Maude is not parseable as XML 'Thrown when the maude executable fails &  !"#$%&'()*/0$  !"#$%&'()*$$'&%()* #"!     #"!$'&%()*/0 Safe-Infered1234567123451324567unknown experimentallazar6@illinois.edu Safe-Infered+rewrite files term rewrites term using Maude (with files loaded). This function may throw a $. ,search files term pattern uses Maude (with files loaded) to search ( for all reachable states starting from term and matching the given  pattern . Note that pattern& should also include the search type.  For example, search [] term "=>! N:Nat"runs the Maude command search term =>! N:Nat. This function may throw a $. -runMaude conf cmd performs the Maude command cmd using the  configuration conf. This function may throw a $. .Default Maude configuration +,-.(  !"#$%&'()*+,-.+,-.+,-.8       !"#$%&'()*+,-./0123456 maude-0.6.1Language.Maude.SyntaxLanguage.Maude.Exec.TypesLanguage.Maude.ExecLanguage.Maude.Exec.XMLTermIterTerm iterationstermSorttermOp termChildrenMaudeStatistics totalRewritesrealTimecpuTime Substitution SearchResults SearchResultsearchSolutionNumbersearchStatistics searchResult RewriteResult resultTermrewriteStatistics MaudeResult maudeStdout maudeXmlLog MaudeConfmaudeCmd loadFiles MaudeCommandSearchErewriteRewriteMaudeExceptionXmlToResultFailureLogToXmlFailure MaudeFailuremaudeFailureExitCodemaudeFailureStderrmaudeFailureStdoutrewritesearchrunMaude defaultConf$fShowMaudeException$fExceptionMaudeExceptionParserOk ParseErrorparseRewriteResultparseSearchResults $fMonadParser$fFunctorParser