IOTasks-2.2.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.IOTasks.Z3

Documentation

findPathInput :: Timeout -> Path -> Integer -> Int -> Bool -> IO (SatResult [String]) Source #

printPathScript :: Timeout -> Path -> Integer -> Int -> Bool -> IO String Source #

evalPathScript :: Timeout -> Path -> Integer -> Int -> Bool -> IO (SatResult [String], String) Source #

satPaths :: Int -> Int -> ConstraintTree -> Int -> Bool -> IO [SimplePath] Source #

satPathsQ :: TVar (Maybe Int) -> Int -> ConstraintTree -> Int -> Int -> Bool -> TQueue (Maybe SimplePath) -> IO () Source #

isSatPath :: Timeout -> Path -> Int -> Bool -> IO (SatResult ()) Source #

data SatResult a Source #

Constructors

SAT a 
NotSAT 
Timeout 

Instances

Instances details
Functor SatResult Source # 
Instance details

Defined in Test.IOTasks.Z3

Methods

fmap :: (a -> b) -> SatResult a -> SatResult b #

(<$) :: a -> SatResult b -> SatResult a #

Show a => Show (SatResult a) Source # 
Instance details

Defined in Test.IOTasks.Z3

Methods

showsPrec :: Int -> SatResult a -> ShowS #

show :: SatResult a -> String #

showList :: [SatResult a] -> ShowS #

Eq a => Eq (SatResult a) Source # 
Instance details

Defined in Test.IOTasks.Z3

Methods

(==) :: SatResult a -> SatResult a -> Bool #

(/=) :: SatResult a -> SatResult a -> Bool #

type Timeout = Int Source #

newtype PathInjector Source #

Constructors

PathInjector 

Fields

mkPathInjector :: SimplePath -> Timeout -> Int -> Bool -> IO PathInjector Source #