IOTasks-2.2.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.IOTasks.Constraints

Documentation

data SimpleConstraint (t :: ConstraintType) where Source #

Constructors

SimpleInput :: Typeable v => StorageType -> Var v -> ValueSet v -> SimpleConstraint 'Input 
SimpleCondition :: Term 'Transparent Bool -> SimpleConstraint 'Condition 
SimpleOverflow :: [Term 'Transparent Integer] -> SimpleConstraint 'Overflow 

data Constraint (t :: ConstraintType) where Source #

Constructors

InputConstraint :: Typeable v => (Var v, Int) -> ValueSet v -> Map SomeVar SymbolicInfo -> Constraint 'Input 
ConditionConstraint :: Term 'Transparent Bool -> Map SomeVar SymbolicInfo -> Constraint 'Condition 
OverflowConstraints :: [Term 'Transparent Integer] -> Map SomeVar SymbolicInfo -> Constraint 'Overflow 

data ConstraintType Source #

Constructors

Input 
Condition 
Overflow 

data ConstraintTree where Source #

Constructors

Choice :: ConstraintTree -> ConstraintTree -> ConstraintTree 
Assert :: SimpleConstraint t -> ConstraintTree -> ConstraintTree 
Unfold :: ConstraintTree -> ConstraintTree 
InjectionPoint :: SimpleConstraint 'Input -> ConstraintTree -> ConstraintTree 
Empty :: ConstraintTree 

constraintTree :: Specification -> ConstraintTree Source #

data SimplePath where Source #

Constructors

ClosedPath :: [Some SimpleConstraint] -> SimplePath 
OpenPath :: [Some SimpleConstraint] -> SimpleConstraint t -> SimplePath -> SimplePath 

simplePaths :: Int -> ConstraintTree -> [SimplePath] Source #

appendPath :: SimplePath -> SimplePath -> SimplePath Source #

addEnvToPath :: [Some SimpleConstraint] -> Path Source #

canBeInjected :: SimplePath -> Bool Source #

injectionPoints :: SimplePath -> Int Source #

type Path = [Some Constraint] Source #

data SymbolicInfo Source #

Constructors

SymbolicInfo 

Fields

storedValues :: SymbolicInfo -> [(Int, Int)] Source #

completePath :: [Int] -> SimplePath -> Path Source #

partitionPath :: Path -> ([Constraint 'Input], [Constraint 'Condition], [Constraint 'Overflow]) Source #

pathDepth :: Path -> Int Source #

numberOfPaths :: Integer -> Specification -> Integer Source #

showSimplePath :: SimplePath -> String Source #

showSimpleConstraint :: SimpleConstraint t -> String Source #

showSomeSimpleConstraint :: Some SimpleConstraint -> String Source #

showPath :: Path -> String Source #

showConstraint :: Constraint t -> String Source #

showSomeConstraint :: Some Constraint -> String Source #

ix :: SomeVar -> Map SomeVar SymbolicInfo -> Int Source #