Index

A

ANY_STEPS (in module maude) ApplicationStrategy (class in 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

CallStrategy (class in maude) check() (maude.Term method) ChoiceStrategy (class in maude) ConcatenationStrategy (class in maude) Condition (class in maude)

CONDITIONAL (in module maude) ConditionalStrategy (class in maude) connectEqHook() (in module maude) connectRlHook() (in module maude) copy() (maude.Term method) cycle (maude.ModelCheckResult property)

D

DELAY (in module maude) 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) FILTER (in module maude) filteringIncomplete() (maude.VariantUnifierSearch method) find() (maude.Substitution method)

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

G

get_variants() (maude.Term method) getArguments() (maude.SampleStrategy method) getCondition() (maude.Equation method) (maude.MembershipAxiom method) (maude.Rule method) (maude.StrategyDefinition method) (maude.SubtermStrategy method) (maude.TestStrategy method) getCurrentModule() (in module maude) getData() (maude.HookData method) getDefinitions() (maude.RewriteStrategy method) getDepth() (maude.SubtermStrategy method) (maude.TestStrategy method) getDistributionName() (maude.SampleStrategy method) getDomain() (maude.RewriteStrategy method) getDomainAndRange() (maude.OpDeclaration method) getEquations() (maude.Module method) getFailureStrategy() (maude.ConditionalStrategy method) getFormat() (maude.Symbol method) getFrontierStates() (maude.NarrowingSequenceSearch method) getFrozen() (maude.Symbol method) getIdentity() (maude.Symbol method) getIdHooks() (maude.Symbol method) getInitialStrategy() (maude.ConditionalStrategy method) getIterExponent() (maude.Term method) getKinds() (maude.Module method) getLabel() (maude.ApplicationStrategy method) (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) getMostGeneralStates() (maude.NarrowingSequenceSearch 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)

getPattern() (maude.SubtermStrategy method) (maude.TestStrategy method) getPrec() (maude.Symbol method) getRangeSort() (maude.Symbol method) getResult() (maude.TrivialStrategy 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.NarrowingSequenceSearch method) (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.ApplicationStrategy method) (maude.ChoiceStrategy method) (maude.ConcatenationStrategy method) (maude.Module method) (maude.SubtermStrategy method) (maude.UnionStrategy method) getStrategy() (maude.CallStrategy method) (maude.IterationStrategy method) (maude.OneStrategy method) (maude.SampleStrategy method) (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.ApplicationStrategy method) (maude.NarrowingSequenceSearch method) (maude.RewriteSearchState method) (maude.RewriteSequenceSearch method) (maude.StrategySequenceSearch method) getSubterms() (maude.SubtermStrategy method) getSuccessStrategy() (maude.ConditionalStrategy method) getSupersorts() (maude.Sort method) getSymbol() (maude.HookData method) getSymbols() (maude.Module method) getTerm() (maude.CallStrategy method) (maude.HookData method) getTermHooks() (maude.Symbol method) getTop() (maude.ApplicationStrategy method) getTransition() (maude.StrategyRewriteGraph method) (maude.StrategySequenceSearch method) getType() (maude.ConditionalStrategy method) (maude.StrategyGraphTransition method) getUnifier() (maude.NarrowingSequenceSearch method) getVariable() (maude.SampleStrategy method) getVarName() (maude.Term method) getView() (in module maude) getViews() (in module maude) getWeight() (maude.WeightedSubtermStrategy method) getWeights() (maude.ChoiceStrategy method) getZeroAllowed() (maude.IterationStrategy method)

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) IterationStrategy (class in maude)

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

makeCall() (maude.RewriteStrategy method) 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) NORMALIZATION (in module maude)

normalize() (maude.Term method) NOT (in module maude) 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) OneStrategy (class in 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) OR_ELSE (in module maude)

P

parseStrategy() (maude.Module method) parseTerm() (maude.Module method) PATH (in module maude) 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

SampleStrategy (class in maude) 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) SubtermStrategy (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) TEST (in module maude) TestStrategy (class in maude) toFloat() (maude.Term method) toInt() (maude.Term method)

toLatex() (maude.Module method) (maude.Term method) TrivialStrategy (class in maude) TRY (in module maude) type (maude.ModuleHeader property)

U

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

UnionStrategy (class in maude) 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) VFOLD (in module maude) vu_narrow() (maude.Module method) (maude.Term method)

W

WeightedSubtermStrategy (class in maude)