Satchmo.Numeric

Documentation

class Constant a where

Methods

constant :: MonadSAT m => Integer -> m a

Instances

Constant Number

Constant Number

Constant a => Constant (Number a)

class Create a where

Methods

create :: MonadSAT m => Int -> m a

Parameter: bit width

Instances

Create Number

Create Number

Create a => Create (Number a)

class Numeric a where

Methods

equal :: MonadSAT m => a -> a -> m Boolean

greater_equal :: MonadSAT m => a -> a -> m Boolean

plus :: MonadSAT m => a -> a -> m a

minus :: MonadSAT m => a -> a -> m a

times :: MonadSAT m => a -> a -> m a

Instances

Numeric Number

Numeric Number

Numeric a => Numeric (Number a)

(Create a, Constant a, Numeric a) => Numeric (Poly a)