úÎÞ6     unknown experimentallazar6@illinois.edu A single Maude search result. The result of a Maude rewrite.  The sort of the rewritten term. The rewritten term. Statistics printed by Maude. 4Synonym for text representing a search pattern; see . -Synonym for text to be manipulated by Maude. Configuration of Maude' s execution. Path to the Maude executable. (Files to load before running a command. -Whether Maude should print with parentheses. !The default Maude configuration. $Maude option flags which force Maude's output to be as relevant as  possible. rewrite files term, performs a single Maude rewrite command on  term with files loaded. search files term pattern( uses Maude to search for all reachable  states starting from term and matching the given pattern . Note that  pattern3 should also include the search type. For example, search [] term "=>! N:Nat"runMaude conf cmd( runs the Maude using the configuration conf  and performs the command cmd.  Parse Maude';s output into a RewriteResult. The current implementation D does very little sanity checking and can not parse Maude failures. !Parse the output of a successful search command. ;Parsec parser that parses the output of a successful Maude  rewrite command. ;Parsec parser that parses the output of a successful Maude  search command. 2Parsec parser that parses a single search result. Parse a single line. HCreate a temporary file which contains the commands Maude should run at K startup: load file commands, formatting commands, the command to execute,  and the quit command.              maude-0.3.0 Foreign.Maude SearchResultsearchResultStatesearchStatisticssearchResultTerm RewriteResult resultSort resultTerm statistics MaudeCommandSearchRewritePatternTerm MaudeConfmaudeCmd loadFiles printParens defaultConfrewritesearchrunMaudeparseRewriteResultparseSearchResults maudeArgspRewriteResultpSearchResults pSearchResultpLine newRunnerFile