Lines Matching +refs:shrink +refs:vector
106 shrinking shrink x $ \x' ->
276 shrink x = map maybeToBottom (shrink (bottomToMaybe x)) function
312 shrink = map Apply . shrink1 . getApply function
361 shrink (LinearEquationM a b) = L.concat function
362 [ map (\x -> LinearEquationM x b) (shrink a)
363 , map (\x -> LinearEquationM a x) (shrink b)
378 shrink (LinearEquationM a b) = L.concat function
389 shrink (LinearEquation a b) =
390 let xs = shrink (a,b)
411 shrink (QuadraticEquation a b c) =
412 let xs = shrink (a,b,c)
434 shrink (LinearEquationTwo a b) =
435 let xs = shrink (a,b)
447 xs <- vector n
449 shrink = map SmallList . shrink . getSmallList function
463 shrink (ShowReadPrecedence p) =