rest-rewrite-0.4.0: Rewriting library with online termination checking

Index

<.Language.REST.Internal.OpOrdering
=.Language.REST.Internal.OpOrdering
>.Language.REST.Internal.OpOrdering
AddLanguage.REST.SMT
addConstraint 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.ADT
3 (Function)Language.REST.WQOConstraints.Lazy
adtOCLanguage.REST.WQOConstraints.ADT
adtRPOLanguage.REST
AlreadyImpliedLanguage.REST.Internal.WQO
AndLanguage.REST.SMT
AppLanguage.REST.RuntimeTerm
applyLanguage.REST.RewriteRule
bfsLanguage.REST.Internal.WorkStrategy
bimapConstraintsLanguage.REST.OCAlgebra
checkSatLanguage.REST.SMT
checkSat'Language.REST.SMT
cmapConstraintsLanguage.REST.WQOConstraints
ConstLanguage.REST.SMT
ConstraintGenLanguage.REST.WQOConstraints
ConstraintsADTLanguage.REST.WQOConstraints.ADT
containsLanguage.REST.RuntimeTerm
ContradictsLanguage.REST.Internal.WQO
contramapLanguage.REST.OCAlgebra
DagLanguage.REST.Dot
deleteLanguage.REST.Internal.MultiSet
deleteManyLanguage.REST.Internal.MultiSet
descendentsLanguage.REST.Internal.PartialOrder
differenceLanguage.REST.WQOConstraints.Strict
DiGraph 
1 (Type/Class)Language.REST.Dot
2 (Data Constructor)Language.REST.Dot
distinctElemsLanguage.REST.Internal.MultiSet
Edge 
1 (Type/Class)Language.REST.Dot
2 (Data Constructor)Language.REST.Dot
edgeColorLanguage.REST.Dot
edgeLabelLanguage.REST.Dot
edgeStyleLanguage.REST.Dot
EFLanguage.REST.ExploredTerms
elems 
1 (Function)Language.REST.Internal.PartialOrder
2 (Function)Language.REST.Internal.EquivalenceClass
3 (Function)Language.REST.Internal.WQO
empty 
1 (Function)Language.REST.ExploredTerms
2 (Function)Language.REST.Internal.MultiSet
3 (Function)Language.REST.Internal.PartialOrder
4 (Function)Language.REST.Internal.WQO, Language.REST.Internal.OpOrdering
EQLanguage.REST.Types
EqualLanguage.REST.SMT
EquivalenceClassLanguage.REST.Internal.EquivalenceClass
etStrategyLanguage.REST.Rest
ExploreAlwaysLanguage.REST.ExploredTerms
ExploredTermsLanguage.REST.ExploredTerms
ExploreFuncsLanguage.REST.ExploredTerms
ExploreLessConstrainedLanguage.REST.ExploredTerms
ExploreOnceLanguage.REST.ExploredTerms
ExploreStrategyLanguage.REST.ExploredTerms
ExploreWhenNeededLanguage.REST.ExploredTerms
exRefineLanguage.REST.ExploredTerms
ExtendOrderingResultLanguage.REST.Internal.WQO
filterLanguage.REST.Internal.MultiSet
fromLanguage.REST.Dot
fromList 
1 (Function)Language.REST.Internal.MultiSet
2 (Function)Language.REST.Internal.EquivalenceClass
fromPLELanguage.REST.Path
fuelOCLanguage.REST.OCAlgebra
getECsLanguage.REST.Internal.WQO
getModelLanguage.REST.SMT
getOrderingLanguage.REST.WQOConstraints
getPOLanguage.REST.Internal.WQO
getRelationLanguage.REST.Internal.WQO
GetWorkLanguage.REST.Internal.WorkStrategy
GraphTypeLanguage.REST.Dot
GreaterLanguage.REST.SMT
GTLanguage.REST.Types
gtLanguage.REST.Internal.PartialOrder
GTE 
1 (Data Constructor)Language.REST.SMT
2 (Data Constructor)Language.REST.Types
headLanguage.REST.Internal.EquivalenceClass
HideRejectsLanguage.REST.RESTDot
ImpliesLanguage.REST.SMT
includeInResultLanguage.REST.Rest
initResLanguage.REST.Rest
insert 
1 (Function)Language.REST.ExploredTerms
2 (Function)Language.REST.Internal.MultiSet
3 (Function)Language.REST.Internal.PartialOrder
4 (Function)Language.REST.Internal.EquivalenceClass
5 (Function)Language.REST.Internal.WQO
insertMaybeLanguage.REST.Internal.WQO
insertUnsafeLanguage.REST.Internal.PartialOrder
IntersectLanguage.REST.WQOConstraints.ADT
intersect 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.ADT
intersectAllLanguage.REST.WQOConstraints
intersectRelationLanguage.REST.WQOConstraints
isEmptyLanguage.REST.Internal.PartialOrder
isMemberLanguage.REST.Internal.EquivalenceClass
isSatLanguage.REST.OCAlgebra
isSatisfiable 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.Lazy
isSingletonLanguage.REST.Internal.EquivalenceClass
isSubsetOfLanguage.REST.Internal.EquivalenceClass
isUnsatisfiable 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.Strict
kboLanguage.REST.KBO
kboGTELanguage.REST.KBO
killZ3Language.REST.SMT
labelLanguage.REST.Dot
labelColorLanguage.REST.Dot
LazyOCLanguage.REST.WQOConstraints.Lazy
lazyOCLanguage.REST.WQOConstraints.Lazy
liftLanguage.REST.OCToAbstract
liftCLanguage.REST.WQOConstraints
ListT 
1 (Type/Class)Language.REST.Internal.ListT
2 (Data Constructor)Language.REST.Internal.ListT
lpoLanguage.REST.LPO
lpoStrictLanguage.REST.LPO
memberLanguage.REST.Internal.MultiSet
mergeLanguage.REST.Internal.WQO
mergeAllLanguage.REST.Internal.WQO
MetaTermLanguage.REST.MetaTerm
MinLanguage.REST.Dot
mkGraphLanguage.REST.Dot
MultiSetLanguage.REST.Internal.MultiSet
multisetOrderLanguage.REST.Internal.MultisetOrder
namedLanguage.REST.Internal.Rewrite
noConstraints 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.Lazy
3 (Function)Language.REST.WQOConstraints.Strict
Node 
1 (Type/Class)Language.REST.Dot
2 (Data Constructor)Language.REST.Dot
NodeIDLanguage.REST.Dot
nodeIDLanguage.REST.Dot
nodeStyleLanguage.REST.Dot
notStrongerThan 
1 (Function)Language.REST.OCAlgebra
2 (Function)Language.REST.Internal.WQO
3 (Function)Language.REST.WQOConstraints
notVisitedFirstLanguage.REST.Internal.WorkStrategy
null 
1 (Function)Language.REST.Internal.MultiSet
2 (Function)Language.REST.Internal.WQO
OCLanguage.REST.WQOConstraints
OCAlgebra 
1 (Type/Class)Language.REST.OCAlgebra
2 (Data Constructor)Language.REST.OCAlgebra
ocImplLanguage.REST.Rest
Op 
1 (Type/Class)Language.REST.Op
2 (Data Constructor)Language.REST.Op
opEQLanguage.REST.Internal.OpOrdering
opGTLanguage.REST.Internal.OpOrdering
OpOrderingLanguage.REST.Internal.OpOrdering
OrLanguage.REST.SMT
orderingLanguage.REST.Path
orderingsLanguage.REST.Internal.WQO
orientLanguage.REST.Core
parseModelLanguage.REST.SMT
parseOOLanguage.REST.Internal.OpOrdering
PartialOrderLanguage.REST.Internal.PartialOrder
PathLanguage.REST.Path
PathsResult 
1 (Type/Class)Language.REST.Rest
2 (Data Constructor)Language.REST.Rest
pathsResultLanguage.REST.Rest
PathTerm 
1 (Type/Class)Language.REST.Path
2 (Data Constructor)Language.REST.Path
pathTermLanguage.REST.Path
pathTermsLanguage.REST.Path
permits 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.Strict
PPArgs 
1 (Type/Class)Language.REST.Types
2 (Data Constructor)Language.REST.Types
ppCustomLanguage.REST.Types
ppInfixOpsLanguage.REST.Types
ppReplaceLanguage.REST.Types
prettyPrintLanguage.REST.Types
PrettyPrinter 
1 (Type/Class)Language.REST.RESTDot
2 (Data Constructor)Language.REST.RESTDot
printOrdLanguage.REST.RESTDot
printRuleLanguage.REST.RESTDot
printTermLanguage.REST.RESTDot
QEQLanguage.REST.Internal.WQO
QGTLanguage.REST.Internal.WQO
QORelationLanguage.REST.Internal.WQO
reLanguage.REST.Rest
refineLanguage.REST.OCAlgebra
rejectedLanguage.REST.Path
RelationLanguage.REST.Types
relevantToLanguage.REST.Internal.WQO
removeEqByLanguage.REST.Internal.Util
replaceUnsafeLanguage.REST.Internal.PartialOrder
restLanguage.REST.Rest
RESTParams 
1 (Type/Class)Language.REST.Rest
2 (Data Constructor)Language.REST.Rest
RESTResultLanguage.REST.Rest
resultTermsLanguage.REST.Rest
Rewrite 
1 (Type/Class)Language.REST.Internal.Rewrite
2 (Data Constructor)Language.REST.Internal.Rewrite
RewriteRuleLanguage.REST.RewriteRule
rpoLanguage.REST.RPO
rpoGTELanguage.REST.RPO
ruLanguage.REST.Rest
ruleLanguage.REST.Path
runListTLanguage.REST.Internal.ListT
runStateConstraintsLanguage.REST.WQOConstraints
RuntimeTermLanguage.REST.RuntimeTerm
runtimeTermLanguage.REST.Path
RWAppLanguage.REST.MetaTerm
SatLanguage.REST.WQOConstraints.ADT
shouldExploreLanguage.REST.ExploredTerms
showRejectsLanguage.REST.RESTDot
ShowRejectsOptLanguage.REST.RESTDot
ShowRejectsWithoutRuleLanguage.REST.RESTDot
ShowRejectsWithRuleLanguage.REST.RESTDot
singleton 
1 (Function)Language.REST.Internal.MultiSet
2 (Function)Language.REST.Internal.EquivalenceClass
3 (Function)Language.REST.Internal.WQO
4 (Function)Language.REST.WQOConstraints
sizeLanguage.REST.ExploredTerms
smtAddLanguage.REST.SMT
smtAndLanguage.REST.SMT
SMTExprLanguage.REST.SMT
smtFalseLanguage.REST.SMT
smtGTELanguage.REST.SMT
smtTrueLanguage.REST.SMT
SMTVar 
1 (Type/Class)Language.REST.SMT
2 (Data Constructor)Language.REST.SMT
SolverHandleLanguage.REST.SMT
spawnZ3Language.REST.SMT
Step 
1 (Type/Class)Language.REST.Path
2 (Data Constructor)Language.REST.Path
StrictOCLanguage.REST.WQOConstraints.Strict
strictOCLanguage.REST.WQOConstraints.Strict
strictOC'Language.REST.WQOConstraints.Strict
subLabelLanguage.REST.Dot
SubstLanguage.REST.Internal.Rewrite
substLanguage.REST.Internal.Rewrite
subsumesLanguage.REST.ExploredTerms
subTermsLanguage.REST.RuntimeTerm
synGTELanguage.REST.RPO
targetLanguage.REST.Rest
termLanguage.REST.Path
TermsResultLanguage.REST.Rest
termsResultLanguage.REST.Rest
toLanguage.REST.Dot
toDescsListLanguage.REST.Internal.PartialOrder
toList 
1 (Function)Language.REST.Internal.MultiSet
2 (Function)Language.REST.Internal.PartialOrder
3 (Function)Language.REST.Internal.EquivalenceClass
ToMetaTermLanguage.REST.MetaTerm
toMetaTermLanguage.REST.MetaTerm
toOccurListLanguage.REST.Internal.MultiSet
toOrderedSetLanguage.REST.Types
topLanguage.REST.OCAlgebra
ToRuntimeTermLanguage.REST.RuntimeTerm
toRuntimeTermLanguage.REST.RuntimeTerm
toSetLanguage.REST.Internal.MultiSet
ToSMTLanguage.REST.SMT
toSMTLanguage.REST.SMT
ToSMTVarLanguage.REST.SMT
toSMTVarLanguage.REST.SMT
TreeLanguage.REST.Dot
unifyLanguage.REST.Internal.Rewrite
UnionLanguage.REST.WQOConstraints.ADT
union 
1 (Function)Language.REST.ExploredTerms
2 (Function)Language.REST.OCAlgebra
3 (Function)Language.REST.Internal.EquivalenceClass
4 (Function)Language.REST.WQOConstraints
5 (Function)Language.REST.WQOConstraints.ADT
unionAllLanguage.REST.WQOConstraints
unionDisjointUnsafeLanguage.REST.Internal.PartialOrder
UnsatLanguage.REST.WQOConstraints.ADT
unsatisfiableLanguage.REST.WQOConstraints
ValidExtensionLanguage.REST.Internal.WQO
Var 
1 (Data Constructor)Language.REST.SMT
2 (Data Constructor)Language.REST.MetaTerm
visitedLanguage.REST.ExploredTerms
withZ3Language.REST.SMT
WorkStrategy 
1 (Type/Class)Language.REST.Internal.WorkStrategy, Language.REST.Rest
2 (Data Constructor)Language.REST.Internal.WorkStrategy, Language.REST.Rest
workStrategyLanguage.REST.Rest
WQOLanguage.REST.Internal.WQO
WQOConstraintsLanguage.REST.WQOConstraints
writeDotLanguage.REST.RESTDot
Z3ModelLanguage.REST.SMT