Copyright	(c) Masahiro Sakai 2012
License	BSD-style
Maintainer	[email protected]
Stability	provisional
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010
Extensions	MonoLocalBinds TypeFamilies KindSignatures ExplicitNamespaces

ToySolver.SAT.Encoder.Integer

Description

Documentation

Constructors

Instances details

Num Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Methods (+) :: Expr -> Expr -> Expr # (-) :: Expr -> Expr -> Expr # (*) :: Expr -> Expr -> Expr # negate :: Expr -> Expr # abs :: Expr -> Expr # signum :: Expr -> Expr # fromInteger :: Integer -> Expr #
Read Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Methods readsPrec :: Int -> ReadS Expr # readList :: ReadS [Expr] # readPrec :: ReadPrec Expr # readListPrec :: ReadPrec [Expr] #
Show Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Eq Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
AdditiveGroup Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Methods zeroV :: Expr # (^+^) :: Expr -> Expr -> Expr # negateV :: Expr -> Expr # (^-^) :: Expr -> Expr -> Expr #
VectorSpace Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Associated Types type Scalar Expr # Methods (*^) :: Scalar Expr -> Expr -> Expr #
type Scalar Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer type Scalar Expr = Integer