Safe Haskell	None

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 #

Constructors

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

Constructors

PathInjector
Fields injectNegatives :: Int -> Gen Path