qlogic-0.9: A Haskell Library for Propositional Logic.

Safe HaskellSafe-Infered

Qlogic.Arctic

Documentation

data ArcInt

Constructors

MinusInf 
Fin Int 

Instances

arcToInt :: ArcInt -> Int

max :: ArcInt -> ArcInt -> ArcInt

(+) :: ArcInt -> ArcInt -> ArcInt

(<) :: ArcInt -> ArcInt -> Bool

(<=) :: ArcInt -> ArcInt -> Bool