satchmo-2.6.0: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.SMT.Exotic.Arctic.Integer

Synopsis

Documentation

data Arctic Source

(contents a !! shift a) == (number is > 0) (contents a !! 0) == (number is > -infty) (so Arctic Natural has shift = 1)

Constructors

Arctic
Fields contents :: Number shift :: Int

Instances

Decode m Boolean Bool => Decode m Arctic (Arctic Integer)

minus_infinite :: Arctic -> Boolean Source

not_minus_infinite :: Arctic -> Boolean Source

constant :: Int -> Arctic Integer -> SAT Arctic Source

make :: Monad m => Int -> Number -> m Arctic Source

dict :: Int -> Dict SAT Arctic Boolean Source