Data.Presburger.Omega.LowLevel

Sets and relations

class Presburger a

data OmegaSet

newOmegaSet

data OmegaRel

newOmegaRel

Inspecting sets and relations directly

queryDNFSet

queryDNFRelation

Queries on sets and relations

lowerBoundSatisfiable

upperBoundSatisfiable

obviousTautology

definiteTautology

exact

inexact

unknown

Creating new sets and relations from old ones

Bounds

upperBound

lowerBound

Binary operations

equal

union

intersection

composition

restrictDomain

restrictRange

difference

crossProduct

data Effort

gist

Unary operations

transitiveClosure

domain

range

inverse

complement

deltas

approximate

Constructing formulas

data Formula

true

false

conjunction

disjunction

negation

data VarHandle

qForall

qExists

data Coefficient

inequality

equality