Index

A

add(int, ModuleHeader) - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

add(int, StringVector) - Method in class es.ucm.maude.bindings.StringVectorVector

 

add(int, Term) - Method in class es.ucm.maude.bindings.TermVector

 

add(int, TermPair) - Method in class es.ucm.maude.bindings.TermPairVector

 

add(int, Token) - Method in class es.ucm.maude.bindings.TokenVector

 

add(int, View) - Method in class es.ucm.maude.bindings.ViewVector

 

add(int, Integer) - Method in class es.ucm.maude.bindings.IntVector

 

add(int, String) - Method in class es.ucm.maude.bindings.StringVector

 

add(ModuleHeader) - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

add(StringVector) - Method in class es.ucm.maude.bindings.StringVectorVector

 

add(Term) - Method in class es.ucm.maude.bindings.TermVector

 

add(TermPair) - Method in class es.ucm.maude.bindings.TermPairVector

 

add(Token) - Method in class es.ucm.maude.bindings.TokenVector

 

add(View) - Method in class es.ucm.maude.bindings.ViewVector

 

add(Integer) - Method in class es.ucm.maude.bindings.IntVector

 

add(String) - Method in class es.ucm.maude.bindings.StringVector

 

ANY_STEPS - Static variable in class es.ucm.maude.bindings.SearchType

->*

append(ConditionFragment) - Method in class es.ucm.maude.bindings.Condition

Append a new element to the vector.

append(Equation) - Method in class es.ucm.maude.bindings.EquationVector

Append a new element to the vector.

append(Kind) - Method in class es.ucm.maude.bindings.KindVector

Append a new element to the vector.

append(MembershipAxiom) - Method in class es.ucm.maude.bindings.SubsortVector

Append a new element to the vector.

append(OpDeclaration) - Method in class es.ucm.maude.bindings.OpDeclVector

Append a new element to the vector.

append(RewriteStrategy) - Method in class es.ucm.maude.bindings.StratVector

Append a new element to the vector.

append(Rule) - Method in class es.ucm.maude.bindings.RuleVector

Append a new element to the vector.

append(Sort) - Method in class es.ucm.maude.bindings.SortVector

Append a new element to the vector.

append(StrategyDefinition) - Method in class es.ucm.maude.bindings.StratDefVector

Append a new element to the vector.

append(Symbol) - Method in class es.ucm.maude.bindings.SymbolVector

Append a new element to the vector.

apply(String) - Method in class es.ucm.maude.bindings.Term

Apply any rule with the given label.

apply(String, Substitution) - Method in class es.ucm.maude.bindings.Term

Apply any rule with the given label.

apply(String, Substitution, int) - Method in class es.ucm.maude.bindings.Term

Apply any rule with the given label.

apply(String, Substitution, int, int) - Method in class es.ucm.maude.bindings.Term

Apply any rule with the given label.

argument() - Method in class es.ucm.maude.bindings.ArgumentIterator

Get the argument pointed by this iterator.

ArgumentIterator - Class in es.ucm.maude.bindings

An iterator through the arguments of a term.

arguments() - Method in class es.ucm.maude.bindings.Term

Iterate over the arguments of this term.

arguments(boolean) - Method in class es.ucm.maude.bindings.Term

Iterate over the arguments of this term.

arity() - Method in class es.ucm.maude.bindings.RewriteStrategy

Get the number of arguments of the strategy.

arity() - Method in class es.ucm.maude.bindings.Symbol

Get the number of arguments.

AssignmentCondition - Class in es.ucm.maude.bindings

An assignment t := t' condition.

AssignmentCondition(Term, Term) - Constructor for class es.ucm.maude.bindings.AssignmentCondition

 

AT_LEAST_ONE_STEP - Static variable in class es.ucm.maude.bindings.SearchType

->+

B

BRANCH - Static variable in class es.ucm.maude.bindings.SearchType

->#

C

capacity() - Method in class es.ucm.maude.bindings.Condition

Reserved capacity of the vector.

capacity() - Method in class es.ucm.maude.bindings.EquationVector

Reserved capacity of the vector.

capacity() - Method in class es.ucm.maude.bindings.IntVector

 

capacity() - Method in class es.ucm.maude.bindings.KindVector

Reserved capacity of the vector.

capacity() - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

capacity() - Method in class es.ucm.maude.bindings.OpDeclVector

Reserved capacity of the vector.

capacity() - Method in class es.ucm.maude.bindings.RuleVector

Reserved capacity of the vector.

capacity() - Method in class es.ucm.maude.bindings.SortVector

Reserved capacity of the vector.

capacity() - Method in class es.ucm.maude.bindings.StratDefVector

Reserved capacity of the vector.

capacity() - Method in class es.ucm.maude.bindings.StratVector

Reserved capacity of the vector.

capacity() - Method in class es.ucm.maude.bindings.StringVector

 

capacity() - Method in class es.ucm.maude.bindings.StringVectorVector

 

capacity() - Method in class es.ucm.maude.bindings.SubsortVector

Reserved capacity of the vector.

capacity() - Method in class es.ucm.maude.bindings.SymbolVector

Reserved capacity of the vector.

capacity() - Method in class es.ucm.maude.bindings.TermPairVector

 

capacity() - Method in class es.ucm.maude.bindings.TermVector

 

capacity() - Method in class es.ucm.maude.bindings.TokenVector

 

capacity() - Method in class es.ucm.maude.bindings.ViewVector

 

check() - Method in class es.ucm.maude.bindings.Term

Check an SMT formula.

clear() - Method in class es.ucm.maude.bindings.Condition

Set the vector length to zero.

clear() - Method in class es.ucm.maude.bindings.EquationVector

Set the vector length to zero.

clear() - Method in class es.ucm.maude.bindings.IntVector

 

clear() - Method in class es.ucm.maude.bindings.KindVector

Set the vector length to zero.

clear() - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

clear() - Method in class es.ucm.maude.bindings.OpDeclVector

Set the vector length to zero.

clear() - Method in class es.ucm.maude.bindings.RuleVector

Set the vector length to zero.

clear() - Method in class es.ucm.maude.bindings.SortVector

Set the vector length to zero.

clear() - Method in class es.ucm.maude.bindings.StratDefVector

Set the vector length to zero.

clear() - Method in class es.ucm.maude.bindings.StratVector

Set the vector length to zero.

clear() - Method in class es.ucm.maude.bindings.StringVector

 

clear() - Method in class es.ucm.maude.bindings.StringVectorVector

 

clear() - Method in class es.ucm.maude.bindings.SubsortVector

Set the vector length to zero.

clear() - Method in class es.ucm.maude.bindings.SymbolVector

Set the vector length to zero.

clear() - Method in class es.ucm.maude.bindings.TermPairVector

 

clear() - Method in class es.ucm.maude.bindings.TermVector

 

clear() - Method in class es.ucm.maude.bindings.TokenVector

 

clear() - Method in class es.ucm.maude.bindings.ViewVector

 

Condition - Class in es.ucm.maude.bindings

Internal Maude vector.

Condition() - Constructor for class es.ucm.maude.bindings.Condition

Construct a vector.

Condition(long) - Constructor for class es.ucm.maude.bindings.Condition

Construct a vector.

ConditionFragment - Class in es.ucm.maude.bindings

A generic condition fragment.

connectEqHook(String, Hook) - Static method in class es.ucm.maude.bindings.maude

Connect a callback for the reduction of a special operator declared with
the SpecialHubSymbol id-hook.

connectRlHook(String, Hook) - Static method in class es.ucm.maude.bindings.maude

Connect a callback for rule rewriting a special operator declared with
the SpecialHubSymbol id-hook.

copy() - Method in class es.ucm.maude.bindings.Term

Get a copy of this term.

D

DELAY - Static variable in class es.ucm.maude.bindings.NarrowingFlags

Whether variant unifiers are filtered before using the first one for narrowing (delay option in the command).

delete() - Method in class es.ucm.maude.bindings.ArgumentIterator

 

delete() - Method in class es.ucm.maude.bindings.AssignmentCondition

 

delete() - Method in class es.ucm.maude.bindings.Condition

 

delete() - Method in class es.ucm.maude.bindings.ConditionFragment

 

delete() - Method in class es.ucm.maude.bindings.EqualityCondition

 

delete() - Method in class es.ucm.maude.bindings.Equation

 

delete() - Method in class es.ucm.maude.bindings.EquationVector

 

delete() - Method in class es.ucm.maude.bindings.Hook

 

delete() - Method in class es.ucm.maude.bindings.HookData

 

delete() - Method in class es.ucm.maude.bindings.IntVector

 

delete() - Method in class es.ucm.maude.bindings.Iterator

 

delete() - Method in class es.ucm.maude.bindings.Kind

 

delete() - Method in class es.ucm.maude.bindings.KindVector

 

delete() - Method in class es.ucm.maude.bindings.MatchSearchState

 

delete() - Method in class es.ucm.maude.bindings.MembershipAxiom

 

delete() - Method in class es.ucm.maude.bindings.ModelCheckResult

 

delete() - Method in class es.ucm.maude.bindings.Module

 

delete() - Method in class es.ucm.maude.bindings.ModuleHeader

 

delete() - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

delete() - Method in class es.ucm.maude.bindings.ModuleItem

 

delete() - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

 

delete() - Method in class es.ucm.maude.bindings.OpDeclaration

 

delete() - Method in class es.ucm.maude.bindings.OpDeclVector

 

delete() - Method in class es.ucm.maude.bindings.RewriteCondition

 

delete() - Method in class es.ucm.maude.bindings.RewriteGraph

 

delete() - Method in class es.ucm.maude.bindings.RewriteSearchState

 

delete() - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

 

delete() - Method in class es.ucm.maude.bindings.RewriteStrategy

 

delete() - Method in class es.ucm.maude.bindings.Rule

 

delete() - Method in class es.ucm.maude.bindings.RuleVector

 

delete() - Method in class es.ucm.maude.bindings.Sort

 

delete() - Method in class es.ucm.maude.bindings.SortTestCondition

 

delete() - Method in class es.ucm.maude.bindings.SortVector

 

delete() - Method in class es.ucm.maude.bindings.StratDefVector

 

delete() - Method in class es.ucm.maude.bindings.StrategicSearch

 

delete() - Method in class es.ucm.maude.bindings.StrategyDefinition

 

delete() - Method in class es.ucm.maude.bindings.StrategyExpression

 

delete() - Method in class es.ucm.maude.bindings.StrategyGraphTransition

 

delete() - Method in class es.ucm.maude.bindings.StrategyRewriteGraph

 

delete() - Method in class es.ucm.maude.bindings.StrategySequenceSearch

 

delete() - Method in class es.ucm.maude.bindings.StratVector

 

delete() - Method in class es.ucm.maude.bindings.StringVector

 

delete() - Method in class es.ucm.maude.bindings.StringVectorVector

 

delete() - Method in class es.ucm.maude.bindings.SubsortVector

 

delete() - Method in class es.ucm.maude.bindings.Substitution

 

delete() - Method in class es.ucm.maude.bindings.Symbol

 

delete() - Method in class es.ucm.maude.bindings.SymbolVector

 

delete() - Method in class es.ucm.maude.bindings.Term

 

delete() - Method in class es.ucm.maude.bindings.TermIntPair

 

delete() - Method in class es.ucm.maude.bindings.TermPair

 

delete() - Method in class es.ucm.maude.bindings.TermPairVector

 

delete() - Method in class es.ucm.maude.bindings.TermSubstitutionPair

 

delete() - Method in class es.ucm.maude.bindings.TermVector

 

delete() - Method in class es.ucm.maude.bindings.Token

 

delete() - Method in class es.ucm.maude.bindings.TokenVector

 

delete() - Method in class es.ucm.maude.bindings.UnificationProblem

 

delete() - Method in class es.ucm.maude.bindings.VariantSearch

 

delete() - Method in class es.ucm.maude.bindings.VariantUnifierSearch

 

delete() - Method in class es.ucm.maude.bindings.View

 

delete() - Method in class es.ucm.maude.bindings.ViewVector

 

domainKind(int) - Method in class es.ucm.maude.bindings.Symbol

Get the kind for the given argument.

downModule(Term) - Static method in class es.ucm.maude.bindings.maude

Get a module object from its metarepresentation in this
module, which must include the META-LEVEL module.

downStrategy(Term) - Method in class es.ucm.maude.bindings.Module

Get a strategy expression in this module from its
metarepresentation in (possibly) another module.

downTerm(Term) - Method in class es.ucm.maude.bindings.Module

Get a term in this module from its metarepresentation
in (possibly) another module.

E

empty() - Method in class es.ucm.maude.bindings.Condition

Is the vector empty?

empty() - Method in class es.ucm.maude.bindings.EquationVector

Is the vector empty?

empty() - Method in class es.ucm.maude.bindings.KindVector

Is the vector empty?

empty() - Method in class es.ucm.maude.bindings.OpDeclVector

Is the vector empty?

empty() - Method in class es.ucm.maude.bindings.RuleVector

Is the vector empty?

empty() - Method in class es.ucm.maude.bindings.SortVector

Is the vector empty?

empty() - Method in class es.ucm.maude.bindings.StratDefVector

Is the vector empty?

empty() - Method in class es.ucm.maude.bindings.StratVector

Is the vector empty?

empty() - Method in class es.ucm.maude.bindings.SubsortVector

Is the vector empty?

empty() - Method in class es.ucm.maude.bindings.SymbolVector

Is the vector empty?

equal(Equation) - Method in class es.ucm.maude.bindings.Equation

Check whether two equation are the same.

equal(Kind) - Method in class es.ucm.maude.bindings.Kind

Check whether two kind are the same.

equal(MembershipAxiom) - Method in class es.ucm.maude.bindings.MembershipAxiom

Check whether two membership axiom are the same.

equal(RewriteStrategy) - Method in class es.ucm.maude.bindings.RewriteStrategy

Check whether two strategy are the same.

equal(Rule) - Method in class es.ucm.maude.bindings.Rule

Check whether two rule are the same.

equal(Sort) - Method in class es.ucm.maude.bindings.Sort

Check whether two sort are the same.

equal(StrategyDefinition) - Method in class es.ucm.maude.bindings.StrategyDefinition

Check whether two strategy definition are the same.

equal(StrategyExpression) - Method in class es.ucm.maude.bindings.StrategyExpression

Check whether two strategy expression are the same.

Note: Not accurate (false negatives).

equal(Symbol) - Method in class es.ucm.maude.bindings.Symbol

Check whether two symbols are the same.

equal(Term) - Method in class es.ucm.maude.bindings.Term

Compare two terms for equality.

EqualityCondition - Class in es.ucm.maude.bindings

An equality t = t' condition.

EqualityCondition(Term, Term) - Constructor for class es.ucm.maude.bindings.EqualityCondition

 

Equation - Class in es.ucm.maude.bindings

A Maude equation.

EquationVector - Class in es.ucm.maude.bindings

Internal Maude vector.

EquationVector() - Constructor for class es.ucm.maude.bindings.EquationVector

Construct a vector.

EquationVector(long) - Constructor for class es.ucm.maude.bindings.EquationVector

Construct a vector.

erewrite() - Method in class es.ucm.maude.bindings.Term

Rewrite a term following the semantics of the erewrite command.

erewrite(int) - Method in class es.ucm.maude.bindings.Term

Rewrite a term following the semantics of the erewrite command.

erewrite(int, int) - Method in class es.ucm.maude.bindings.Term

Rewrite a term following the semantics of the erewrite command.

errorFree() - Method in class es.ucm.maude.bindings.Kind

Whether the kind contains error terms.

es.ucm.maude.bindings - package es.ucm.maude.bindings

These are Java bindings for the Maude specification language, generated using SWIG.

F

fillContext(Term) - Method in class es.ucm.maude.bindings.MatchSearchState

Get the context of the match filled with the given term.

fillContext(Term) - Method in class es.ucm.maude.bindings.RewriteSearchState

Get the context of the match filled with the given term.

FILTER - Static variable in class es.ucm.maude.bindings.NarrowingFlags

Whether to activate filtered variant unification (filter option in the command).

filteringIncomplete() - Method in class es.ucm.maude.bindings.VariantUnifierSearch

Whether filetering was incomplete due to incomplete unification algorithms.

find(String) - Method in class es.ucm.maude.bindings.Substitution

Find the value of a given variable by name.

find(String, Sort) - Method in class es.ucm.maude.bindings.Substitution

Find the value of a given variable by name.

findSort(String) - Method in class es.ucm.maude.bindings.Module

Finds a sort by its name in the module.

findSymbol(String, KindVector, Kind) - Method in class es.ucm.maude.bindings.Module

Find a symbol by its name and signature in the module.

FOLD - Static variable in class es.ucm.maude.bindings.NarrowingFlags

Whether to activate folding (fold option or fvu-narrow command).

frewrite() - Method in class es.ucm.maude.bindings.Term

Rewrite a term following the semantics of the frewrite command.

frewrite(int) - Method in class es.ucm.maude.bindings.Term

Rewrite a term following the semantics of the frewrite command.

frewrite(int, int) - Method in class es.ucm.maude.bindings.Term

Rewrite a term following the semantics of the frewrite command.

FUNCTIONAL_MODULE - Static variable in class es.ucm.maude.bindings.Module.ModuleType

Functional module (fmod)

FUNCTIONAL_THEORY - Static variable in class es.ucm.maude.bindings.Module.ModuleType

Functional theory (fth)

G

get(int) - Method in class es.ucm.maude.bindings.IntVector

 

get(int) - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

get(int) - Method in class es.ucm.maude.bindings.StringVector

 

get(int) - Method in class es.ucm.maude.bindings.StringVectorVector

 

get(int) - Method in class es.ucm.maude.bindings.TermPairVector

 

get(int) - Method in class es.ucm.maude.bindings.TermVector

 

get(int) - Method in class es.ucm.maude.bindings.TokenVector

 

get(int) - Method in class es.ucm.maude.bindings.ViewVector

 

get(long) - Method in class es.ucm.maude.bindings.Condition

Get a vector position value.

get(long) - Method in class es.ucm.maude.bindings.EquationVector

Get a vector position value.

get(long) - Method in class es.ucm.maude.bindings.KindVector

Get a vector position value.

get(long) - Method in class es.ucm.maude.bindings.OpDeclVector

Get a vector position value.

get(long) - Method in class es.ucm.maude.bindings.RuleVector

Get a vector position value.

get(long) - Method in class es.ucm.maude.bindings.SortVector

Get a vector position value.

get(long) - Method in class es.ucm.maude.bindings.StratDefVector

Get a vector position value.

get(long) - Method in class es.ucm.maude.bindings.StratVector

Get a vector position value.

get(long) - Method in class es.ucm.maude.bindings.SubsortVector

Get a vector position value.

get(long) - Method in class es.ucm.maude.bindings.SymbolVector

Get a vector position value.

get_variants() - Method in class es.ucm.maude.bindings.Term

Compute the most general variants of this term.

get_variants(boolean) - Method in class es.ucm.maude.bindings.Term

Compute the most general variants of this term.

get_variants(boolean, TermVector) - Method in class es.ucm.maude.bindings.Term

Compute the most general variants of this term.

getCondition() - Method in class es.ucm.maude.bindings.Equation

Get the condition of the equation.

getCondition() - Method in class es.ucm.maude.bindings.MembershipAxiom

Get the condition of the membership axiom.

getCondition() - Method in class es.ucm.maude.bindings.Rule

Get the condition of the rule.

getCondition() - Method in class es.ucm.maude.bindings.StrategyDefinition

Get the condition of the strategy definition.

getCurrentModule() - Static method in class es.ucm.maude.bindings.maude

Get the current module (the last module inserted or explicitly selected,
like in the Maude interpreter).

getCycle() - Method in class es.ucm.maude.bindings.ModelCheckResult

The counterexample cycle.

getData() - Method in class es.ucm.maude.bindings.HookData

Get the data associated to the hook.

getDefinitions() - Method in class es.ucm.maude.bindings.RewriteStrategy

Get the definitions for this strategy.

getDomain() - Method in class es.ucm.maude.bindings.RewriteStrategy

Get the argument domain.

getDomainAndRange() - Method in class es.ucm.maude.bindings.OpDeclaration

Get domain and range sorts (range is last).

getEquations() - Method in class es.ucm.maude.bindings.Module

Get the equations defined in the module.

getFirst() - Method in class es.ucm.maude.bindings.TermIntPair

 

getFirst() - Method in class es.ucm.maude.bindings.TermPair

 

getFirst() - Method in class es.ucm.maude.bindings.TermSubstitutionPair

 

getFormat() - Method in class es.ucm.maude.bindings.Symbol

Get the format attribute of the symbol.

getFromTheory() - Method in class es.ucm.maude.bindings.View

Get the from theory of the view.

getFrontierStates() - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

Get the frontier states.

getFrozen() - Method in class es.ucm.maude.bindings.Symbol

Get the frozen attribute of the symbol.

getHolds() - Method in class es.ucm.maude.bindings.ModelCheckResult

Whether the property holds.

getIdentity() - Method in class es.ucm.maude.bindings.Symbol

Get the identity element for this symbol (if any).

getIdHooks() - Method in class es.ucm.maude.bindings.Symbol

Get the id-hooks of the special operator (or an empty sequence otherwise).

getIterExponent() - Method in class es.ucm.maude.bindings.Term

Get the exponent of an iterable symbol or zero otherwise.

getKinds() - Method in class es.ucm.maude.bindings.Module

Get the kinds defined in the module.

getLabel() - Method in class es.ucm.maude.bindings.Equation

Get the label attribute.

getLabel() - Method in class es.ucm.maude.bindings.MembershipAxiom

Get the label attribute.

getLabel() - Method in class es.ucm.maude.bindings.Rule

Get the label attribute.

getLabel() - Method in class es.ucm.maude.bindings.StrategyDefinition

Get the label attribute.

getLeadIn() - Method in class es.ucm.maude.bindings.ModelCheckResult

The counterexample path to the cycle.

getLhs() - Method in class es.ucm.maude.bindings.AssignmentCondition

Get the left-hand-side term.

getLhs() - Method in class es.ucm.maude.bindings.EqualityCondition

Get the left-hand-side term.

getLhs() - Method in class es.ucm.maude.bindings.Equation

Get the left-hand-side term.

getLhs() - Method in class es.ucm.maude.bindings.MembershipAxiom

Get the term of the membership axiom.

getLhs() - Method in class es.ucm.maude.bindings.RewriteCondition

Get the left-hand-side term.

getLhs() - Method in class es.ucm.maude.bindings.Rule

Get the left-hand-side term.

getLhs() - Method in class es.ucm.maude.bindings.SortTestCondition

Get the term of the sort test.

getLhs() - Method in class es.ucm.maude.bindings.StrategyDefinition

Get the left-hand side of the strategy definition as a term.

getLineNumber() - Method in class es.ucm.maude.bindings.Equation

Get the line number information for this item as formatted by Maude.

The format of the string is usually filename, line line (module)
where the second line is the integral line number, and module is
the module type and name where this item was originally defined.

getLineNumber() - Method in class es.ucm.maude.bindings.MembershipAxiom

Get the line number information for this item as formatted by Maude.

The format of the string is usually filename, line line (module)
where the second line is the integral line number, and module is
the module type and name where this item was originally defined.

getLineNumber() - Method in class es.ucm.maude.bindings.RewriteStrategy

Get the line number information for this item as formatted by Maude.

The format of the string is usually filename, line line (module)
where the second line is the integral line number, and module is
the module type and name where this item was originally defined.

getLineNumber() - Method in class es.ucm.maude.bindings.Rule

Get the line number information for this item as formatted by Maude.

The format of the string is usually filename, line line (module)
where the second line is the integral line number, and module is
the module type and name where this item was originally defined.

getLineNumber() - Method in class es.ucm.maude.bindings.Sort

Get the line number information for this item as formatted by Maude.

The format of the string is usually filename, line line (module)
where the second line is the integral line number, and module is
the module type and name where this item was originally defined.

getLineNumber() - Method in class es.ucm.maude.bindings.StrategyDefinition

Get the line number information for this item as formatted by Maude.

The format of the string is usually filename, line line (module)
where the second line is the integral line number, and module is
the module type and name where this item was originally defined.

getLineNumber() - Method in class es.ucm.maude.bindings.Symbol

Get the line number information for this item as formatted by Maude.

The format of the string is usually filename, line line (module)
where the second line is the integral line number, and module is
the module type and name where this item was originally defined.

getMembershipAxioms() - Method in class es.ucm.maude.bindings.Module

Get the membership axioms defined in the module.

getMetadata() - Method in class es.ucm.maude.bindings.Equation

Get the free text metadata attribute of this statement.

getMetadata() - Method in class es.ucm.maude.bindings.MembershipAxiom

Get the free text metadata attribute of this statement.

getMetadata() - Method in class es.ucm.maude.bindings.RewriteStrategy

Get the free text metadata attribute of this statement.

getMetadata() - Method in class es.ucm.maude.bindings.Rule

Get the free text metadata attribute of this statement.

getMetadata() - Method in class es.ucm.maude.bindings.StrategyDefinition

Get the free text metadata attribute of this statement.

getMetadata(int) - Method in class es.ucm.maude.bindings.Symbol

Get the metadata attribute of the given declaration of this symbol.

getModule() - Method in class es.ucm.maude.bindings.ModuleItem

Get the module where this item is defined.

getModule(String) - Static method in class es.ucm.maude.bindings.maude

Get a module or theory by name.

getModules() - Static method in class es.ucm.maude.bindings.maude

Get the list of loaded modules.

getModuleType() - Method in class es.ucm.maude.bindings.Module

Get the module type.

This allows distinguishing modules from theories, and the
functional, system and strategy variants within them.

getMostGeneralStates() - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

Get the most general states.

getName() - Method in class es.ucm.maude.bindings.ModuleHeader

Name of the module

getName() - Method in class es.ucm.maude.bindings.RewriteStrategy

 

getNextState(int, int) - Method in class es.ucm.maude.bindings.RewriteGraph

List the successors of a state in the graph.

getNextState(int, int) - Method in class es.ucm.maude.bindings.StrategyRewriteGraph

List the successors of a state in the graph.

getNO_CONDITION() - Static method in class es.ucm.maude.bindings.Term

An empty condition to be used as a placeholder.

getNrBuchiStates() - Method in class es.ucm.maude.bindings.ModelCheckResult

Number of states in the Büchi automaton.

getNrImportedSorts() - Method in class es.ucm.maude.bindings.Module

Number of sorts imported from other modules or parameters.

getNrImportedStrategies() - Method in class es.ucm.maude.bindings.Module

Number of strategies imported from other modules or parameters.

getNrImportedSymbols() - Method in class es.ucm.maude.bindings.Module

Number of symbols imported from other modules or parameters.

getNrOriginalEquations() - Method in class es.ucm.maude.bindings.Module

Number of equations from this module.

getNrOriginalRules() - Method in class es.ucm.maude.bindings.Module

Number of rules from this module.

getNrOriginalStrategyDefinitions() - Method in class es.ucm.maude.bindings.Module

Number of strategy definitions from this module.

getNrParameters() - Method in class es.ucm.maude.bindings.Module

Number of parameters of the parameterized module.

getNrRealStates() - Method in class es.ucm.maude.bindings.StrategyRewriteGraph

Get the number of real (not merged) states in the graph (in linear time).

getNrRewrites() - Method in class es.ucm.maude.bindings.RewriteGraph

Get the number of rewrites used to generate this graph,
including the evaluation of atomic propositions.

getNrRewrites() - Method in class es.ucm.maude.bindings.StrategyRewriteGraph

Get the number of rewrites used to generate this graph,
including the evaluation of atomic propositions.

getNrStates() - Method in class es.ucm.maude.bindings.RewriteGraph

Get the number of states in the graph.

getNrStates() - Method in class es.ucm.maude.bindings.StrategyRewriteGraph

Get the number of states in the graph.

getOpDeclarations() - Method in class es.ucm.maude.bindings.Symbol

Get the declarations of the symbol.

getParameterName(int) - Method in class es.ucm.maude.bindings.Module

Get the name of a module parameter.

getParameterTheory(int) - Method in class es.ucm.maude.bindings.Module

Get the theory of the given parameter.

getPrec() - Method in class es.ucm.maude.bindings.Symbol

Get the syntactic precedence of the symbol.

getRangeSort() - Method in class es.ucm.maude.bindings.Symbol

Get the range sort of the symbol.

getRewriteCount() - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

Get the number of rewrites until this term has been found.

getRewriteCount() - Method in class es.ucm.maude.bindings.StrategicSearch

Get the number of rewrites until the solution has been found.

getRewriteCount() - Method in class es.ucm.maude.bindings.StrategySequenceSearch

Get the number of rewrites until this term has been found.

getRhs() - Method in class es.ucm.maude.bindings.AssignmentCondition

Get the right-hand-side term.

getRhs() - Method in class es.ucm.maude.bindings.EqualityCondition

Get the right-hand-side term.

getRhs() - Method in class es.ucm.maude.bindings.Equation

Get the right-hand-side term.

getRhs() - Method in class es.ucm.maude.bindings.RewriteCondition

Get the right-hand-side term.

getRhs() - Method in class es.ucm.maude.bindings.Rule

Get the right-hand-side term.

getRhs() - Method in class es.ucm.maude.bindings.StrategyDefinition

Get the strategy definition.

getRule() - Method in class es.ucm.maude.bindings.RewriteSearchState

Get the applied rule.

getRule() - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

Get the rule leading to the given state.

getRule() - Method in class es.ucm.maude.bindings.StrategyGraphTransition

Get the rule applied, in case the transition is a rule application.

getRule(int) - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

Get the rule leading to the given state.

getRule(int, int) - Method in class es.ucm.maude.bindings.RewriteGraph

Get a rule that connects two states.

getRules() - Method in class es.ucm.maude.bindings.Module

Get the rules defined in the module.

getSecond() - Method in class es.ucm.maude.bindings.TermIntPair

 

getSecond() - Method in class es.ucm.maude.bindings.TermPair

 

getSecond() - Method in class es.ucm.maude.bindings.TermSubstitutionPair

 

getSort() - Method in class es.ucm.maude.bindings.MembershipAxiom

Get the sort of the membership axiom.

getSort() - Method in class es.ucm.maude.bindings.SortTestCondition

Get the sort of the sort test.

getSort() - Method in class es.ucm.maude.bindings.Term

Get the sort of this term.

getSorts() - Method in class es.ucm.maude.bindings.Module

Get the sorts declared in the module.

getStateNr() - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

Get an internal state number that allows reconstructing
the path to this term.

getStateNr() - Method in class es.ucm.maude.bindings.StrategySequenceSearch

Get an internal state number that allows reconstructing
the path to this term.

getStateParent(int) - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

Get the parent state.

getStateParent(int) - Method in class es.ucm.maude.bindings.RewriteGraph

Get the (one) parent of a given state.

getStateParent(int) - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

Get the parent state.

getStateParent(int) - Method in class es.ucm.maude.bindings.StrategySequenceSearch

Get the parent state.

getStateStrategy(int) - Method in class es.ucm.maude.bindings.StrategyRewriteGraph

Get the strategy that will be executed next
from the given state.

getStateTerm(int) - Method in class es.ucm.maude.bindings.RewriteGraph

Get the term of the given state.

getStateTerm(int) - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

Get the term of a given state.

getStateTerm(int) - Method in class es.ucm.maude.bindings.StrategyRewriteGraph

Get the term of the given state.

getStateTerm(int) - Method in class es.ucm.maude.bindings.StrategySequenceSearch

Get the term of a given state.

getStrategies() - Method in class es.ucm.maude.bindings.Module

Get the strategies declared in the module.

getStrategy() - Method in class es.ucm.maude.bindings.StrategyDefinition

Get the named strategy being defined.

getStrategy() - Method in class es.ucm.maude.bindings.StrategyGraphTransition

Get the strategy executed, in case of an opaque transition.

getStrategy() - Method in class es.ucm.maude.bindings.Symbol

Get the reduction strategy of the symbol.

getStrategyContinuation() - Method in class es.ucm.maude.bindings.StrategySequenceSearch

Get the next strategy to be executed from the given state.

getStrategyContinuation(int) - Method in class es.ucm.maude.bindings.StrategySequenceSearch

Get the next strategy to be executed from the given state.

getStrategyDefinitions() - Method in class es.ucm.maude.bindings.Module

Get the strategy definitions defined in the module.

getSubjectSort() - Method in class es.ucm.maude.bindings.RewriteStrategy

Get the sort to which the strategy is intended to be applied.

getSubsorts() - Method in class es.ucm.maude.bindings.Sort

Get the subsorts of this sort.

getSubstitution() - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

Get the accumulated substitution.

getSubstitution() - Method in class es.ucm.maude.bindings.RewriteSearchState

Get the matching substitution.

getSubstitution() - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

Get the matching substitution of the solution into the pattern.

getSubstitution() - Method in class es.ucm.maude.bindings.StrategySequenceSearch

Get the matching substitution of the solution into the pattern.

getSupersorts() - Method in class es.ucm.maude.bindings.Sort

Get the supersorts of this sort.

getSymbol(String) - Method in class es.ucm.maude.bindings.HookData

Get the symbol associated to the hook with the given name.

getSymbols() - Method in class es.ucm.maude.bindings.Module

Get the symbols declared in the module.

getTerm(String) - Method in class es.ucm.maude.bindings.HookData

Get the term associated to the hook with the given name.

getToModule() - Method in class es.ucm.maude.bindings.View

Get the to module of the view.

getTransition() - Method in class es.ucm.maude.bindings.StrategySequenceSearch

Get the transition leading to the given state.

getTransition(int) - Method in class es.ucm.maude.bindings.StrategySequenceSearch

Get the transition leading to the given state.

getTransition(int, int) - Method in class es.ucm.maude.bindings.StrategyRewriteGraph

Get the transition that connects two states (if any).

getType() - Method in class es.ucm.maude.bindings.ModuleHeader

Type of the module (see Module class)

getType() - Method in class es.ucm.maude.bindings.StrategyGraphTransition

Get the transition type (rule application, opaque strategy,
or solution).

getUnifier() - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

Get the variant unifier.

getValue() - Method in class es.ucm.maude.bindings.Iterator

 

getVariable() - Method in class es.ucm.maude.bindings.Iterator

 

getVarName() - Method in class es.ucm.maude.bindings.Term

Get the name of the variable if the current term is a variable or
a null value otherwise.

getView(String) - Static method in class es.ucm.maude.bindings.maude

Get a view by name.

getViews() - Static method in class es.ucm.maude.bindings.maude

Get the list of loaded views.

ground() - Method in class es.ucm.maude.bindings.Term

Is this term ground?

H

hasAttr(int) - Method in class es.ucm.maude.bindings.Symbol

Whether the symbol has the given attribute.

hasCondition() - Method in class es.ucm.maude.bindings.Equation

Whether the equation has a condition.

hasCondition() - Method in class es.ucm.maude.bindings.Rule

Whether the rule has a condition.

hasCondition() - Method in class es.ucm.maude.bindings.StrategyDefinition

Whether the strategy definition has a condition.

hasFreeParameters() - Method in class es.ucm.maude.bindings.Module

Is this a parameterized module with free parameters?

hash() - Method in class es.ucm.maude.bindings.Equation

Get the hash value of the equation.

hash() - Method in class es.ucm.maude.bindings.Kind

Get the hash value of the kind.

hash() - Method in class es.ucm.maude.bindings.MembershipAxiom

Get the hash value of the membership axiom.

hash() - Method in class es.ucm.maude.bindings.RewriteStrategy

Get the hash value of the strategy.

hash() - Method in class es.ucm.maude.bindings.Rule

Get the hash value of the rule.

hash() - Method in class es.ucm.maude.bindings.Sort

Get the hash value of the sort.

hash() - Method in class es.ucm.maude.bindings.StrategyDefinition

Get the hash value of the strategy definition.

hash() - Method in class es.ucm.maude.bindings.Symbol

Get the hash value of the symbol.

hash() - Method in class es.ucm.maude.bindings.Term

Get the hash value of the term.

hasNext() - Method in class es.ucm.maude.bindings.MatchSearchState

 

hasNext() - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

 

hasNext() - Method in class es.ucm.maude.bindings.RewriteSearchState

 

hasNext() - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

 

hasNext() - Method in class es.ucm.maude.bindings.StrategicSearch

 

hasNext() - Method in class es.ucm.maude.bindings.StrategySequenceSearch

 

hasNext() - Method in class es.ucm.maude.bindings.UnificationProblem

 

hasNext() - Method in class es.ucm.maude.bindings.VariantSearch

 

hasNext() - Method in class es.ucm.maude.bindings.VariantUnifierSearch

 

Hook - Class in es.ucm.maude.bindings

Special operators defined on the external language.

Hook() - Constructor for class es.ucm.maude.bindings.Hook

 

HookData - Class in es.ucm.maude.bindings

Data associated to a hook and passed to its callback.

I

init() - Static method in class es.ucm.maude.bindings.maude

Init Maude.

This function must be called before anything else.

init(boolean) - Static method in class es.ucm.maude.bindings.maude

Init Maude.

This function must be called before anything else.

init(boolean, int) - Static method in class es.ucm.maude.bindings.maude

Init Maude.

This function must be called before anything else.

init(boolean, int, boolean) - Static method in class es.ucm.maude.bindings.maude

Init Maude.

This function must be called before anything else.

init(boolean, int, boolean, boolean) - Static method in class es.ucm.maude.bindings.maude

Init Maude.

This function must be called before anything else.

input(String) - Static method in class es.ucm.maude.bindings.maude

Process the given text as direct input to Maude.

instantiate(Term) - Method in class es.ucm.maude.bindings.Substitution

Instantiate a term with this substitution.

IntVector - Class in es.ucm.maude.bindings

 

IntVector() - Constructor for class es.ucm.maude.bindings.IntVector

 

IntVector(int[]) - Constructor for class es.ucm.maude.bindings.IntVector

 

IntVector(int, int) - Constructor for class es.ucm.maude.bindings.IntVector

 

IntVector(IntVector) - Constructor for class es.ucm.maude.bindings.IntVector

 

IntVector(Iterable<Integer>) - Constructor for class es.ucm.maude.bindings.IntVector

 

isConstructor() - Method in class es.ucm.maude.bindings.OpDeclaration

Is the declared operator marked as a data constructor?

isEmpty() - Method in class es.ucm.maude.bindings.IntVector

 

isEmpty() - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

isEmpty() - Method in class es.ucm.maude.bindings.StringVector

 

isEmpty() - Method in class es.ucm.maude.bindings.StringVectorVector

 

isEmpty() - Method in class es.ucm.maude.bindings.TermPairVector

 

isEmpty() - Method in class es.ucm.maude.bindings.TermVector

 

isEmpty() - Method in class es.ucm.maude.bindings.TokenVector

 

isEmpty() - Method in class es.ucm.maude.bindings.ViewVector

 

isIncomplete() - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

Whether some solutions may have been missed due to incomplete unification algorithms.

isIncomplete() - Method in class es.ucm.maude.bindings.VariantSearch

Whether some variants may have been missed due to incomplete unification algorithms.

isIncomplete() - Method in class es.ucm.maude.bindings.VariantUnifierSearch

Whether some unifiers may have been missed due to incomplete unification algorithms.

isNarrowing() - Method in class es.ucm.maude.bindings.Rule

Whether the rule has the narrowing attribute.

isNonexec() - Method in class es.ucm.maude.bindings.Equation

Whether the equation has the nonexec attribute.

isNonexec() - Method in class es.ucm.maude.bindings.MembershipAxiom

Whether the membership axiom has the nonexec attribute.

isNonexec() - Method in class es.ucm.maude.bindings.Rule

Whether the rule has the nonexec attribute.

isNonexec() - Method in class es.ucm.maude.bindings.StrategyDefinition

Whether the strategy definition has the nonexec attribute.

isOwise() - Method in class es.ucm.maude.bindings.Equation

Whether the equation has the owise attribute.

isSolutionState(int) - Method in class es.ucm.maude.bindings.StrategyRewriteGraph

Whether the state is a solution for the strategy.

isVariable() - Method in class es.ucm.maude.bindings.Term

Get whether the term is a variable.

isVariant() - Method in class es.ucm.maude.bindings.Equation

Whether the equation has the variant attribute.

iterator() - Method in class es.ucm.maude.bindings.MatchSearchState

 

iterator() - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

 

iterator() - Method in class es.ucm.maude.bindings.RewriteSearchState

 

iterator() - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

 

iterator() - Method in class es.ucm.maude.bindings.StrategicSearch

 

iterator() - Method in class es.ucm.maude.bindings.StrategySequenceSearch

 

iterator() - Method in class es.ucm.maude.bindings.Substitution

Get an iterator to the substitution assignments.

iterator() - Method in class es.ucm.maude.bindings.UnificationProblem

 

iterator() - Method in class es.ucm.maude.bindings.VariantSearch

 

iterator() - Method in class es.ucm.maude.bindings.VariantUnifierSearch

 

Iterator - Class in es.ucm.maude.bindings

 

K

kind() - Method in class es.ucm.maude.bindings.Sort

Get the kind this sort belongs to.

Kind - Class in es.ucm.maude.bindings

A Maude kind (connected component of sorts).

KindVector - Class in es.ucm.maude.bindings

Internal Maude vector.

KindVector() - Constructor for class es.ucm.maude.bindings.KindVector

Construct a vector.

KindVector(long) - Constructor for class es.ucm.maude.bindings.KindVector

Construct a vector.

L

leq(Sort) - Method in class es.ucm.maude.bindings.Sort

Check if this sort is a subsort of the given sort.

leq(Sort) - Method in class es.ucm.maude.bindings.Term

Check whether the sort of this term is a subtype of the given sort.

load(String) - Static method in class es.ucm.maude.bindings.maude

Load the file with the given name.

M

makeTerm(TermVector) - Method in class es.ucm.maude.bindings.Symbol

Build a term with this symbol and the given terms as arguments.

match(Term) - Method in class es.ucm.maude.bindings.Term

Match this term into a given pattern.

match(Term, Condition) - Method in class es.ucm.maude.bindings.Term

Match this term into a given pattern.

match(Term, Condition, boolean) - Method in class es.ucm.maude.bindings.Term

Match this term into a given pattern.

match(Term, Condition, boolean, int) - Method in class es.ucm.maude.bindings.Term

Match this term into a given pattern.

match(Term, Condition, boolean, int, int) - Method in class es.ucm.maude.bindings.Term

Match this term into a given pattern.

matchedPortion() - Method in class es.ucm.maude.bindings.Substitution

Get the matched portion when matching with extension.

MatchSearchState - Class in es.ucm.maude.bindings

An iterator through the matching a term into a pattern.

maude - Class in es.ucm.maude.bindings

 

maude() - Constructor for class es.ucm.maude.bindings.maude

 

MembershipAxiom - Class in es.ucm.maude.bindings

A sort membership axiom.

modelCheck(Term) - Method in class es.ucm.maude.bindings.RewriteGraph

Model check a given LTL formula.

modelCheck(Term) - Method in class es.ucm.maude.bindings.StrategyRewriteGraph

Model check a given LTL formula.

ModelCheckResult - Class in es.ucm.maude.bindings

Result of LTL model checking.

ModelCheckResult() - Constructor for class es.ucm.maude.bindings.ModelCheckResult

 

Module - Class in es.ucm.maude.bindings

A Maude module.

Module.ModuleType - Class in es.ucm.maude.bindings

Module or theory type (function, system or strategy).

ModuleHeader - Class in es.ucm.maude.bindings

Module header information.

ModuleHeader() - Constructor for class es.ucm.maude.bindings.ModuleHeader

 

ModuleHeaderVector - Class in es.ucm.maude.bindings

 

ModuleHeaderVector() - Constructor for class es.ucm.maude.bindings.ModuleHeaderVector

 

ModuleHeaderVector(int, ModuleHeader) - Constructor for class es.ucm.maude.bindings.ModuleHeaderVector

 

ModuleHeaderVector(ModuleHeader[]) - Constructor for class es.ucm.maude.bindings.ModuleHeaderVector

 

ModuleHeaderVector(ModuleHeaderVector) - Constructor for class es.ucm.maude.bindings.ModuleHeaderVector

 

ModuleHeaderVector(Iterable<ModuleHeader>) - Constructor for class es.ucm.maude.bindings.ModuleHeaderVector

 

ModuleItem - Class in es.ucm.maude.bindings

An item that belongs to a module.

N

name() - Method in class es.ucm.maude.bindings.Token

Get the name of the token.

NarrowingFlags - Class in es.ucm.maude.bindings

NarrowingFlags

NarrowingSequenceSearch - Class in es.ucm.maude.bindings

An iterator through narrowing solutions.

next() - Method in class es.ucm.maude.bindings.MatchSearchState

 

next() - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

 

next() - Method in class es.ucm.maude.bindings.RewriteSearchState

 

next() - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

 

next() - Method in class es.ucm.maude.bindings.StrategicSearch

 

next() - Method in class es.ucm.maude.bindings.StrategySequenceSearch

 

next() - Method in class es.ucm.maude.bindings.UnificationProblem

 

next() - Method in class es.ucm.maude.bindings.VariantSearch

 

next() - Method in class es.ucm.maude.bindings.VariantUnifierSearch

 

nextAssignment() - Method in class es.ucm.maude.bindings.Iterator

 

NORMAL_FORM - Static variable in class es.ucm.maude.bindings.SearchType

->!

normalize() - Method in class es.ucm.maude.bindings.Term

Normalize this term modulo axioms.

normalize(boolean) - Method in class es.ucm.maude.bindings.Term

Normalize this term modulo axioms.

nrMaximalSorts() - Method in class es.ucm.maude.bindings.Kind

Get the number of maximal sorts in this kind.

nrSorts() - Method in class es.ucm.maude.bindings.Kind

Get the number of sorts in this kind.

O

OBJECT_ORIENTED_MODULE - Static variable in class es.ucm.maude.bindings.Module.ModuleType

Object-oriented module (omod)

OBJECT_ORIENTED_THEORY - Static variable in class es.ucm.maude.bindings.Module.ModuleType

Object-oriented theory (oth)

ONE_STEP - Static variable in class es.ucm.maude.bindings.SearchType

->1

OP_ASSOC - Static variable in class es.ucm.maude.bindings.SymbolAttribute

associative

OP_COMM - Static variable in class es.ucm.maude.bindings.SymbolAttribute

commutative

OP_IDEM - Static variable in class es.ucm.maude.bindings.SymbolAttribute

idempotent

OP_ITER - Static variable in class es.ucm.maude.bindings.SymbolAttribute

iterable

OP_LEFT_ID - Static variable in class es.ucm.maude.bindings.SymbolAttribute

with left identity element

OP_MEMO - Static variable in class es.ucm.maude.bindings.SymbolAttribute

with memoization

OP_RIGHT_ID - Static variable in class es.ucm.maude.bindings.SymbolAttribute

with right identity element

OP_SPECIAL - Static variable in class es.ucm.maude.bindings.SymbolAttribute

special

OPAQUE_STRATEGY - Static variable in class es.ucm.maude.bindings.StrategyRewriteGraph.TransitionType

opaque strategy

OpDeclaration - Class in es.ucm.maude.bindings

Syntactical operator declaration.

OpDeclaration() - Constructor for class es.ucm.maude.bindings.OpDeclaration

 

OpDeclVector - Class in es.ucm.maude.bindings

Internal Maude vector.

OpDeclVector() - Constructor for class es.ucm.maude.bindings.OpDeclVector

Construct a vector.

OpDeclVector(long) - Constructor for class es.ucm.maude.bindings.OpDeclVector

Construct a vector.

P

parseStrategy(String) - Method in class es.ucm.maude.bindings.Module

Parse a strategy expression.

parseStrategy(String, TermVector) - Method in class es.ucm.maude.bindings.Module

Parse a strategy expression.

parseTerm(TokenVector) - Method in class es.ucm.maude.bindings.Module

Parse a term.

parseTerm(TokenVector, Kind) - Method in class es.ucm.maude.bindings.Module

Parse a term.

parseTerm(String) - Method in class es.ucm.maude.bindings.Module

Parse a term.

parseTerm(String, Kind) - Method in class es.ucm.maude.bindings.Module

Parse a term.

parseTerm(String, Kind, TermVector) - Method in class es.ucm.maude.bindings.Module

Parse a term.

PATH - Static variable in class es.ucm.maude.bindings.NarrowingFlags

Whether to allow for narrowing trace reconstruction (expensive).

prettyPrint(PrintFlags) - Method in class es.ucm.maude.bindings.Term

Pretty prints this term.

PRINT_COLOR - Static variable in class es.ucm.maude.bindings.PrintFlags

dag node coloring based on ctor/reduced status

PRINT_CONCEAL - Static variable in class es.ucm.maude.bindings.PrintFlags

respect concealed argument lists

PRINT_DISAMBIG_CONST - Static variable in class es.ucm.maude.bindings.PrintFlags

(c).s for every constant c

PRINT_FLAT - Static variable in class es.ucm.maude.bindings.PrintFlags

for assoc symbols

PRINT_FORMAT - Static variable in class es.ucm.maude.bindings.PrintFlags

respect format attribute

PRINT_MIXFIX - Static variable in class es.ucm.maude.bindings.PrintFlags

mixfix notation

PRINT_NUMBER - Static variable in class es.ucm.maude.bindings.PrintFlags

for nats & ints

PRINT_RAT - Static variable in class es.ucm.maude.bindings.PrintFlags

for rats

PRINT_WITH_ALIASES - Static variable in class es.ucm.maude.bindings.PrintFlags

for variables

PRINT_WITH_PARENS - Static variable in class es.ucm.maude.bindings.PrintFlags

maximal parens

PrintFlags - Class in es.ucm.maude.bindings

Print flags.

R

reduce() - Method in class es.ucm.maude.bindings.Term

Reduce this term.

remove(int) - Method in class es.ucm.maude.bindings.IntVector

 

remove(int) - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

remove(int) - Method in class es.ucm.maude.bindings.StringVector

 

remove(int) - Method in class es.ucm.maude.bindings.StringVectorVector

 

remove(int) - Method in class es.ucm.maude.bindings.TermPairVector

 

remove(int) - Method in class es.ucm.maude.bindings.TermVector

 

remove(int) - Method in class es.ucm.maude.bindings.TokenVector

 

remove(int) - Method in class es.ucm.maude.bindings.ViewVector

 

reserve(int) - Method in class es.ucm.maude.bindings.IntVector

 

reserve(int) - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

reserve(int) - Method in class es.ucm.maude.bindings.StringVector

 

reserve(int) - Method in class es.ucm.maude.bindings.StringVectorVector

 

reserve(int) - Method in class es.ucm.maude.bindings.TermPairVector

 

reserve(int) - Method in class es.ucm.maude.bindings.TermVector

 

reserve(int) - Method in class es.ucm.maude.bindings.TokenVector

 

reserve(int) - Method in class es.ucm.maude.bindings.ViewVector

 

resize(long) - Method in class es.ucm.maude.bindings.Condition

Resize the vector.

resize(long) - Method in class es.ucm.maude.bindings.EquationVector

Resize the vector.

resize(long) - Method in class es.ucm.maude.bindings.KindVector

Resize the vector.

resize(long) - Method in class es.ucm.maude.bindings.OpDeclVector

Resize the vector.

resize(long) - Method in class es.ucm.maude.bindings.RuleVector

Resize the vector.

resize(long) - Method in class es.ucm.maude.bindings.SortVector

Resize the vector.

resize(long) - Method in class es.ucm.maude.bindings.StratDefVector

Resize the vector.

resize(long) - Method in class es.ucm.maude.bindings.StratVector

Resize the vector.

resize(long) - Method in class es.ucm.maude.bindings.SubsortVector

Resize the vector.

resize(long) - Method in class es.ucm.maude.bindings.SymbolVector

Resize the vector.

rewrite() - Method in class es.ucm.maude.bindings.Term

Rewrite a term following the semantics of the rewrite command.

rewrite(int) - Method in class es.ucm.maude.bindings.Term

Rewrite a term following the semantics of the rewrite command.

RewriteCondition - Class in es.ucm.maude.bindings

A rewrite t => t' condition.

RewriteCondition(Term, Term) - Constructor for class es.ucm.maude.bindings.RewriteCondition

 

RewriteGraph - Class in es.ucm.maude.bindings

Complete rewriting graph from an initial state.

RewriteGraph(Term) - Constructor for class es.ucm.maude.bindings.RewriteGraph

Construct a state transition graph.

RewriteSearchState - Class in es.ucm.maude.bindings

An iterator through rewriting solutions.

RewriteSequenceSearch - Class in es.ucm.maude.bindings

An iterator through the solutions of a search.

RewriteStrategy - Class in es.ucm.maude.bindings

A named rewriting strategy.

Rule - Class in es.ucm.maude.bindings

A Maude rewrite rule.

RULE_APPLICATION - Static variable in class es.ucm.maude.bindings.StrategyRewriteGraph.TransitionType

rule application

RuleVector - Class in es.ucm.maude.bindings

Internal Maude vector.

RuleVector() - Constructor for class es.ucm.maude.bindings.RuleVector

Construct a vector.

RuleVector(long) - Constructor for class es.ucm.maude.bindings.RuleVector

Construct a vector.

run(Term, HookData) - Method in class es.ucm.maude.bindings.Hook

Method called by the hook.

S

search(SearchType, Term) - Method in class es.ucm.maude.bindings.Term

Search states that match into a given pattern and satisfy a given
condition by rewriting from this term.

search(SearchType, Term, Condition) - Method in class es.ucm.maude.bindings.Term

Search states that match into a given pattern and satisfy a given
condition by rewriting from this term.

search(SearchType, Term, Condition, int) - Method in class es.ucm.maude.bindings.Term

Search states that match into a given pattern and satisfy a given
condition by rewriting from this term.

search(SearchType, Term, StrategyExpression) - Method in class es.ucm.maude.bindings.Term

Search states that match into a given pattern and satisfy a given
condition by rewriting from this term using a strategy.

search(SearchType, Term, StrategyExpression, Condition) - Method in class es.ucm.maude.bindings.Term

Search states that match into a given pattern and satisfy a given
condition by rewriting from this term using a strategy.

search(SearchType, Term, StrategyExpression, Condition, int) - Method in class es.ucm.maude.bindings.Term

Search states that match into a given pattern and satisfy a given
condition by rewriting from this term using a strategy.

SearchType - Class in es.ucm.maude.bindings

Search types (number of steps).

set(int, ModuleHeader) - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

set(int, StringVector) - Method in class es.ucm.maude.bindings.StringVectorVector

 

set(int, Term) - Method in class es.ucm.maude.bindings.TermVector

 

set(int, TermPair) - Method in class es.ucm.maude.bindings.TermPairVector

 

set(int, Token) - Method in class es.ucm.maude.bindings.TokenVector

 

set(int, View) - Method in class es.ucm.maude.bindings.ViewVector

 

set(int, Integer) - Method in class es.ucm.maude.bindings.IntVector

 

set(int, String) - Method in class es.ucm.maude.bindings.StringVector

 

set(long, ConditionFragment) - Method in class es.ucm.maude.bindings.Condition

Set a vector position value.

set(long, Equation) - Method in class es.ucm.maude.bindings.EquationVector

Set a vector position value.

set(long, Kind) - Method in class es.ucm.maude.bindings.KindVector

Set a vector position value.

set(long, MembershipAxiom) - Method in class es.ucm.maude.bindings.SubsortVector

Set a vector position value.

set(long, OpDeclaration) - Method in class es.ucm.maude.bindings.OpDeclVector

Set a vector position value.

set(long, RewriteStrategy) - Method in class es.ucm.maude.bindings.StratVector

Set a vector position value.

set(long, Rule) - Method in class es.ucm.maude.bindings.RuleVector

Set a vector position value.

set(long, Sort) - Method in class es.ucm.maude.bindings.SortVector

Set a vector position value.

set(long, StrategyDefinition) - Method in class es.ucm.maude.bindings.StratDefVector

Set a vector position value.

set(long, Symbol) - Method in class es.ucm.maude.bindings.SymbolVector

Set a vector position value.

setAllowDir(boolean) - Static method in class es.ucm.maude.bindings.maude

Allow or disallow operations on directories from Maude code.

setAllowFiles(boolean) - Static method in class es.ucm.maude.bindings.maude

Allow or disallow operations on files from Maude code.

setAllowProcesses(boolean) - Static method in class es.ucm.maude.bindings.maude

Allow or disallow running arbitrary executables from Maude code.

setAssocUnifDepth(float) - Static method in class es.ucm.maude.bindings.maude

Set depth multiplier for associative unification.

setFirst(Term) - Method in class es.ucm.maude.bindings.TermIntPair

 

setFirst(Term) - Method in class es.ucm.maude.bindings.TermPair

 

setFirst(Term) - Method in class es.ucm.maude.bindings.TermSubstitutionPair

 

setRandomSeed(int) - Static method in class es.ucm.maude.bindings.maude

Set the pseudorandom number generator seed.

setSecond(int) - Method in class es.ucm.maude.bindings.TermIntPair

 

setSecond(Substitution) - Method in class es.ucm.maude.bindings.TermSubstitutionPair

 

setSecond(Term) - Method in class es.ucm.maude.bindings.TermPair

 

size() - Method in class es.ucm.maude.bindings.Condition

Size of the vector.

size() - Method in class es.ucm.maude.bindings.EquationVector

Size of the vector.

size() - Method in class es.ucm.maude.bindings.IntVector

 

size() - Method in class es.ucm.maude.bindings.KindVector

Size of the vector.

size() - Method in class es.ucm.maude.bindings.ModuleHeaderVector

 

size() - Method in class es.ucm.maude.bindings.OpDeclVector

Size of the vector.

size() - Method in class es.ucm.maude.bindings.RuleVector

Size of the vector.

size() - Method in class es.ucm.maude.bindings.SortVector

Size of the vector.

size() - Method in class es.ucm.maude.bindings.StratDefVector

Size of the vector.

size() - Method in class es.ucm.maude.bindings.StratVector

Size of the vector.

size() - Method in class es.ucm.maude.bindings.StringVector

 

size() - Method in class es.ucm.maude.bindings.StringVectorVector

 

size() - Method in class es.ucm.maude.bindings.SubsortVector

Size of the vector.

size() - Method in class es.ucm.maude.bindings.Substitution

Get the number of variables in the substitution.

size() - Method in class es.ucm.maude.bindings.SymbolVector

Size of the vector.

size() - Method in class es.ucm.maude.bindings.TermPairVector

 

size() - Method in class es.ucm.maude.bindings.TermVector

 

size() - Method in class es.ucm.maude.bindings.TokenVector

 

size() - Method in class es.ucm.maude.bindings.ViewVector

 

SOLUTION - Static variable in class es.ucm.maude.bindings.StrategyRewriteGraph.TransitionType

self-loops for solutions

sort(int) - Method in class es.ucm.maude.bindings.Kind

Get the sort with a given index in this kind.

Sort - Class in es.ucm.maude.bindings

A Maude sort.

SortTestCondition - Class in es.ucm.maude.bindings

A sort test t : s condition.

SortTestCondition(Term, Sort) - Constructor for class es.ucm.maude.bindings.SortTestCondition

 

SortVector - Class in es.ucm.maude.bindings

Internal Maude vector.

SortVector() - Constructor for class es.ucm.maude.bindings.SortVector

Construct a vector.

SortVector(long) - Constructor for class es.ucm.maude.bindings.SortVector

Construct a vector.

srewrite(StrategyExpression) - Method in class es.ucm.maude.bindings.Term

Rewrite a term following a strategy.

srewrite(StrategyExpression, boolean) - Method in class es.ucm.maude.bindings.Term

Rewrite a term following a strategy.

StratDefVector - Class in es.ucm.maude.bindings

Internal Maude vector.

StratDefVector() - Constructor for class es.ucm.maude.bindings.StratDefVector

Construct a vector.

StratDefVector(long) - Constructor for class es.ucm.maude.bindings.StratDefVector

Construct a vector.

StrategicSearch - Class in es.ucm.maude.bindings

An iterator through the solutions of a strategy search.

STRATEGY_MODULE - Static variable in class es.ucm.maude.bindings.Module.ModuleType

Strategy module (smod)

STRATEGY_THEORY - Static variable in class es.ucm.maude.bindings.Module.ModuleType

Strategy theory (sth)

StrategyDefinition - Class in es.ucm.maude.bindings

A Maude strategy definition.

StrategyExpression - Class in es.ucm.maude.bindings

An expression of the Maude strategy language.

StrategyGraphTransition - Class in es.ucm.maude.bindings

Structure describing a transition in the graph.

StrategyRewriteGraph - Class in es.ucm.maude.bindings

Complete rewriting graph under the control of a strategy from an initial state.

StrategyRewriteGraph(Term, StrategyExpression) - Constructor for class es.ucm.maude.bindings.StrategyRewriteGraph

Construct a strategy transition graph.

StrategyRewriteGraph(Term, StrategyExpression, StringVector) - Constructor for class es.ucm.maude.bindings.StrategyRewriteGraph

Construct a strategy transition graph.

StrategyRewriteGraph(Term, StrategyExpression, StringVector, boolean) - Constructor for class es.ucm.maude.bindings.StrategyRewriteGraph

Construct a strategy transition graph.

StrategyRewriteGraph.TransitionType - Class in es.ucm.maude.bindings

Cause of the transition in the graph.

StrategySequenceSearch - Class in es.ucm.maude.bindings

An iterator through the solutions of a strategy-controlled search.

StratVector - Class in es.ucm.maude.bindings

Internal Maude vector.

StratVector() - Constructor for class es.ucm.maude.bindings.StratVector

Construct a vector.

StratVector(long) - Constructor for class es.ucm.maude.bindings.StratVector

Construct a vector.

StringVector - Class in es.ucm.maude.bindings

 

StringVector() - Constructor for class es.ucm.maude.bindings.StringVector

 

StringVector(int, String) - Constructor for class es.ucm.maude.bindings.StringVector

 

StringVector(StringVector) - Constructor for class es.ucm.maude.bindings.StringVector

 

StringVector(Iterable<String>) - Constructor for class es.ucm.maude.bindings.StringVector

 

StringVector(String[]) - Constructor for class es.ucm.maude.bindings.StringVector

 

StringVectorVector - Class in es.ucm.maude.bindings

 

StringVectorVector() - Constructor for class es.ucm.maude.bindings.StringVectorVector

 

StringVectorVector(int, StringVector) - Constructor for class es.ucm.maude.bindings.StringVectorVector

 

StringVectorVector(StringVector[]) - Constructor for class es.ucm.maude.bindings.StringVectorVector

 

StringVectorVector(StringVectorVector) - Constructor for class es.ucm.maude.bindings.StringVectorVector

 

StringVectorVector(Iterable<StringVector>) - Constructor for class es.ucm.maude.bindings.StringVectorVector

 

SubsortVector - Class in es.ucm.maude.bindings

Internal Maude vector.

SubsortVector() - Constructor for class es.ucm.maude.bindings.SubsortVector

Construct a vector.

SubsortVector(long) - Constructor for class es.ucm.maude.bindings.SubsortVector

Construct a vector.

Substitution - Class in es.ucm.maude.bindings

Substitution (mapping from variables to terms).

Substitution(TermVector, TermVector) - Constructor for class es.ucm.maude.bindings.Substitution

Create a substitution with the given variables and values.

swap(Condition) - Method in class es.ucm.maude.bindings.Condition

Swap this vector's contents with another.

swap(EquationVector) - Method in class es.ucm.maude.bindings.EquationVector

Swap this vector's contents with another.

swap(KindVector) - Method in class es.ucm.maude.bindings.KindVector

Swap this vector's contents with another.

swap(OpDeclVector) - Method in class es.ucm.maude.bindings.OpDeclVector

Swap this vector's contents with another.

swap(RuleVector) - Method in class es.ucm.maude.bindings.RuleVector

Swap this vector's contents with another.

swap(SortVector) - Method in class es.ucm.maude.bindings.SortVector

Swap this vector's contents with another.

swap(StratDefVector) - Method in class es.ucm.maude.bindings.StratDefVector

Swap this vector's contents with another.

swap(StratVector) - Method in class es.ucm.maude.bindings.StratVector

Swap this vector's contents with another.

swap(SubsortVector) - Method in class es.ucm.maude.bindings.SubsortVector

Swap this vector's contents with another.

swap(SymbolVector) - Method in class es.ucm.maude.bindings.SymbolVector

Swap this vector's contents with another.

swigReleaseOwnership() - Method in class es.ucm.maude.bindings.Hook

 

swigTakeOwnership() - Method in class es.ucm.maude.bindings.Hook

 

swigToEnum(int) - Static method in class es.ucm.maude.bindings.Module.ModuleType

 

swigToEnum(int) - Static method in class es.ucm.maude.bindings.NarrowingFlags

 

swigToEnum(int) - Static method in class es.ucm.maude.bindings.PrintFlags

 

swigToEnum(int) - Static method in class es.ucm.maude.bindings.SearchType

 

swigToEnum(int) - Static method in class es.ucm.maude.bindings.StrategyRewriteGraph.TransitionType

 

swigToEnum(int) - Static method in class es.ucm.maude.bindings.SymbolAttribute

 

swigValue() - Method in class es.ucm.maude.bindings.Module.ModuleType

 

swigValue() - Method in class es.ucm.maude.bindings.NarrowingFlags

 

swigValue() - Method in class es.ucm.maude.bindings.PrintFlags

 

swigValue() - Method in class es.ucm.maude.bindings.SearchType

 

swigValue() - Method in class es.ucm.maude.bindings.StrategyRewriteGraph.TransitionType

 

swigValue() - Method in class es.ucm.maude.bindings.SymbolAttribute

 

symbol() - Method in class es.ucm.maude.bindings.Term

Get the top symbol of this term.

Symbol - Class in es.ucm.maude.bindings

A Maude symbol (operator at the kind level).

SymbolAttribute - Class in es.ucm.maude.bindings

 

SymbolVector - Class in es.ucm.maude.bindings

Internal Maude vector.

SymbolVector() - Constructor for class es.ucm.maude.bindings.SymbolVector

Construct a vector.

SymbolVector(long) - Constructor for class es.ucm.maude.bindings.SymbolVector

Construct a vector.

SYSTEM_MODULE - Static variable in class es.ucm.maude.bindings.Module.ModuleType

System module (mod)

SYSTEM_THEORY - Static variable in class es.ucm.maude.bindings.Module.ModuleType

System theory (th)

T

Term - Class in es.ucm.maude.bindings

Maude term with its associated operations.

TermIntPair - Class in es.ucm.maude.bindings

 

TermIntPair() - Constructor for class es.ucm.maude.bindings.TermIntPair

 

TermIntPair(TermIntPair) - Constructor for class es.ucm.maude.bindings.TermIntPair

 

TermIntPair(Term, int) - Constructor for class es.ucm.maude.bindings.TermIntPair

 

TermPair - Class in es.ucm.maude.bindings

 

TermPair() - Constructor for class es.ucm.maude.bindings.TermPair

 

TermPair(TermPair) - Constructor for class es.ucm.maude.bindings.TermPair

 

TermPair(Term, Term) - Constructor for class es.ucm.maude.bindings.TermPair

 

TermPairVector - Class in es.ucm.maude.bindings

 

TermPairVector() - Constructor for class es.ucm.maude.bindings.TermPairVector

 

TermPairVector(int, TermPair) - Constructor for class es.ucm.maude.bindings.TermPairVector

 

TermPairVector(TermPair[]) - Constructor for class es.ucm.maude.bindings.TermPairVector

 

TermPairVector(TermPairVector) - Constructor for class es.ucm.maude.bindings.TermPairVector

 

TermPairVector(Iterable<TermPair>) - Constructor for class es.ucm.maude.bindings.TermPairVector

 

TermSubstitutionPair - Class in es.ucm.maude.bindings

 

TermSubstitutionPair() - Constructor for class es.ucm.maude.bindings.TermSubstitutionPair

 

TermSubstitutionPair(Term, Substitution) - Constructor for class es.ucm.maude.bindings.TermSubstitutionPair

 

TermSubstitutionPair(TermSubstitutionPair) - Constructor for class es.ucm.maude.bindings.TermSubstitutionPair

 

TermVector - Class in es.ucm.maude.bindings

 

TermVector() - Constructor for class es.ucm.maude.bindings.TermVector

 

TermVector(int, Term) - Constructor for class es.ucm.maude.bindings.TermVector

 

TermVector(Term[]) - Constructor for class es.ucm.maude.bindings.TermVector

 

TermVector(TermVector) - Constructor for class es.ucm.maude.bindings.TermVector

 

TermVector(Iterable<Term>) - Constructor for class es.ucm.maude.bindings.TermVector

 

toFloat() - Method in class es.ucm.maude.bindings.Term

Get the floating-point number represented by the given term or
zero otherwise.

toInt() - Method in class es.ucm.maude.bindings.Term

Get the integer number represented by the given term or
zero otherwise.

Token - Class in es.ucm.maude.bindings

A syntactical unit.

Token(String) - Constructor for class es.ucm.maude.bindings.Token

 

tokenize(String) - Static method in class es.ucm.maude.bindings.maude

Tokenize a string according to Maude lexer rules.

TokenVector - Class in es.ucm.maude.bindings

 

TokenVector() - Constructor for class es.ucm.maude.bindings.TokenVector

 

TokenVector(int, Token) - Constructor for class es.ucm.maude.bindings.TokenVector

 

TokenVector(Token[]) - Constructor for class es.ucm.maude.bindings.TokenVector

 

TokenVector(TokenVector) - Constructor for class es.ucm.maude.bindings.TokenVector

 

TokenVector(Iterable<Token>) - Constructor for class es.ucm.maude.bindings.TokenVector

 

toLatex() - Method in class es.ucm.maude.bindings.Module

Obtain the LaTeX representation of this module.

toLatex() - Method in class es.ucm.maude.bindings.StrategyExpression

Obtain the LaTeX representation of this strategy expression.

toLatex() - Method in class es.ucm.maude.bindings.Term

Obtain the LaTeX representation of this term.

toLatex() - Method in class es.ucm.maude.bindings.View

Get the LaTeX representation of the view.

toLatex(boolean) - Method in class es.ucm.maude.bindings.Module

Obtain the LaTeX representation of this module.

toLatex(boolean) - Method in class es.ucm.maude.bindings.View

Get the LaTeX representation of the view.

toString() - Method in class es.ucm.maude.bindings.AssignmentCondition

 

toString() - Method in class es.ucm.maude.bindings.ConditionFragment

 

toString() - Method in class es.ucm.maude.bindings.EqualityCondition

 

toString() - Method in class es.ucm.maude.bindings.Equation

 

toString() - Method in class es.ucm.maude.bindings.Kind

 

toString() - Method in class es.ucm.maude.bindings.MembershipAxiom

 

toString() - Method in class es.ucm.maude.bindings.Module.ModuleType

 

toString() - Method in class es.ucm.maude.bindings.Module

 

toString() - Method in class es.ucm.maude.bindings.ModuleHeader

 

toString() - Method in class es.ucm.maude.bindings.NarrowingFlags

 

toString() - Method in class es.ucm.maude.bindings.PrintFlags

 

toString() - Method in class es.ucm.maude.bindings.RewriteCondition

 

toString() - Method in class es.ucm.maude.bindings.RewriteStrategy

 

toString() - Method in class es.ucm.maude.bindings.Rule

 

toString() - Method in class es.ucm.maude.bindings.SearchType

 

toString() - Method in class es.ucm.maude.bindings.Sort

 

toString() - Method in class es.ucm.maude.bindings.SortTestCondition

 

toString() - Method in class es.ucm.maude.bindings.StrategyDefinition

 

toString() - Method in class es.ucm.maude.bindings.StrategyExpression

 

toString() - Method in class es.ucm.maude.bindings.StrategyGraphTransition

 

toString() - Method in class es.ucm.maude.bindings.StrategyRewriteGraph.TransitionType

 

toString() - Method in class es.ucm.maude.bindings.Substitution

 

toString() - Method in class es.ucm.maude.bindings.Symbol

 

toString() - Method in class es.ucm.maude.bindings.SymbolAttribute

 

toString() - Method in class es.ucm.maude.bindings.Term

 

toString() - Method in class es.ucm.maude.bindings.Token

 

toString() - Method in class es.ucm.maude.bindings.View

 

U

UnificationProblem - Class in es.ucm.maude.bindings

An iterator through unifiers.

unify(TermPairVector) - Method in class es.ucm.maude.bindings.Module

Solves the given unification problem.

unify(TermPairVector, boolean) - Method in class es.ucm.maude.bindings.Module

Solves the given unification problem.

upStrategy(StrategyExpression) - Method in class es.ucm.maude.bindings.Module

Get the metarepresentation in this module of a strategy
expression in (possibly) another module.

upTerm(Term) - Method in class es.ucm.maude.bindings.Module

Get the metarepresentation in this module of a term
in (possibly) another module.

V

valid() - Method in class es.ucm.maude.bindings.ArgumentIterator

Is this iterator pointing to a valid argument?

value(Term) - Method in class es.ucm.maude.bindings.Substitution

Get the value of a given variable.

variant_match(TermPairVector) - Method in class es.ucm.maude.bindings.Module

Computes a complete set of order-sorted matches modulo the equations
declared with the variant attribute (which must satisfy the finite
variant property) plus the (supported) equational axioms in the
given module.

variant_match(TermPairVector, TermVector) - Method in class es.ucm.maude.bindings.Module

Computes a complete set of order-sorted matches modulo the equations
declared with the variant attribute (which must satisfy the finite
variant property) plus the (supported) equational axioms in the
given module.

variant_unify(TermPairVector) - Method in class es.ucm.maude.bindings.Module

Solves the given unification problem using variants.

variant_unify(TermPairVector, TermVector) - Method in class es.ucm.maude.bindings.Module

Solves the given unification problem using variants.

variant_unify(TermPairVector, TermVector, boolean) - Method in class es.ucm.maude.bindings.Module

Solves the given unification problem using variants.

VariantSearch - Class in es.ucm.maude.bindings

An iterator through variants.

VariantUnifierSearch - Class in es.ucm.maude.bindings

An iterator through unifiers or matchers for variant unification or matching.

VFOLD - Static variable in class es.ucm.maude.bindings.NarrowingFlags

Whether to activate variant folding (vfold option).

View - Class in es.ucm.maude.bindings

A Maude view.

ViewVector - Class in es.ucm.maude.bindings

 

ViewVector() - Constructor for class es.ucm.maude.bindings.ViewVector

 

ViewVector(int, View) - Constructor for class es.ucm.maude.bindings.ViewVector

 

ViewVector(View[]) - Constructor for class es.ucm.maude.bindings.ViewVector

 

ViewVector(ViewVector) - Constructor for class es.ucm.maude.bindings.ViewVector

 

ViewVector(Iterable<View>) - Constructor for class es.ucm.maude.bindings.ViewVector

 

vu_narrow(SearchType, Term) - Method in class es.ucm.maude.bindings.Term

Narrowing-based search of terms that unify with the given target.

vu_narrow(SearchType, Term, int) - Method in class es.ucm.maude.bindings.Term

Narrowing-based search of terms that unify with the given target.

vu_narrow(SearchType, Term, int, NarrowingFlags) - Method in class es.ucm.maude.bindings.Term

Narrowing-based search of terms that unify with the given target.

vu_narrow(TermVector, SearchType, Term) - Method in class es.ucm.maude.bindings.Module

Narrowing-based search of terms that unify with the given target
with multiple initial states.

vu_narrow(TermVector, SearchType, Term, int) - Method in class es.ucm.maude.bindings.Module

Narrowing-based search of terms that unify with the given target
with multiple initial states.

vu_narrow(TermVector, SearchType, Term, int, int) - Method in class es.ucm.maude.bindings.Module

Narrowing-based search of terms that unify with the given target
with multiple initial states.

_

__next() - Method in class es.ucm.maude.bindings.ArgumentIterator

Advance the iterator to the next argument.

__next() - Method in class es.ucm.maude.bindings.MatchSearchState

Get the next match.

__next() - Method in class es.ucm.maude.bindings.NarrowingSequenceSearch

Get the next solution of the narrowing search.

__next() - Method in class es.ucm.maude.bindings.RewriteSearchState

Get the next solution of the rewriting search.

__next() - Method in class es.ucm.maude.bindings.RewriteSequenceSearch

Get the next match.

__next() - Method in class es.ucm.maude.bindings.StrategicSearch

Get the next solution for the strategic search.

__next() - Method in class es.ucm.maude.bindings.StrategySequenceSearch

Get the next match.

__next() - Method in class es.ucm.maude.bindings.UnificationProblem

Get the next unifier.

__next() - Method in class es.ucm.maude.bindings.VariantSearch

Get the next variant.

__next() - Method in class es.ucm.maude.bindings.VariantUnifierSearch

Get the next unifier.