rest-rewrite-0.3.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
4 (Function)Language.REST.WQOConstraints.Strict
adtOCLanguage.REST.WQOConstraints.ADT
adtOC'Language.REST.WQOConstraints.ADT
adtRPOLanguage.REST
AlreadyImpliedLanguage.REST.Internal.WQO
AndLanguage.REST.SMT
AppLanguage.REST.RuntimeTerm
appLanguage.REST.SMT
applyLanguage.REST.RewriteRule
askCmdsLanguage.REST.SMT
bfsLanguage.REST.Internal.WorkStrategy
bfs'Language.REST.Internal.WorkStrategy
bimapConstraintsLanguage.REST.OCAlgebra
cachedLanguage.REST.WQOConstraints.ADT
cached'Language.REST.WQOConstraints.ADT
canOrientLanguage.REST.Core
cgenLanguage.REST
CheckSatLanguage.REST.SMT
checkSatLanguage.REST.SMT
checkSat'Language.REST.SMT
cmapConstraintsLanguage.REST.WQOConstraints
commandStringLanguage.REST.SMT
commutesLastLanguage.REST.Internal.WorkStrategy
ConstLanguage.REST.SMT
ConstraintGenLanguage.REST.WQOConstraints
ConstraintsADTLanguage.REST.WQOConstraints.ADT
containsLanguage.REST.Core
ContradictsLanguage.REST.Internal.WQO
contramapLanguage.REST.OCAlgebra
costLanguage.REST.WQOConstraints.ADT
csLanguage.REST.WQOConstraints.ADT
DagLanguage.REST.Dot
DeclareVarLanguage.REST.SMT
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
dnfSizeLanguage.REST.WQOConstraints.ADT
DotPathLanguage.REST.Dot
Edge 
1 (Type/Class)Language.REST.Dot
2 (Data Constructor)Language.REST.Dot
edgeColorLanguage.REST.Dot
edgeLabelLanguage.REST.Dot
edgeStringLanguage.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
4 (Function)Language.REST.WQOConstraints
5 (Function)Language.REST.WQOConstraints.Strict
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
endNodeLanguage.REST.RESTDot
EQLanguage.REST.Types
EqualLanguage.REST.SMT
EquivalenceClassLanguage.REST.Internal.EquivalenceClass
etStrategyLanguage.REST.Rest
evalLanguage.REST.Core
ExploreAlwaysLanguage.REST.ExploredTerms
ExploredTermsLanguage.REST.ExploredTerms
ExploreFuncsLanguage.REST.ExploredTerms
ExploreLessConstrainedLanguage.REST.ExploredTerms
ExploreOnceLanguage.REST.ExploredTerms
ExploreStrategyLanguage.REST.ExploredTerms
ExploreWhenNeededLanguage.REST.ExploredTerms
exprStringLanguage.REST.SMT
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
GCMonadLanguage.REST.WQOConstraints.ADT
GCResultLanguage.REST.WQOConstraints.ADT
GCState 
1 (Type/Class)Language.REST.WQOConstraints.ADT
2 (Data Constructor)Language.REST.WQOConstraints.ADT
getConstraintsLanguage.REST.WQOConstraints.ADT
getConstraints'Language.REST.WQOConstraints.ADT
getECsLanguage.REST.Internal.WQO
getModelLanguage.REST.SMT
getNameLanguage.REST.Internal.Rewrite
getNodeIDLanguage.REST.RESTDot
getOrdering 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.Strict
getPOLanguage.REST.Internal.WQO
getRelationLanguage.REST.Internal.WQO
getVarsLanguage.REST
GetWorkLanguage.REST.Internal.WorkStrategy
graphStringLanguage.REST.Dot
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
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
3 (Function)Language.REST.WQOConstraints.Lazy
4 (Function)Language.REST.WQOConstraints.Strict
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.ADT
3 (Function)Language.REST.WQOConstraints.Lazy
4 (Function)Language.REST.WQOConstraints.Strict
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
lpoLanguage.REST.LPO
lpoStrictLanguage.REST.LPO
maxDepthLanguage.REST.WQOConstraints.ADT
memberLanguage.REST.Internal.MultiSet
mergeLanguage.REST.Internal.WQO, Language.REST.Internal.OpOrdering
mergeAllLanguage.REST.Internal.WQO
MetaTerm 
1 (Type/Class)Language.REST.MetaTerm
2 (Type/Class)Language.REST.Core
MinLanguage.REST.Dot
minDepthLanguage.REST.WQOConstraints.ADT
mkGraphLanguage.REST.Dot
modelParserLanguage.REST.SMT
msLanguage.REST.WQOConstraints.ADT
MultiSetLanguage.REST.Internal.MultiSet
multisetOrderLanguage.REST.Internal.MultisetOrder
namedLanguage.REST.Internal.Rewrite
noConstraints 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.ADT
3 (Function)Language.REST.WQOConstraints.Lazy
4 (Function)Language.REST.WQOConstraints.Strict
Node 
1 (Type/Class)Language.REST.Dot
2 (Data Constructor)Language.REST.Dot
NodeIDLanguage.REST.Dot
nodeIDLanguage.REST.Dot
nodeStringLanguage.REST.Dot
nodeStyleLanguage.REST.Dot
notStrongerThan 
1 (Function)Language.REST.OCAlgebra
2 (Function)Language.REST.Internal.WQO
3 (Function)Language.REST.WQOConstraints
4 (Function)Language.REST.WQOConstraints.ADT
5 (Function)Language.REST.WQOConstraints.Strict
notVisitedFirstLanguage.REST.Internal.WorkStrategy
notVisitedFirst'Language.REST.Internal.WorkStrategy
null 
1 (Function)Language.REST.Internal.MultiSet
2 (Function)Language.REST.Internal.WQO
numOrderingsLanguage.REST.WQOConstraints
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
opInsertLanguage.REST.Internal.OpOrdering
OpOrderingLanguage.REST.Internal.OpOrdering
OrLanguage.REST.SMT
orderingLanguage.REST.Path
orderingsLanguage.REST.Internal.WQO
orientLanguage.REST.Core
orient'Language.REST.Core
parensLanguage.REST.SMT
parseFunDefLanguage.REST.SMT
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.ADT
3 (Function)Language.REST.WQOConstraints.Strict
PopLanguage.REST.SMT
possibilitiesLanguage.REST.Internal.MultisetOrder
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
PushLanguage.REST.SMT
QEQLanguage.REST.Internal.WQO
QGTLanguage.REST.Internal.WQO
QORelationLanguage.REST.Internal.WQO
reLanguage.REST.Rest
readModelLanguage.REST.SMT
refineLanguage.REST.OCAlgebra
rejectedLanguage.REST.Path
rejectedNodesLanguage.REST.RESTDot
rejNodeIDLanguage.REST.RESTDot
RelationLanguage.REST.Types
relevantConstraints 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.ADT
3 (Function)Language.REST.WQOConstraints.Strict
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
Rewrite 
1 (Type/Class)Language.REST.Internal.Rewrite
2 (Data Constructor)Language.REST.Internal.Rewrite
RewriteRuleLanguage.REST.RewriteRule
rpoLanguage.REST.RPO
rpoGTELanguage.REST.RPO
rpoGTE'Language.REST.RPO
rpoTermLanguage.REST.RPO
ruLanguage.REST.Rest
ruleLanguage.REST.Path
runStateConstraintsLanguage.REST.WQOConstraints
RuntimeTermLanguage.REST.RuntimeTerm
runtimeTermLanguage.REST.Path
RWAppLanguage.REST.MetaTerm
SatLanguage.REST.WQOConstraints.ADT
shouldExploreLanguage.REST.ExploredTerms
showHashLanguage.REST.OCToAbstract
showRejectsLanguage.REST.RESTDot
ShowRejectsOptLanguage.REST.RESTDot
ShowRejectsWithoutRuleLanguage.REST.RESTDot
ShowRejectsWithRuleLanguage.REST.RESTDot
simplify 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.ADT
singleton 
1 (Function)Language.REST.Internal.MultiSet
2 (Function)Language.REST.Internal.EquivalenceClass
3 (Function)Language.REST.Internal.WQO
4 (Function)Language.REST.WQOConstraints
5 (Function)Language.REST.WQOConstraints.Lazy
6 (Function)Language.REST.WQOConstraints.Strict
sizeLanguage.REST.ExploredTerms
smtAddLanguage.REST.SMT
smtAndLanguage.REST.SMT
SMTAssertLanguage.REST.SMT
SMTCommandLanguage.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
subPathsLanguage.REST.RESTDot
SubstLanguage.REST.Internal.Rewrite
substLanguage.REST.Internal.Rewrite
subsumesLanguage.REST.ExploredTerms
subTermsLanguage.REST.RuntimeTerm
symsLanguage.REST.Core
synGTELanguage.REST.RPO
targetLanguage.REST.Rest
termLanguage.REST.Path
termOpsLanguage.REST.MetaTerm
termPathStrLanguage.REST.Core
termsLanguage.REST.Rest
termsResultLanguage.REST.Rest
toLanguage.REST.Dot
toDescsListLanguage.REST.Internal.PartialOrder
toEdgesLanguage.REST.RESTDot
toFormulaLanguage.REST.SMT
toGraphLanguage.REST.RESTDot
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
toNodesLanguage.REST.RESTDot
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
toUntypedLanguage.REST.SMT
trace'Language.REST.WQOConstraints.ADT
TreeLanguage.REST.Dot
UAddLanguage.REST.SMT
UAndLanguage.REST.SMT
UConstLanguage.REST.SMT
UEqualLanguage.REST.SMT
UGreaterLanguage.REST.SMT
UGTELanguage.REST.SMT
UImpliesLanguage.REST.SMT
unifyLanguage.REST.Internal.Rewrite
unifyAllLanguage.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
6 (Function)Language.REST.WQOConstraints.Lazy
7 (Function)Language.REST.WQOConstraints.Strict
unionAllLanguage.REST.WQOConstraints
unionDisjointUnsafeLanguage.REST.Internal.PartialOrder
UnsatLanguage.REST.WQOConstraints.ADT
unsatisfiable 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.ADT
3 (Function)Language.REST.WQOConstraints.Lazy
4 (Function)Language.REST.WQOConstraints.Strict
UntypedExprLanguage.REST.SMT
UOrLanguage.REST.SMT
UVarLanguage.REST.SMT
ValidExtensionLanguage.REST.Internal.WQO
Var 
1 (Data Constructor)Language.REST.SMT
2 (Data Constructor)Language.REST.MetaTerm
varsLanguage.REST.SMT
varsEQLanguage.REST
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
WQO 
1 (Type/Class)Language.REST.Internal.WQO
2 (Type/Class)Language.REST.WQOConstraints.ADT
WQOConstraintsLanguage.REST.WQOConstraints
writeDotLanguage.REST.RESTDot
Z3ModelLanguage.REST.SMT