All Classes and Interfaces
Classes
Class
Description
An iterator through the arguments of a term.
An assignment
t := t' condition.Internal Maude vector.
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.
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.
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.
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.
Substitution (mapping from variables to terms).
A Maude symbol (operator at the kind level).
Internal Maude vector.
Maude term with its associated operations.
A syntactical unit.
An iterator through unifiers.
An iterator through variants.
An iterator through unifiers or matchers for variant unification or matching.
A Maude view.