Copyright	(c) Masahiro Sakai 2011-2013
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	non-portable (MultiParamTypeClasses)
Safe Haskell	Safe
Language	Haskell2010

ToySolver.Data.IntVar

Description

Synopsis

Documentation

Variables are represented as non-negative integers

Set of variables

Map from variables

collecting free variables

Minimal complete definition

Methods

Instances

Variables Constr Source #
Methods vars :: Constr -> VarSet Source #
Variables Lit Source #
Methods vars :: Lit -> VarSet Source #
Variables a => Variables [a] Source #
Methods vars :: [a] -> VarSet Source #
Variables a => Variables (Formula a) Source #
Methods vars :: Formula a -> VarSet Source #
Variables e => Variables (OrdRel e) Source #
Methods vars :: OrdRel e -> VarSet Source #
Variables (Expr r) Source #
Methods vars :: Expr r -> VarSet Source #
Variables (Expr r) Source #
Methods vars :: Expr r -> VarSet Source #
Variables a => Variables (BoolExpr a) Source #
Methods vars :: BoolExpr a -> VarSet Source #

A Model is a map from variables to values.

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

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

Minimal complete definition

Methods

eval :: m -> e -> v Source #

Instances

(Eval m e a, Ord a) => Eval m (OrdRel e) Bool Source #
Methods eval :: m -> OrdRel e -> Bool Source #
Eval m a Bool => Eval m (BoolExpr a) Bool Source #
Methods eval :: m -> BoolExpr a -> Bool Source #
Eval (Model Integer) Lit Bool Source #
Methods eval :: Model Integer -> Lit -> Bool Source #
Eval (Model Rational) Constr Bool Source #
Methods eval :: Model Rational -> Constr -> Bool Source #
Fractional r => Eval (Model r) (Expr r) r Source #
Methods eval :: Model r -> Expr r -> r Source #
Num r => Eval (Model r) (Expr r) r Source #
Methods eval :: Model r -> Expr r -> r Source #