Index

A

ANY_STEPS (in module maude) apply() (maude.Term method) ArgumentIterator (class in maude) arguments() (maude.Term method)

arity() (maude.RewriteStrategy method) (maude.Symbol method) AssignmentCondition (class in maude) AT_LEAST_ONE_STEP (in module maude)

B

BRANCH (in module maude)

C

check() (maude.Term method) Condition (class in maude) connectEqHook() (in module maude)

connectRlHook() (in module maude) copy() (maude.Term method) cycle (maude.ModelCheckResult property)

D

domainKind() (maude.Symbol method) downModule() (in module maude)

downStrategy() (maude.Module method) downTerm() (maude.Module method)

E

empty() (maude.Condition method) equal() (maude.Symbol method) (maude.Term method)

EqualityCondition (class in maude) Equation (class in maude) erewrite() (maude.Term method) errorFree() (maude.Kind method)

F

fillContext() (maude.MatchSearchState method) (maude.RewriteSearchState method) filteringIncomplete() (maude.VariantUnifierSearch method) find() (maude.Substitution method)

findSort() (maude.Module method) findSymbol() (maude.Module method) frewrite() (maude.Term method) FUNCTIONAL_MODULE (maude.Module attribute) FUNCTIONAL_THEORY (maude.Module attribute)

G

get_variants() (maude.Term method) getCondition() (maude.Equation method) (maude.MembershipAxiom method) (maude.Rule method) (maude.StrategyDefinition method) getCurrentModule() (in module maude) getData() (maude.HookData method) getDefinitions() (maude.RewriteStrategy method) getDomain() (maude.RewriteStrategy method) getDomainAndRange() (maude.OpDeclaration method) getEquations() (maude.Module method) getFormat() (maude.Symbol method) getFrozen() (maude.Symbol method) getIdentity() (maude.Symbol method) getIdHooks() (maude.Symbol method) getIterExponent() (maude.Term method) getKinds() (maude.Module method) getLabel() (maude.Equation method) (maude.MembershipAxiom method) (maude.Rule method) (maude.StrategyDefinition method) getLhs() (maude.AssignmentCondition method) (maude.EqualityCondition method) (maude.Equation method) (maude.MembershipAxiom method) (maude.RewriteCondition method) (maude.Rule method) (maude.SortTestCondition method) (maude.StrategyDefinition method) getLineNumber() (maude.Equation method) (maude.MembershipAxiom method) (maude.RewriteStrategy method) (maude.Rule method) (maude.Sort method) (maude.StrategyDefinition method) (maude.Symbol method) getMembershipAxioms() (maude.Module method) getMetadata() (maude.Equation method) (maude.MembershipAxiom method) (maude.RewriteStrategy method) (maude.Rule method) (maude.StrategyDefinition method) (maude.Symbol method) getModule() (in module maude) getModules() (in module maude) getModuleType() (maude.Module method) getName() (maude.RewriteStrategy method) getNextState() (maude.RewriteGraph method) (maude.StrategyRewriteGraph method) getNrImportedSorts() (maude.Module method) getNrImportedStrategies() (maude.Module method) getNrImportedSymbols() (maude.Module method) getNrOriginalEquations() (maude.Module method) getNrOriginalRules() (maude.Module method) getNrOriginalStrategyDefinitions() (maude.Module method) getNrParameters() (maude.Module method) getNrRealStates() (maude.StrategyRewriteGraph method) getNrRewrites() (maude.RewriteGraph method) (maude.StrategyRewriteGraph method)

getNrStates() (maude.RewriteGraph method) (maude.StrategyRewriteGraph method) getOpDeclarations() (maude.Symbol method) getOpHooks() (maude.Symbol method) getParameterName() (maude.Module method) getParameterTheory() (maude.Module method) getPrec() (maude.Symbol method) getRangeSort() (maude.Symbol method) getRewriteCount() (maude.RewriteSequenceSearch method) (maude.StrategySequenceSearch method) getRhs() (maude.AssignmentCondition method) (maude.EqualityCondition method) (maude.Equation method) (maude.RewriteCondition method) (maude.Rule method) (maude.StrategyDefinition method) getRule() (maude.RewriteGraph method) (maude.RewriteSearchState method) (maude.RewriteSequenceSearch method) (maude.StrategyGraphTransition method) getRules() (maude.Module method) getSort() (maude.MembershipAxiom method) (maude.SortTestCondition method) (maude.Term method) getSorts() (maude.Module method) getStateNr() (maude.RewriteSequenceSearch method) (maude.StrategySequenceSearch method) getStateParent() (maude.RewriteGraph method) (maude.RewriteSequenceSearch method) (maude.StrategySequenceSearch method) getStateStrategy() (maude.StrategyRewriteGraph method) getStateTerm() (maude.RewriteGraph method) (maude.RewriteSequenceSearch method) (maude.StrategyRewriteGraph method) (maude.StrategySequenceSearch method) getStrategies() (maude.Module method) getStrategy() (maude.StrategyDefinition method) (maude.StrategyGraphTransition method) (maude.Symbol method) getStrategyContinuation() (maude.StrategySequenceSearch method) getStrategyDefinitions() (maude.Module method) getSubjectSort() (maude.RewriteStrategy method) getSubsorts() (maude.Sort method) getSubstitution() (maude.NarrowingSequenceSearch method) (maude.RewriteSearchState method) (maude.RewriteSequenceSearch method) (maude.StrategySequenceSearch method) getSupersorts() (maude.Sort method) getSymbol() (maude.HookData method) getSymbols() (maude.Module method) getTerm() (maude.HookData method) getTermHooks() (maude.Symbol method) getTransition() (maude.StrategyRewriteGraph method) (maude.StrategySequenceSearch method) getType() (maude.StrategyGraphTransition method) getUnifier() (maude.NarrowingSequenceSearch method) getVarName() (maude.Term method) getView() (in module maude) getViews() (in module maude)

H

hasAttr() (maude.Symbol method) hasCondition() (maude.Equation method) (maude.Rule method) (maude.StrategyDefinition method) hasFreeParameters() (maude.Module method)

hash() (maude.Symbol method) (maude.Term method) holds (maude.ModelCheckResult property) Hook (class in maude) HookData (class in maude)

I

init() (in module maude) input() (in module maude) instantiate() (maude.Substitution method) isAssoc() (maude.Symbol method) isConstructor() (maude.OpDeclaration method) isIncomplete() (maude.NarrowingSequenceSearch method) (maude.VariantSearch method) (maude.VariantUnifierSearch method)

isNarrowing() (maude.Rule method) isNonexec() (maude.Equation method) (maude.MembershipAxiom method) (maude.Rule method) (maude.StrategyDefinition method) isOwise() (maude.Equation method) isSolutionState() (maude.StrategyRewriteGraph method) isVariable() (maude.Term method) isVariant() (maude.Equation method)

K

Kind (class in maude)

kind() (maude.Sort method)

L

leadIn (maude.ModelCheckResult property) leq() (maude.Sort method) (maude.Term method)

load() (in module maude)

M

makeTerm() (maude.Symbol method) match() (maude.Term method) matchedPortion() (maude.Substitution method) MatchSearchState (class in maude) maude module MembershipAxiom (class in maude)

modelCheck() (maude.RewriteGraph method) (maude.StrategyRewriteGraph method) ModelCheckResult (class in maude) module maude Module (class in maude) ModuleHeader (class in maude)

N

name (maude.ModuleHeader property) NarrowingSequenceSearch (class in maude) NO_CONDITION (maude.Term attribute) NORMAL_FORM (in module maude)

normalize() (maude.Term method) nrBuchiStates (maude.ModelCheckResult property) nrMaximalSorts() (maude.Kind method) nrSorts() (maude.Kind method)

O

OBJECT_ORIENTED_MODULE (maude.Module attribute) OBJECT_ORIENTED_THEORY (maude.Module attribute) ONE_STEP (in module maude) OP_ASSOC (in module maude) OP_COMM (in module maude) OP_IDEM (in module maude)

OP_ITER (in module maude) OP_LEFT_ID (in module maude) OP_MEMO (in module maude) OP_RIGHT_ID (in module maude) OP_SPECIAL (in module maude) OPAQUE_STRATEGY (maude.StrategyRewriteGraph attribute) OpDeclaration (class in maude)

P

parseStrategy() (maude.Module method) parseTerm() (maude.Module method) pathTo() (maude.RewriteSequenceSearch method) (maude.StrategySequenceSearch method) prettyPrint() (maude.Term method) PRINT_COLOR (in module maude) PRINT_CONCEAL (in module maude)

PRINT_DISAMBIG_CONST (in module maude) PRINT_FLAT (in module maude) PRINT_FORMAT (in module maude) PRINT_MIXFIX (in module maude) PRINT_NUMBER (in module maude) PRINT_RAT (in module maude) PRINT_WITH_PARENS (in module maude)

R

reduce() (maude.Term method) rewrite() (maude.Term method) RewriteCondition (class in maude) RewriteGraph (class in maude) RewriteSearchState (class in maude)

RewriteSequenceSearch (class in maude) RewriteStrategy (class in maude) Rule (class in maude) RULE_APPLICATION (maude.StrategyRewriteGraph attribute) run() (maude.Hook method)

S

search() (maude.Term method) setAllowDir() (in module maude) setAllowFiles() (in module maude) setAllowProcesses() (in module maude) setAssocUnifDepth() (in module maude) setRandomSeed() (in module maude) size() (maude.Condition method) (maude.Substitution method) SOLUTION (maude.StrategyRewriteGraph attribute) Sort (class in maude) sort() (maude.Kind method) SortTestCondition (class in maude)

srewrite() (maude.Term method) StrategicSearch (class in maude) STRATEGY_MODULE (maude.Module attribute) STRATEGY_THEORY (maude.Module attribute) StrategyDefinition (class in maude) StrategyGraphTransition (class in maude) StrategyRewriteGraph (class in maude) StrategySequenceSearch (class in maude) Substitution (class in maude) Symbol (class in maude) symbol() (maude.Term method) SYSTEM_MODULE (maude.Module attribute) SYSTEM_THEORY (maude.Module attribute)

T

Term (class in maude) toFloat() (maude.Term method) toInt() (maude.Term method)

toLatex() (maude.Module method) (maude.Term method) type (maude.ModuleHeader property)

U

UnificationProblem (class in maude) unify() (maude.Module method)

upStrategy() (maude.Module method) upTerm() (maude.Module method)

V

value() (maude.Substitution method) variant_match() (maude.Module method) variant_unify() (maude.Module method)

VariantSearch (class in maude) VariantUnifierSearch (class in maude) vu_narrow() (maude.Term method)