Contents
Index
Omega-1.0.3: Integer sets and relations using Presburger arithmetic
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