ToySolver.Data.LA

Expression of linear arithmetics

data Expr r

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