Data.Presburger.Omega.Set

data Set

Building sets

set

fromOmegaSet

Operations on sets

toOmegaSet

Inspecting

dimension

predicate

lowerBoundSatisfiable

upperBoundSatisfiable

obviousTautology

definiteTautology

exact

inexact

unknown

equal

Bounds

upperBound

lowerBound

Binary operations

union

intersection

difference

data Effort

gist

Unary operations

complement

approximate