Index

*\|	Data.Presburger.Omega.Expr
adjustBindings	Data.Presburger.Omega.Expr
approximate
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
boolE	Data.Presburger.Omega.Expr
BoolExp	Data.Presburger.Omega.Expr
BoolExpr	Data.Presburger.Omega.Expr
Coefficient
1 (Type/Class)	Data.Presburger.Omega.LowLevel
2 (Data Constructor)	Data.Presburger.Omega.LowLevel
coeffValue	Data.Presburger.Omega.LowLevel
coeffVar	Data.Presburger.Omega.LowLevel
complement
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
composition
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Rel
conjE	Data.Presburger.Omega.Expr
conjExpr	Data.Presburger.Omega.Expr
conjunction	Data.Presburger.Omega.LowLevel
crossProduct
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Rel
definiteTautology
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
deltas
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Rel
difference
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
dimension	Data.Presburger.Omega.Set
disjE	Data.Presburger.Omega.Expr
disjExpr	Data.Presburger.Omega.Expr
disjunction	Data.Presburger.Omega.LowLevel
domain
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Rel
Effort	Data.Presburger.Omega.LowLevel, Data.Presburger.Omega.Set, Data.Presburger.Omega.Rel
equal
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
equality	Data.Presburger.Omega.LowLevel
exact
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
Exists	Data.Presburger.Omega.Expr
existsE	Data.Presburger.Omega.Expr
existsExpr	Data.Presburger.Omega.Expr
Exp	Data.Presburger.Omega.Expr
expEqual	Data.Presburger.Omega.Expr
Expr	Data.Presburger.Omega.Expr
expToFormula	Data.Presburger.Omega.Expr
false	Data.Presburger.Omega.LowLevel
falseE	Data.Presburger.Omega.Expr
foldBoolExp	Data.Presburger.Omega.Expr
foldIntExp	Data.Presburger.Omega.Expr
Forall	Data.Presburger.Omega.Expr
forallE	Data.Presburger.Omega.Expr
Formula	Data.Presburger.Omega.LowLevel
fromOmegaRel	Data.Presburger.Omega.Rel
fromOmegaSet	Data.Presburger.Omega.Set
functionalRel	Data.Presburger.Omega.Rel
gist
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
inequality	Data.Presburger.Omega.LowLevel
inexact
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
inputDimension	Data.Presburger.Omega.Rel
intE	Data.Presburger.Omega.Expr
intersection
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
IntExp	Data.Presburger.Omega.Expr
IntExpr	Data.Presburger.Omega.Expr
inverse
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Rel
IsGEZ	Data.Presburger.Omega.Expr
isNonnegativeE	Data.Presburger.Omega.Expr
IsZero	Data.Presburger.Omega.Expr
isZeroE	Data.Presburger.Omega.Expr
join	Data.Presburger.Omega.Rel
Light	Data.Presburger.Omega.LowLevel, Data.Presburger.Omega.Set, Data.Presburger.Omega.Rel
lowerBound
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
lowerBoundSatisfiable
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
Moderate	Data.Presburger.Omega.LowLevel, Data.Presburger.Omega.Set, Data.Presburger.Omega.Rel
negateE	Data.Presburger.Omega.Expr
negation	Data.Presburger.Omega.LowLevel
newOmegaRel	Data.Presburger.Omega.LowLevel
newOmegaSet	Data.Presburger.Omega.LowLevel
notE	Data.Presburger.Omega.Expr
nthVarE	Data.Presburger.Omega.Expr
nthVariable	Data.Presburger.Omega.Expr
obviousTautology
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
OmegaRel	Data.Presburger.Omega.LowLevel
OmegaSet	Data.Presburger.Omega.LowLevel
outputDimension	Data.Presburger.Omega.Rel
predicate
1 (Function)	Data.Presburger.Omega.Set
2 (Function)	Data.Presburger.Omega.Rel
PredOp	Data.Presburger.Omega.Expr
Presburger	Data.Presburger.Omega.LowLevel
prodE	Data.Presburger.Omega.Expr
qExists	Data.Presburger.Omega.LowLevel
qForall	Data.Presburger.Omega.LowLevel
Quantifier	Data.Presburger.Omega.Expr
queryDNFRelation	Data.Presburger.Omega.LowLevel
queryDNFSet	Data.Presburger.Omega.LowLevel
range
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Rel
Rel	Data.Presburger.Omega.Rel
rel	Data.Presburger.Omega.Rel
rename	Data.Presburger.Omega.Expr
restrictDomain
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Rel
restrictRange
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Rel
Set	Data.Presburger.Omega.Set
set	Data.Presburger.Omega.Set
Strenuous	Data.Presburger.Omega.LowLevel, Data.Presburger.Omega.Set, Data.Presburger.Omega.Rel
sumE	Data.Presburger.Omega.Expr
sumOfProductsE	Data.Presburger.Omega.Expr
sumOfProductsExpr	Data.Presburger.Omega.Expr
takeFreeVariables	Data.Presburger.Omega.Expr
takeFreeVariables'	Data.Presburger.Omega.Expr
testExpr	Data.Presburger.Omega.Expr
toOmegaRel	Data.Presburger.Omega.Rel
toOmegaSet	Data.Presburger.Omega.Set
transitiveClosure
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Rel
true	Data.Presburger.Omega.LowLevel
trueE	Data.Presburger.Omega.Expr
union
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
unknown
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
upperBound
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
upperBoundSatisfiable
1 (Function)	Data.Presburger.Omega.LowLevel
2 (Function)	Data.Presburger.Omega.Set
3 (Function)	Data.Presburger.Omega.Rel
Var	Data.Presburger.Omega.Expr
varE	Data.Presburger.Omega.Expr
varExpr	Data.Presburger.Omega.Expr
VarHandle	Data.Presburger.Omega.LowLevel
variablesWithinRange	Data.Presburger.Omega.Expr
wrapExpr	Data.Presburger.Omega.Expr
wrapSimplifiedExpr	Data.Presburger.Omega.Expr
\|&&\|	Data.Presburger.Omega.Expr
\|*\|	Data.Presburger.Omega.Expr
\|+\|	Data.Presburger.Omega.Expr
\|-\|	Data.Presburger.Omega.Expr
\|/=\|	Data.Presburger.Omega.Expr
\|<=\|	Data.Presburger.Omega.Expr
\|<\|	Data.Presburger.Omega.Expr
\|==\|	Data.Presburger.Omega.Expr
\|>=\|	Data.Presburger.Omega.Expr
\|>\|	Data.Presburger.Omega.Expr