Package es.ucm.maude.bindings
package es.ucm.maude.bindings
These are Java bindings for the Maude specification language,
generated using SWIG.
The maude package allows manipulating terms, modules, and other entities of the Maude
specification language as Java objects, whose methods expose the operations available
as commands in the Maude interpreter and some more.
See the repository for additional information, documentation, and examples.
-
ClassesClassDescriptionRule application strategyAn iterator through the arguments of a term.An assignment
t := t'condition.Strategy call expression.Quantified choice strategyConcatenation, 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 theor-else, the success and failure
strategies are empty.Type of a conditional strategy.A generic condition fragment.An equalityt = 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.NarrowingFlagsAn iterator through narrowing solutions.Strategyone.Syntactical operator declaration.Internal Maude vector.Print flags.A rewritet => 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 strategySearch types (number of steps).A Maude sort.A sort testt : scondition.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 (eithermatch,xmatch, oramatch).A syntactical unit.Trivial strategy (eitheridleorfail).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