Satchmo.Unary.Op.Fixed

Documentation

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

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

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

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

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

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

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

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

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

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

maximum (x:xs) = foldM max x xs

minimum :: MonadSAT m => [Number] -> m Number

minimum (x:xs) = foldM min x xs

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

when f is False, switch off all bits

antiselect :: MonadSAT m => Boolean -> Number -> m Number

when p is True, switch ON all bits

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

add_quadratic :: MonadSAT m => Number -> Number -> m Number

add_by_odd_even_merge :: MonadSAT m => Number -> Number -> m Number

add_by_bitonic_sort :: MonadSAT m => Number -> Number -> m Number