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

ToySolver.Data.IntVar

Description

Synopsis

Documentation

Variables are represented as non-negative integers

Set of variables

Map from variables

collecting free variables

Methods

Instances details

Variables Lit Source #
Instance details Defined in ToySolver.Arith.Cooper.Base Methods vars :: Lit -> VarSet Source #
Variables Constr Source #
Instance details Defined in ToySolver.Arith.FourierMotzkin.Base Methods vars :: Constr -> VarSet Source #
Variables a => Variables (BoolExpr a) Source #
Instance details Defined in ToySolver.Data.BoolExpr Methods vars :: BoolExpr a -> VarSet Source #
Variables (Expr r) Source #
Instance details Defined in ToySolver.Data.FOL.Arith Methods vars :: Expr r -> VarSet Source #
Variables a => Variables (Formula a) Source #
Instance details Defined in ToySolver.Data.FOL.Formula Methods vars :: Formula a -> VarSet Source #
Variables (Expr r) Source #
Instance details Defined in ToySolver.Data.LA Methods vars :: Expr r -> VarSet Source #
Variables e => Variables (OrdRel e) Source #
Instance details Defined in ToySolver.Data.OrdRel Methods vars :: OrdRel e -> VarSet Source #
Variables a => Variables [a] Source #
Instance details Defined in ToySolver.Data.IntVar Methods vars :: [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.

Methods

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

Instances details

Eval m a Bool => Eval m (BoolExpr a) Bool Source #
Instance details Defined in ToySolver.Data.BoolExpr Methods eval :: m -> BoolExpr a -> Bool Source #
(Eval m e a, Ord a) => Eval m (OrdRel e) Bool Source #
Instance details Defined in ToySolver.Data.OrdRel Methods eval :: m -> OrdRel e -> Bool Source #
Eval (Model Rational) Constr Bool Source #
Instance details Defined in ToySolver.Arith.FourierMotzkin.Base Methods eval :: Model Rational -> Constr -> Bool Source #
Eval (Model Integer) Lit Bool Source #
Instance details Defined in ToySolver.Arith.Cooper.Base Methods eval :: Model Integer -> Lit -> Bool Source #
Fractional r => Eval (Model r) (Expr r) r Source #
Instance details Defined in ToySolver.Data.FOL.Arith Methods eval :: Model r -> Expr r -> r Source #
Num r => Eval (Model r) (Expr r) r Source #
Instance details Defined in ToySolver.Data.LA Methods eval :: Model r -> Expr r -> r Source #