Safe Haskell	None
Language	Haskell2010

Jukebox.Sat.Equality

Documentation

Constructors

SolverEq
Fields satSolver :: Solver counter :: IORef Int table :: IORef (Map (Elt, Elt) Lit3) model :: IORef (Maybe (Map Elt Elt))

Instances details

SatSolver SolverEq Source #
Instance details Defined in Jukebox.Sat.Equality Methods getSolver :: SolverEq -> Solver Source #
EqSolver SolverEq Source #
Instance details Defined in Jukebox.Sat.Equality Methods getSolverEq :: SolverEq -> SolverEq Source #

Methods

Instances details

EqSolver SolverEq Source #
Instance details Defined in Jukebox.Sat.Equality Methods getSolverEq :: SolverEq -> SolverEq Source #

Constructors

Instances details

Show Elt Source #
Instance details Defined in Jukebox.Sat.Equality Methods showsPrec :: Int -> Elt -> ShowS # show :: Elt -> String # showList :: [Elt] -> ShowS #
Eq Elt Source #
Instance details Defined in Jukebox.Sat.Equality Methods (==) :: Elt -> Elt -> Bool # (/=) :: Elt -> Elt -> Bool #
Ord Elt Source #
Instance details Defined in Jukebox.Sat.Equality Methods compare :: Elt -> Elt -> Ordering # (<) :: Elt -> Elt -> Bool # (<=) :: Elt -> Elt -> Bool # (>) :: Elt -> Elt -> Bool # (>=) :: Elt -> Elt -> Bool # max :: Elt -> Elt -> Elt # min :: Elt -> Elt -> Elt #