accExpr | Language.Fixpoint.Types.Visitor |
addIds | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
adjustBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
allowHO | |
1 (Function) | Language.Fixpoint.Types.Config |
2 (Function) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Alts | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
anfPrefix | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
angles | Language.Fixpoint.Parse |
Angry | Language.Fixpoint.Misc |
Annot | Language.Fixpoint.Utils.Files |
apply | Language.Fixpoint.SortCheck |
applyNonNull | Language.Fixpoint.Misc |
arrow | Language.Fixpoint.Misc |
Assert | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
asyncMapM | Language.Fixpoint.Misc |
atLoc | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
Auto | Language.Fixpoint.Utils.Files |
beBinds | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
BindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
bindEnvFromList | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
bindEnvToList | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
BindId | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
bindInfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
BindMap | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
bindP | Language.Fixpoint.Parse |
BinFq | Language.Fixpoint.Utils.Files |
bitVecApplyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
bitVecName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
bitVecSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
bitVecToIntName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
bkFFunc | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
blanks | Language.Fixpoint.Parse |
boolApplyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
boolConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
boolFTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
boolSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types, Language.Fixpoint.SortCheck |
boolToIntName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
Bop | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
bot | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
boxDoc | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
boxHSep | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
braces | Language.Fixpoint.Parse |
brackets | Language.Fixpoint.Parse |
Brel | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
bs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Bv | |
1 (Type/Class) | Language.Fixpoint.Smt.Bitvector |
2 (Data Constructor) | Language.Fixpoint.Smt.Bitvector |
BvAnd | Language.Fixpoint.Smt.Bitvector |
bvAndName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
BvOp | Language.Fixpoint.Smt.Bitvector |
BvOr | Language.Fixpoint.Smt.Bitvector |
bvOrName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
BvSize | Language.Fixpoint.Smt.Bitvector |
bvSortP | Language.Fixpoint.Parse |
bvTyCon | Language.Fixpoint.Smt.Bitvector |
Cache | Language.Fixpoint.Utils.Files |
Cand | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
castWith | Language.Fixpoint.Smt.Serialize |
catError | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
catErrors | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
CEdge | Language.Fixpoint.Types.Graphs, Language.Fixpoint.Types |
cFileName | Language.Fixpoint.Partition |
Cgi | Language.Fixpoint.Utils.Files |
CGraph | |
1 (Type/Class) | Language.Fixpoint.Solver.Types |
2 (Data Constructor) | Language.Fixpoint.Solver.Types |
cGraph | Language.Fixpoint.Solver.Graph |
CheckSat | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
checkSat | Language.Fixpoint.Solver.Monad |
checkSorted | Language.Fixpoint.SortCheck |
checkSortedReft | Language.Fixpoint.SortCheck |
checkSortedReftFull | Language.Fixpoint.SortCheck |
checkSortExpr | Language.Fixpoint.SortCheck |
checkSortFull | Language.Fixpoint.SortCheck |
checkValid | Language.Fixpoint.Smt.Interface |
checkValids | Language.Fixpoint.Smt.Interface |
checkValidWithContext | Language.Fixpoint.Smt.Interface |
CId | Language.Fixpoint.Solver.Types |
cIn | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
cleanupContext | Language.Fixpoint.Smt.Interface |
clhs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
cLog | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
cm | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
CMany | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
CMap | Language.Fixpoint.Solver.Types |
colon | Language.Fixpoint.Parse |
colorPhaseLn | Language.Fixpoint.Misc |
colorResult | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
colorStrLn | Language.Fixpoint.Misc |
comma | Language.Fixpoint.Parse |
Command | |
1 (Type/Class) | Language.Fixpoint.Types.Config |
2 (Type/Class) | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
command | |
1 (Function) | Language.Fixpoint.Types.Config |
2 (Function) | Language.Fixpoint.Smt.Interface |
Comps | Language.Fixpoint.Types.Graphs, Language.Fixpoint.Types |
condIdP | Language.Fixpoint.Parse |
Config | |
1 (Type/Class) | Language.Fixpoint.Types.Config |
2 (Data Constructor) | Language.Fixpoint.Types.Config |
conjuncts | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
consName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
consSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
Constant | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
constantP | Language.Fixpoint.Parse |
Context | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
convertFormat | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
copyFiles | Language.Fixpoint.Utils.Files |
cores | Language.Fixpoint.Types.Config |
count | Language.Fixpoint.Misc |
cOut | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
CPart | |
1 (Type/Class) | Language.Fixpoint.Partition |
2 (Data Constructor) | Language.Fixpoint.Partition |
Crash | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
crhs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Cst | Language.Fixpoint.Utils.Files |
Cstr | Language.Fixpoint.Types.Graphs, Language.Fixpoint.Types |
CSucc | Language.Fixpoint.Solver.Types |
Ctx | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
ctxExpr | Language.Fixpoint.Types.Visitor |
Cube | |
1 (Type/Class) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
2 (Data Constructor) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
cuBinds | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
cuSubst | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Cvc4 | Language.Fixpoint.Types.Config |
CVertex | Language.Fixpoint.Types.Graphs, Language.Fixpoint.Types |
Dat | Language.Fixpoint.Utils.Files |
dcolon | |
1 (Function) | Language.Fixpoint.Misc |
2 (Function) | Language.Fixpoint.Parse |
Declare | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
defaultMaxPartSize | Language.Fixpoint.Types.Config |
defaultMinPartSize | Language.Fixpoint.Types.Config |
defaultVisitor | Language.Fixpoint.Types.Visitor |
Define | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
defineFun | Language.Fixpoint.Smt.Serialize |
defunc | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
defuncApp | Language.Fixpoint.Smt.Serialize |
defuncApp' | Language.Fixpoint.Smt.Serialize |
defuncBop | Language.Fixpoint.Smt.Serialize |
deleteIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
deleteSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
depCuts | Language.Fixpoint.Partition |
DepEdge | Language.Fixpoint.Solver.Types |
depNonCuts | Language.Fixpoint.Partition |
Deps | Language.Fixpoint.Partition |
deps | Language.Fixpoint.Partition |
die | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
differenceSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
diffIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
Distinct | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
Div | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
divFuncName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
DKVar | Language.Fixpoint.Types.Graphs, Language.Fixpoint.Types |
docBox | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
DocTable | |
1 (Type/Class) | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
2 (Data Constructor) | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
doneLine | Language.Fixpoint.Misc |
donePhase | Language.Fixpoint.Misc |
doParse' | Language.Fixpoint.Parse |
Dot | Language.Fixpoint.Utils.Files |
dropSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
dummyLoc | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
dummyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
dummyPos | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
dummySpan | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
dummySymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
EApp | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
eApps | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
EBin | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
EBot | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
ECon | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
ECst | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
editDistance | Language.Fixpoint.Misc |
EIte | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
elaborate | Language.Fixpoint.SortCheck |
ELam | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
elemsIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
eliminate | |
1 (Function) | Language.Fixpoint.Types.Config |
2 (Function) | Language.Fixpoint.Smt.Serialize |
3 (Function) | Language.Fixpoint.Solver.Eliminate |
elimSolGraph | Language.Fixpoint.Partition |
elimStats | Language.Fixpoint.Types.Config |
elit | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
emptyBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
emptyIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
emptySEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
emptySMTEnv | Language.Fixpoint.Smt.Types |
ENeg | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
ensurePath | Language.Fixpoint.Misc |
Env | Language.Fixpoint.SortCheck |
envCs | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
envKVars | Language.Fixpoint.Types.Visitor |
envKVarsN | Language.Fixpoint.Types.Visitor |
eOp | Language.Fixpoint.Smt.Bitvector |
eProp | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Eq | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
eqArgs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
EQL | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
eqPred | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
eqQual | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
EQual | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
eQual | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
err | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
errFreeVarInConstraint | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
errFreeVarInQual | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
errLoc | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
errMsg | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
Error | |
1 (Type/Class) | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
2 (Data Constructor) | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
errorstar | Language.Fixpoint.Misc |
ESym | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
ETAbs | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
ETApp | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
EVar | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
eVar | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
executeShellCommand | Language.Fixpoint.Misc |
existSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
exit | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
Expr | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
expr | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Expression | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
exprP | Language.Fixpoint.Parse |
exprReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
exprSort | Language.Fixpoint.Smt.Serialize |
Ext | Language.Fixpoint.Utils.Files |
extFileName | Language.Fixpoint.Utils.Files |
extFileNameR | Language.Fixpoint.Utils.Files |
extModuleName | Language.Fixpoint.Utils.Files |
FAbs | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
falseReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
FApp | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
fApp | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
fApp' | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
fAppTC | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
FFrac | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
FFunc | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
FI | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
fi | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
fileName | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
filterSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
filterSubst | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
filterValid | Language.Fixpoint.Solver.Monad |
FInfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
FInt | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
firstMaybe | Language.Fixpoint.Misc |
Fixpoint | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
FixResult | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
FixSolution | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
flattenRefas | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
fM | Language.Fixpoint.Misc |
FNum | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
FObj | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
fObj | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
fold | Language.Fixpoint.Types.Visitor |
foldSort | Language.Fixpoint.Types.Visitor |
format | Language.Fixpoint.Smt.Types |
Found | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
Fq | Language.Fixpoint.Utils.Files |
FReal | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
fresh | Language.Fixpoint.Smt.Types |
freshIntP | Language.Fixpoint.Parse |
freshSym | Language.Fixpoint.Smt.Types |
fromListSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
fst3 | Language.Fixpoint.Misc |
FTC | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
FTycon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
fTyconSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
fTyconSymbol | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
Full | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
funAppP | Language.Fixpoint.Parse |
funConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
funcSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
functionSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
FVar | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
GDeps | Language.Fixpoint.Partition |
Ge | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
gEdges | Language.Fixpoint.Solver.Types |
GenQualifierSort | Language.Fixpoint.Types.Config |
genSorts | Language.Fixpoint.Types.Config |
getBinds | Language.Fixpoint.Solver.Monad |
getFileInDirs | Language.Fixpoint.Utils.Files |
getFixpointPath | Language.Fixpoint.Utils.Files |
getOpts | Language.Fixpoint.Types.Config |
GetValue | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
getZ3LibPath | Language.Fixpoint.Utils.Files |
GInfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
GQS | Language.Fixpoint.Types.Config |
gradual | Language.Fixpoint.Types.Config |
gradualSolve | Language.Fixpoint.Solver.Solve |
gRanks | Language.Fixpoint.Solver.Types |
graphRanks | Language.Fixpoint.Solver.Graph |
graphStatistics | Language.Fixpoint.Partition |
grapLambdas | Language.Fixpoint.Smt.Serialize |
group | Language.Fixpoint.Misc |
groupBase | Language.Fixpoint.Misc |
groupList | Language.Fixpoint.Misc |
groupMap | Language.Fixpoint.Misc |
gSccs | Language.Fixpoint.Solver.Types, Language.Fixpoint.Solver.Graph |
gSucc | Language.Fixpoint.Solver.Types |
Gt | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Happy | Language.Fixpoint.Misc |
hashMapToAscList | Language.Fixpoint.Misc |
headSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
hpropConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
Hquals | Language.Fixpoint.Utils.Files |
Hs | Language.Fixpoint.Utils.Files |
HsBoot | Language.Fixpoint.Utils.Files |
Html | Language.Fixpoint.Utils.Files |
Hyp | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
I | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
IBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
inFile | Language.Fixpoint.Types.Config |
init | |
1 (Function) | Language.Fixpoint.Solver.Solution |
2 (Function) | Language.Fixpoint.Solver.Worklist |
initSMTEnv | Language.Fixpoint.Smt.Serialize |
Inputable | Language.Fixpoint.Parse |
insertBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
inserts | Language.Fixpoint.Misc |
insertSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
insertsIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
intApplyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
integer | Language.Fixpoint.Parse |
intersectWithSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
intersperse | Language.Fixpoint.Misc |
intFTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
intKvar | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
intSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
intSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
isBinary | Language.Fixpoint.Utils.Files |
isBv | Language.Fixpoint.Smt.Theories |
isConcC | Language.Fixpoint.Types.Visitor |
isDummy | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
isEmptySubst | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
isEVar | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
isExtFile | Language.Fixpoint.Utils.Files |
isFalse | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
isFirstOrder | Language.Fixpoint.SortCheck |
isFunctionSortedReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
isKvarC | Language.Fixpoint.Types.Visitor |
isListTC | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
isMono | Language.Fixpoint.SortCheck |
isNonSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
isNonTrivial | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
isNontrivialVV | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
isPrefixOfSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
isSingletonReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
isSmall | Language.Fixpoint.Parse |
isSMTSort | Language.Fixpoint.Smt.Serialize |
isSMTSymbol | Language.Fixpoint.Smt.Serialize |
isSuffixOfSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
isTarget | Language.Fixpoint.Solver.Graph |
isTauto | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
isTautoPred | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
isTheorySymbol | Language.Fixpoint.Smt.Theories |
Js | Language.Fixpoint.Utils.Files |
Json | Language.Fixpoint.Utils.Files |
kArgSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
KS | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
ksMember | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
ksVars | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Kuts | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
kuts | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
KV | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
kv | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
KVar | |
1 (Type/Class) | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
2 (Data Constructor) | Language.Fixpoint.Types.Graphs, Language.Fixpoint.Types |
kvarDomain | Language.Fixpoint.Types.Utils, Language.Fixpoint.Types |
kvars | Language.Fixpoint.Types.Visitor |
KVComps | Language.Fixpoint.Types.Graphs, Language.Fixpoint.Types |
KVGraph | Language.Fixpoint.Types.Graphs, Language.Fixpoint.Types |
KVRead | Language.Fixpoint.Solver.Types |
kvReadBy | Language.Fixpoint.Solver.Graph |
kvWriteBy | Language.Fixpoint.Solver.Graph |
L | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Le | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
lengthSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
lexer | Language.Fixpoint.Parse |
LHs | Language.Fixpoint.Utils.Files |
lhsPred | Language.Fixpoint.Solver.Solution |
linear | Language.Fixpoint.Types.Config |
listConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
listFTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
listLConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
ListNE | Language.Fixpoint.Misc |
lits | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
litSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
Loc | |
1 (Data Constructor) | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
2 (Type/Class) | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
loc | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
locAt | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
Located | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
locE | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
locLowerIdP | Language.Fixpoint.Parse |
locParserP | Language.Fixpoint.Parse |
LocSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
LocText | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
locUpperIdP | Language.Fixpoint.Parse |
lookupBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
lookupCMap | Language.Fixpoint.Solver.Types |
lookupSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
lookupSEnvWithDistance | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
Lossy | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
Loud | Language.Fixpoint.Misc |
lowerIdP | Language.Fixpoint.Parse |
Lt | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
makeApplication | Language.Fixpoint.Smt.Serialize |
makeApplies | Language.Fixpoint.Smt.Serialize |
makeContext | Language.Fixpoint.Smt.Interface |
makeContextNoLog | Language.Fixpoint.Smt.Interface |
makeContextWithSEnv | Language.Fixpoint.Smt.Interface |
makeFunSymbol | Language.Fixpoint.Smt.Serialize |
makeZ3Context | Language.Fixpoint.Smt.Interface |
mapApplyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
mapBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
mapKVars | Language.Fixpoint.Types.Visitor |
mapKVars' | Language.Fixpoint.Types.Visitor |
mapKVarSubsts | Language.Fixpoint.Types.Visitor |
mapPredReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
mapSel | Language.Fixpoint.Smt.Theories |
mapSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
mapSEnvWithKey | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
mapSort | |
1 (Function) | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
2 (Function) | Language.Fixpoint.Types.Visitor |
mapSto | Language.Fixpoint.Smt.Theories |
mapToIntName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
Mathsat | Language.Fixpoint.Types.Config |
maxPartSize | Language.Fixpoint.Types.Config |
mcCores | Language.Fixpoint.Partition |
MCInfo | |
1 (Type/Class) | Language.Fixpoint.Partition |
2 (Data Constructor) | Language.Fixpoint.Partition |
mcInfo | Language.Fixpoint.Partition |
mcMaxPartSize | Language.Fixpoint.Partition |
mcMinPartSize | Language.Fixpoint.Partition |
meet | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
memberSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
metadata | Language.Fixpoint.Types.Config |
mfromJust | Language.Fixpoint.Misc |
Min | Language.Fixpoint.Utils.Files |
minimize | Language.Fixpoint.Types.Config |
minPartSize | Language.Fixpoint.Types.Config |
minQuery | Language.Fixpoint.Minimize |
Minus | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Mkdn | Language.Fixpoint.Utils.Files |
mkEApp | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
mkFFunc | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
mkNe | Language.Fixpoint.Smt.Serialize |
mkQual | Language.Fixpoint.Parse |
mkRel | Language.Fixpoint.Smt.Serialize |
mkSort | Language.Fixpoint.Smt.Bitvector |
mkSubC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
mkSubst | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
mlookup | Language.Fixpoint.Misc |
Mod | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
moodColor | Language.Fixpoint.Misc |
Moods | Language.Fixpoint.Misc |
mulFuncName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
multicore | Language.Fixpoint.Types.Config |
Ne | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
newcheck | Language.Fixpoint.Types.Config |
nilName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
noKvars | Language.Fixpoint.Solver.Solution |
nonSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
nontrivsorts | Language.Fixpoint.Solver.TrivialSort |
notExprReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
numFTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
numIter | Language.Fixpoint.Solver.Monad |
ofReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Ok | |
1 (Data Constructor) | Language.Fixpoint.Misc |
2 (Data Constructor) | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
Out | Language.Fixpoint.Utils.Files |
outFile | Language.Fixpoint.Types.Config |
pairP | Language.Fixpoint.Parse |
PAll | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
PAnd | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
pAnd | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
params | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
parens | Language.Fixpoint.Parse |
parseFInfo | Language.Fixpoint.Solver |
parseFromFile | Language.Fixpoint.Parse |
Parser | Language.Fixpoint.Parse |
Part | Language.Fixpoint.Utils.Files |
partition | Language.Fixpoint.Partition |
partition' | Language.Fixpoint.Partition |
partitionN | Language.Fixpoint.Partition |
parts | Language.Fixpoint.Types.Config |
PAss | Language.Fixpoint.Utils.Files |
PAtom | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
pcm | Language.Fixpoint.Partition |
PExist | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
PFalse | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
PGrad | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
pId | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
PIff | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
PImp | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
pIte | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
PKVar | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Plus | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
PNot | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Pop | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
pop | Language.Fixpoint.Solver.Worklist |
POr | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
pOr | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
PPrint | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
pprint | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
pprintKVs | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
pprintPrec | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
pprintReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
pprintTidy | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
ppTy | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
preamble | Language.Fixpoint.Smt.Theories |
Pred | |
1 (Data Constructor) | Language.Fixpoint.Utils.Files |
2 (Type/Class) | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Predicate | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
predP | Language.Fixpoint.Parse |
predReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
preludeName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
prims | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
progressClose | Language.Fixpoint.Utils.Progress |
progressInit | Language.Fixpoint.Utils.Progress |
progressTick | Language.Fixpoint.Utils.Progress |
prop | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
propConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
propReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
pruneUnsortedReft | Language.Fixpoint.SortCheck |
PTable | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
ptable | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
PTop | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
PTrue | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Push | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
push | Language.Fixpoint.Solver.Worklist |
putBlankLn | Language.Fixpoint.Misc |
pws | Language.Fixpoint.Partition |
Q | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
QBind | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Qualifier | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
qualifier | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
qualifierP | Language.Fixpoint.Parse |
quals | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
queryFile | Language.Fixpoint.Types.Config |
q_body | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
q_name | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
q_params | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
q_pos | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
R | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Raw | Language.Fixpoint.Smt.Types |
RDiv | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
realApplyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
realFTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
realSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
realToIntName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
refaP | Language.Fixpoint.Parse |
refBindP | Language.Fixpoint.Parse |
refDefP | Language.Fixpoint.Parse |
refP | Language.Fixpoint.Parse |
Reft | |
1 (Type/Class) | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
2 (Data Constructor) | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
reft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Reftable | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
reftBind | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
reftConjuncts | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
reftFreeVars | Language.Fixpoint.Types.Utils, Language.Fixpoint.Types |
reftPred | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
remainderP | Language.Fixpoint.Parse |
renameAll | Language.Fixpoint.Solver.UniqifyBinds |
renameSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
repeats | Language.Fixpoint.Misc |
reserved | Language.Fixpoint.Parse |
reservedOp | Language.Fixpoint.Parse |
Response | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
resSolution | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
resStatus | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Result | |
1 (Data Constructor) | Language.Fixpoint.Utils.Files |
2 (Type/Class) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
3 (Data Constructor) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
resultDoc | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
resultExit | Language.Fixpoint.Solver |
rhsKVars | Language.Fixpoint.Types.Visitor |
RR | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
rr | Language.Fixpoint.Parse |
rr' | Language.Fixpoint.Parse |
RTimes | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
runSmt2 | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
runSolverM | Language.Fixpoint.Solver.Monad |
S32 | Language.Fixpoint.Smt.Bitvector |
S64 | Language.Fixpoint.Smt.Bitvector |
Sad | Language.Fixpoint.Misc |
Safe | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
safeHead | Language.Fixpoint.Misc |
safeInit | Language.Fixpoint.Misc |
safeLast | Language.Fixpoint.Misc |
safeLookup | Language.Fixpoint.Misc |
safeUncons | Language.Fixpoint.Misc |
safeUnsnoc | Language.Fixpoint.Misc |
safeZip | Language.Fixpoint.Misc |
safeZipWith | Language.Fixpoint.Misc |
sanitize | Language.Fixpoint.Solver.Validate |
Sat | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
save | Language.Fixpoint.Types.Config |
Saved | Language.Fixpoint.Utils.Files |
saveQuery | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
semi | Language.Fixpoint.Parse |
SEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
senv | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
SESearch | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
setAdd | Language.Fixpoint.Smt.Theories |
setApplyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
setCap | Language.Fixpoint.Smt.Theories |
setCom | Language.Fixpoint.Smt.Theories |
setCup | Language.Fixpoint.Smt.Theories |
setDif | Language.Fixpoint.Smt.Theories |
setEmp | Language.Fixpoint.Smt.Theories |
setEmpty | Language.Fixpoint.Smt.Theories |
setMem | Language.Fixpoint.Smt.Theories |
setSng | Language.Fixpoint.Smt.Theories |
setSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
setSub | Language.Fixpoint.Smt.Theories |
setToIntName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
shiftVV | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
showFix | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
showpp | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
sHyp | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
sid | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
SimpC | |
1 (Type/Class) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
2 (Data Constructor) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
simplify | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
SInfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
sinfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
size | Language.Fixpoint.Types.Visitor |
size32Name | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
size64Name | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
sizeBv | Language.Fixpoint.Smt.Theories |
SL | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
slConcCs | Language.Fixpoint.Solver.Types |
slEdges | Language.Fixpoint.Solver.Types |
slhs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Slice | |
1 (Type/Class) | Language.Fixpoint.Solver.Types |
2 (Data Constructor) | Language.Fixpoint.Solver.Types |
slice | Language.Fixpoint.Solver.Graph |
slKVarCs | Language.Fixpoint.Solver.Types |
sMap | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
SMT2 | Language.Fixpoint.Smt.Types |
Smt2 | Language.Fixpoint.Utils.Files |
smt2 | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
smt2App | |
1 (Function) | Language.Fixpoint.Smt.Theories |
2 (Function) | Language.Fixpoint.Smt.Serialize |
smt2env | Language.Fixpoint.Smt.Types |
smt2many | Language.Fixpoint.Smt.Serialize |
smt2s | Language.Fixpoint.Smt.Serialize |
smt2Sort | Language.Fixpoint.Smt.Theories |
smt2Symbol | Language.Fixpoint.Smt.Theories |
smtAssert | Language.Fixpoint.Smt.Interface |
smtBracket | Language.Fixpoint.Smt.Interface |
smtCheckSat | Language.Fixpoint.Smt.Interface |
smtCheckUnsat | Language.Fixpoint.Smt.Interface |
smtDecl | Language.Fixpoint.Smt.Interface |
smtDistinct | Language.Fixpoint.Smt.Interface |
smtEnablrmbqi | Language.Fixpoint.Solver.Monad |
SMTEnv | Language.Fixpoint.Smt.Types |
smtenv | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
SMTLIB2 | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
SMTSolver | Language.Fixpoint.Types.Config |
SMTSt | |
1 (Type/Class) | Language.Fixpoint.Smt.Types |
2 (Data Constructor) | Language.Fixpoint.Smt.Types |
smtWrite | Language.Fixpoint.Smt.Interface |
snd3 | Language.Fixpoint.Misc |
Sol | |
1 (Type/Class) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
2 (Data Constructor) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
solFromList | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
solInsert | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
solLookup | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
solResult | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Solution | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
solutionGraph | Language.Fixpoint.Solver.Solution |
solve | |
1 (Function) | Language.Fixpoint.Solver.Solve |
2 (Function) | Language.Fixpoint.Solver |
solveFQ | Language.Fixpoint.Solver |
SolveM | Language.Fixpoint.Solver.Monad |
Solver | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types, Language.Fixpoint.Solver |
solver | Language.Fixpoint.Types.Config |
solverStats | Language.Fixpoint.Types.Config |
Sort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
SortedReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
sortExpr | Language.Fixpoint.SortCheck |
sortFTycon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
sortNub | Language.Fixpoint.Misc |
sortP | Language.Fixpoint.Parse |
sortSubst | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
SourcePos | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
sourcePosElts | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
Spec | Language.Fixpoint.Utils.Files |
splitEApp | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
sp_start | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
sp_stop | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
srcFile | Language.Fixpoint.Types.Config |
SrcSpan | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
srcSpan | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
srhs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
sr_reft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
sr_sort | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
SS | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
stag | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
startPhase | Language.Fixpoint.Misc |
statistics | Language.Fixpoint.Utils.Statistics |
Stats | |
1 (Type/Class) | Language.Fixpoint.Solver.Worklist |
2 (Type/Class) | Language.Fixpoint.Solver.Monad |
stats | |
1 (Function) | Language.Fixpoint.Types.Config |
2 (Function) | Language.Fixpoint.Solver.Monad |
strConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
stripPrefix | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
strSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types, Language.Fixpoint.SortCheck |
Su | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Sub | |
1 (Type/Class) | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
2 (Data Constructor) | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
Subable | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
SubC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
subC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
subcId | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Subst | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
subst | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
subst1 | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
subst1Except | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
substa | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
substExcept | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
substf | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
substfExcept | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
suffixSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
Symbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
symbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
symbolFTycon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
Symbolic | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
symbolP | Language.Fixpoint.Parse |
symbolReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
symbolSafeString | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
symbolSafeText | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
symbolSorts | Language.Fixpoint.Solver.Validate |
symbolString | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
symbolText | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
symChars | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
SymConst | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
SymConsts | Language.Fixpoint.Types.Visitor |
symConsts | Language.Fixpoint.Types.Visitor |
syms | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Tag | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
TaggedC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
targetSubstSyms | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
TCEmb | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
tempDirectory | Language.Fixpoint.Utils.Files |
tempPrefix | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
tempSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
thd3 | Language.Fixpoint.Misc |
theoryEnv | Language.Fixpoint.Smt.Theories |
TheorySymbol | Language.Fixpoint.Smt.Types |
theorySymbols | Language.Fixpoint.Smt.Theories |
Thy | Language.Fixpoint.Smt.Types |
tickIter | Language.Fixpoint.Solver.Monad |
Tidy | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
tidySymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
Times | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
toFix | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
toFixpoint | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
toInt | Language.Fixpoint.Smt.Serialize |
toListSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
top | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
toReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
traceFix | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
tracepp | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
traceShow | Language.Fixpoint.Misc |
trans | Language.Fixpoint.Types.Visitor |
trueReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
trueSortedReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
Ts | Language.Fixpoint.Utils.Files |
tshow | Language.Fixpoint.Misc |
tsRaw | Language.Fixpoint.Smt.Types |
tsSort | Language.Fixpoint.Smt.Types |
tsSym | Language.Fixpoint.Smt.Types |
tupConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
TVSubst | Language.Fixpoint.SortCheck |
txExpr | Language.Fixpoint.Types.Visitor |
UAS | Language.Fixpoint.Types.Config |
Ueq | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
UeqAllSorts | Language.Fixpoint.Types.Config |
ueqAllSorts | Language.Fixpoint.Types.Config |
uexprReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
unconsSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
Une | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
unify | Language.Fixpoint.SortCheck |
unifyFast | Language.Fixpoint.SortCheck |
unionIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
unionSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
Unknown | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
unLitSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
Unsafe | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
Unsat | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
unsatCandidates | Language.Fixpoint.Solver.Worklist |
update | Language.Fixpoint.Solver.Solution |
upperIdP | Language.Fixpoint.Parse |
usymbolReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
val | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
Values | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
verbose | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
Vim | Language.Fixpoint.Utils.Files |
Visitor | |
1 (Type/Class) | Language.Fixpoint.Types.Visitor |
2 (Data Constructor) | Language.Fixpoint.Types.Visitor |
vv | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
vvCon | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
vvName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
vv_ | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
wenv | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
WfC | |
1 (Type/Class) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
2 (Data Constructor) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
wfC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
wfcUniqify | Language.Fixpoint.Solver.UniqifyKVars |
whiteSpace | Language.Fixpoint.Parse |
winfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
withColor | Language.Fixpoint.Misc |
withExt | Language.Fixpoint.Utils.Files |
withExtendedEnv | Language.Fixpoint.Smt.Types |
withProgress | Language.Fixpoint.Utils.Progress |
withTarget | Language.Fixpoint.Types.Config |
Worklist | Language.Fixpoint.Solver.Worklist |
wRanks | Language.Fixpoint.Solver.Worklist |
wrap | Language.Fixpoint.Misc |
wrapStars | Language.Fixpoint.Misc |
wrft | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
writeFInfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
writeGraph | Language.Fixpoint.Types.Graphs, Language.Fixpoint.Types |
writeLoud | Language.Fixpoint.Misc |
ws | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
Z3 | Language.Fixpoint.Types.Config |
_cenv | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
_cid | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
_cinfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
_crhs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
_ctag | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |