satchmo-2.8.2: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.Binary.Op.Flexible

Description

operations from this module cannot overflow. instead they increase the bit width.

Synopsis

Documentation

add :: MonadSAT m => Number -> Number -> m Number Source

times :: MonadSAT m => Number -> Number -> m Number Source

dot_product :: MonadSAT m => [Number] -> [Number] -> m Number Source

add_with_carry :: MonadSAT m => Boolean -> Booleans -> Booleans -> m (Booleans, Boolean) Source

times1 :: MonadSAT m => Boolean -> Number -> m Number Source

shift :: MonadSAT m => Number -> m Number Source

multiply by 2

data Number Source

Instances

Numeric Number
Create Number
Constant Number
Decode m Boolean Bool => Decode m Number Integer

bits :: Number -> [Boolean] Source

make :: [Boolean] -> Number Source

width :: Number -> Int Source

number :: MonadSAT m => Int -> m Number Source

declare a number variable (bit width)

constant :: MonadSAT m => Integer -> m Number Source

Declare a number constant

constantWidth :: MonadSAT m => Int -> Integer -> m Number Source

constantWidth w declares a number constant using at least w bits

fromBinary :: [Bool] -> Integer Source

toBinary :: Integer -> [Bool] Source

toBinaryWidth :: Int -> Integer -> [Bool] Source

toBinaryWidth w converts to binary using at least w bits

module Satchmo.Binary.Op.Common