ToySolver.Data.IntVar

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

Minimal complete definition

vars

Methods

vars :: a -> VarSet

Instances

Variables Constr

Methods

vars :: Constr -> VarSet

Variables Lit

Methods

vars :: Lit -> VarSet

Variables a => Variables [a]

Methods

vars :: [a] -> VarSet

Variables a => Variables (Formula a)

Methods

vars :: Formula a -> VarSet

Variables e => Variables (OrdRel e)

Methods

vars :: OrdRel e -> VarSet

Variables (Expr r)

Methods

vars :: Expr r -> VarSet

Variables (Expr r)

Methods

vars :: Expr r -> VarSet

Variables a => Variables (BoolExpr a)

Methods

vars :: BoolExpr a -> VarSet

type Model r = VarMap r

A Model is a map from variables to values.

class Eval m e v | m e -> v where

Evaluataion of something (e.g. expression or formula) under the model.

Minimal complete definition

eval

Methods

eval :: m -> e -> v

Instances

(Eval m e a, Ord a) => Eval m (OrdRel e) Bool

Methods

eval :: m -> OrdRel e -> Bool

Eval m a Bool => Eval m (BoolExpr a) Bool

Methods

eval :: m -> BoolExpr a -> Bool

Eval (Model Integer) Lit Bool

Methods

eval :: Model Integer -> Lit -> Bool

Eval (Model Rational) Constr Bool

Methods

eval :: Model Rational -> Constr -> Bool

Fractional r => Eval (Model r) (Expr r) r

Methods

eval :: Model r -> Expr r -> r

Num r => Eval (Model r) (Expr r) r

Methods

eval :: Model r -> Expr r -> r