jukebox-0.5.4: A first-order reasoning toolbox

Safe Haskell	None
Language	Haskell2010

Jukebox.Sat.ThreeValued

Documentation

data Lit3 Source #

Constructors

Lit3
Fields isFalse :: Lit isTrue :: Lit

false3 :: Lit3 Source #

true3 :: Lit3 Source #

bottom3 :: Lit3 Source #

neg3 :: Lit3 -> Lit3 Source #

newLit3 :: SatSolver s => s -> IO Lit3 Source #

newLit2 :: SatSolver s => s -> IO Lit3 Source #

modelValue3 :: SatSolver s => s -> Lit3 -> IO (Maybe Bool) Source #

value3 :: SatSolver s => s -> Lit3 -> IO (Maybe Bool) Source #

val3 :: (Lit -> IO (Maybe Bool)) -> Lit3 -> IO (Maybe Bool) Source #