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

Methods

vars :: a -> VarSet

Instances

Variables Constr

Defined in ToySolver.Arith.FourierMotzkin.Base

Methods

vars :: Constr -> VarSet

Variables Lit

Defined in ToySolver.Arith.Cooper.Base

Methods

vars :: Lit -> VarSet

Variables a => Variables [a]

Defined in ToySolver.Data.IntVar

Methods

vars :: [a] -> VarSet

Variables a => Variables (Formula a)

Defined in ToySolver.Data.FOL.Formula

Methods

vars :: Formula a -> VarSet

Variables a => Variables (BoolExpr a)

Defined in ToySolver.Data.BoolExpr

Methods

vars :: BoolExpr a -> VarSet

Variables e => Variables (OrdRel e)

Defined in ToySolver.Data.OrdRel

Methods

vars :: OrdRel e -> VarSet

Variables (Expr r)

Defined in ToySolver.Data.LA

Methods

vars :: Expr r -> VarSet

Variables (Expr r)

Defined in ToySolver.Data.FOL.Arith

Methods

vars :: Expr r -> 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.

Methods

eval :: m -> e -> v

Instances

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

Defined in ToySolver.Data.BoolExpr

Methods

eval :: m -> BoolExpr a -> Bool

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

Defined in ToySolver.Data.OrdRel

Methods

eval :: m -> OrdRel e -> Bool

Eval (Model Integer) Lit Bool

Defined in ToySolver.Arith.Cooper.Base

Methods

eval :: Model Integer -> Lit -> Bool

Eval (Model Rational) Constr Bool

Defined in ToySolver.Arith.FourierMotzkin.Base

Methods

eval :: Model Rational -> Constr -> Bool

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

Defined in ToySolver.Data.LA

Methods

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

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

Defined in ToySolver.Data.FOL.Arith

Methods

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