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.
-
ClassesClassDescriptionAn iterator through the arguments of a term.An assignment
t := t'condition.Internal Maude vector.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.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.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.Search 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.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.