All Classes and Interfaces
Classes
Class
Description
Rule application strategy
An iterator through the arguments of a term.
An assignment
t := t' condition.Strategy call expression.
Quantified choice strategy
Concatenation, i.e. sequential execution, of several strategies.
Internal Maude vector.
Conditional strategy (and other related strategy constructs that are reduced to it).
Except for the full conditional strategy and for the
strategies are empty.
Except for the full conditional strategy and for the
or-else, the success and failurestrategies are empty.
Type of a conditional strategy.
A generic condition fragment.
An equality
t = t' condition.A Maude equation.
Internal Maude vector.
Special operators defined on the external language.
Data associated to a hook and passed to its callback.
Iteration strategy.
A Maude kind (connected component of sorts).
Internal Maude vector.
An iterator through the matching a term into a pattern.
A sort membership axiom.
Result of LTL model checking.
A Maude module.
Module or theory type (function, system or strategy).
Module header information.
An item that belongs to a module.
NarrowingFlags
An iterator through narrowing solutions.
Strategy
one.Syntactical operator declaration.
Internal Maude vector.
Print flags.
A rewrite
t => t' condition.Complete rewriting graph from an initial state.
An iterator through rewriting solutions.
An iterator through the solutions of a search.
A named rewriting strategy.
A Maude rewrite rule.
Internal Maude vector.
Random sample strategy
Search types (number of steps).
A Maude sort.
A sort test
t : s condition.Internal Maude vector.
Internal Maude vector.
An iterator through the solutions of a strategy search.
A Maude strategy definition.
An expression of the Maude strategy language.
Structure describing a transition in the graph.
Complete rewriting graph under the control of a strategy from an initial state.
Cause of the transition in the graph.
An iterator through the solutions of a strategy-controlled search.
Internal Maude vector.
Internal Maude vector.
Internal Maude vector.
Substitution (mapping from variables to terms).
Strategy for rewriting of subterms.
A Maude symbol (operator at the kind level).
Internal Maude vector.
Maude term with its associated operations.
Test strategy (either
match, xmatch, or amatch).A syntactical unit.
Trivial strategy (either
idle or fail).An iterator through unifiers.
Union or disjunction of several strategies.
An iterator through variants.
An iterator through unifiers or matchers for variant unification or matching.
A Maude view.
Subterm rewriting strategy that asssociates a weight to every match