ToySolver.Data.Var

Documentation

type Var = Int

Variables are represented as non-negative integers

type VarSet = IntSet

Set of variables

type VarMap = IntMap

Map from variables

class Variables a where

collecting free variables

Methods

vars :: a -> VarSet

Instances

Variables Constr

Variables Lit

Variables a => Variables [a]

Variables a => Variables (BoolExpr a)

Variables a => Variables (Formula a)

Variables e => Variables (ArithRel e)

Variables (Expr r)

Variables (Expr r)

type Model r = VarMap r

A Model is a map from variables to values.