ToySolver.Data.LA

Expression of linear arithmetics

data Expr r

type Var

Conversion

var

constant

terms

fromTerms

coeffMap

fromCoeffMap

unitVar

asConst

Query

coeff

lookupCoeff

extract

extractMaybe

Operations

mapCoeff

mapCoeffWithVar

evalExpr

evalLinear

lift1

applySubst

applySubst1

showExpr

Atomic formula of linear arithmetics

type Atom r

showAtom

evalAtom

applySubstAtom

applySubst1Atom

solveFor

misc

type BoundsEnv r

computeInterval