Data.Presburger.Omega.Rel

data Rel

Building relations

rel

functionalRel

fromOmegaRel

Operations on relations

toOmegaRel

Inspecting

inputDimension

outputDimension

predicate

lowerBoundSatisfiable

upperBoundSatisfiable

obviousTautology

definiteTautology

exact

inexact

unknown

equal

Bounds

upperBound

lowerBound

Binary operations

union

intersection

composition

join

restrictDomain

restrictRange

difference

crossProduct

data Effort

gist

Unary operations

transitiveClosure

domain

range

inverse

complement

deltas

approximate