Copyright | (c) Masahiro Sakai 2011-2013 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable (FlexibleInstances, MultiParamTypeClasses) |
Safe Haskell | Safe |
Language | Haskell2010 |
Arithmetic language (not limited to linear ones).
- data Expr r
- var :: Var -> Expr r
- evalExpr :: Fractional r => Model r -> Expr r -> r
- module ToySolver.Data.OrdRel
- type Atom c = OrdRel (Expr c)
- evalAtom :: (Real r, Fractional r) => Model r -> Atom r -> Bool
- module ToySolver.Data.FOL.Formula
- data SatResult r
Arithmetic expressions
Arithmetic expressions
Functor Expr Source # | |
Eq r => Eq (Expr r) Source # | |
Fractional r => Fractional (Expr r) Source # | |
Num r => Num (Expr r) Source # | |
Ord r => Ord (Expr r) Source # | |
Show r => Show (Expr r) Source # | |
Variables (Expr r) Source # | |
IsOrdRel (Expr c) (Formula (Atom c)) Source # | |
IsEqRel (Expr c) (Formula (Atom c)) Source # | |
Atomic formula
module ToySolver.Data.OrdRel
Arithmetic formula
module ToySolver.Data.FOL.Formula