satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Binary.Op.Common

Synopsis

Documentation

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

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

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

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

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

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

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

full_adder Source

Arguments

:: MonadSAT m 
=> Boolean 
-> Boolean 
-> Boolean 
-> m (Boolean, Boolean)

(result, carry)

half_adder Source

Arguments

:: MonadSAT m 
=> Boolean 
-> Boolean 
-> m (Boolean, Boolean)

(result, carry)

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

i flag is True, then the number itself, and zero otherwise.

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

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

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