hoed-tests-th-quicksort.graph

diGraph G {
v44 [label="quicksort { \\ 'a' 'h' -> True , \\ 'e' 'a' -> False , \\ 'e' 'h' -> True , \\ 'k' 'h' -> False , \\ 'k' 's' -> True , \\ 'l' 'h' -> False , \\ 'l' 'h' -> False , \\ 'l' 'k' -> False , \\ 'l' 'k' -> False , \\ 'l' 'l' -> False , \\ 'l' 's' -> True , \\ 'l' 's' -> True , \\ 's' 'h' -> False } \"haskell\" = \"aehklls\""]
v43 [label="quicksort { \\ 'e' 'a' -> False } \"ae\" = \"ae\""]
v42 [label="quicksort _ [] = []"]
v41 [label="quicksort _ \"e\" = \"e\""]
v40 [label="quicksort _ [] = []"]
v39 [label="quicksort _ [] = []"]
v38 [label="quicksort { \\ 'k' 's' -> True , \\ 'l' 'k' -> False , \\ 'l' 'k' -> False , \\ 'l' 'l' -> False , \\ 'l' 's' -> True , \\ 'l' 's' -> True } \"skll\" = \"klls\""]
v37 [label="quicksort { \\ 'l' 'k' -> False , \\ 'l' 'k' -> False , \\ 'l' 'l' -> False } \"kll\" = \"kll\""]
v36 [label="quicksort _ [] = []"]
v35 [label="quicksort { \\ 'l' 'l' -> False } \"ll\" = \"ll\""]
v34 [label="quicksort _ [] = []"]
v33 [label="quicksort _ \"l\" = \"l\""]
v32 [label="quicksort _ [] = []"]
v31 [label="quicksort _ [] = []"]
v30 [label="quicksort _ [] = []"]
v29 [label="quicksort' { \\ 'a' 'h' -> True , \\ 'e' 'a' -> False , \\ 'e' 'h' -> True , \\ 'k' 'h' -> False , \\ 'k' 's' -> True , \\ 'l' 'h' -> False , \\ 'l' 'h' -> False , \\ 'l' 'k' -> False , \\ 'l' 'k' -> False , \\ 'l' 'l' -> False , \\ 'l' 's' -> True , \\ 'l' 's' -> True , \\ 's' 'h' -> False } \"haskell\" = \"aehklls\""]
v28 [label="quicksort' { \\ 'e' 'a' -> False } \"ae\" = \"ae\""]
v27 [label="quicksort' _ [] = []"]
v26 [label="quicksort' _ \"e\" = \"e\""]
v25 [label="quicksort' _ [] = []"]
v24 [label="quicksort' _ [] = []"]
v23 [label="quicksort' { \\ 'k' 's' -> True , \\ 'l' 'k' -> False , \\ 'l' 'k' -> False , \\ 'l' 'l' -> False , \\ 'l' 's' -> True , \\ 'l' 's' -> True } \"skll\" = \"klls\""]
v22 [label="quicksort' { \\ 'l' 'k' -> False , \\ 'l' 'k' -> False , \\ 'l' 'l' -> False } \"kll\" = \"kll\""]
v21 [label="quicksort' _ [] = []"]
v20 [label="quicksort' { \\ 'l' 'l' -> False } \"ll\" = \"ll\""]
v19 [label="quicksort' _ [] = []"]
v18 [label="quicksort' _ \"l\" = \"l\""]
v17 [label="quicksort' _ [] = []"]
v16 [label="quicksort' _ [] = []"]
v15 [label="quicksort' _ [] = []"]
v14 [label="lt = \"ae\""]
v13 [label="lt = []"]
v12 [label="gt = \"e\""]
v11 [label="lt = []"]
v10 [label="gt = []"]
v9 [label="gt = \"skll\""]
v8 [label="lt = \"kll\""]
v7 [label="lt = []"]
v6 [label="gt = \"ll\""]
v5 [label="lt = []"]
v4 [label="gt = \"l\""]
v3 [label="lt = []"]
v2 [label="gt = []"]
v1 [label="gt = []"]
v0 [label="."shape=none]
v18 -> v2 [label=""]
v18 -> v16 [label=""]
v18 -> v3 [label=""]
v18 -> v17 [label=""]
v20 -> v4 [label=""]
v20 -> v18 [label=""]
v20 -> v5 [label=""]
v20 -> v19 [label=""]
v22 -> v6 [label=""]
v22 -> v20 [label=""]
v22 -> v7 [label=""]
v22 -> v21 [label=""]
v23 -> v1 [label=""]
v23 -> v15 [label=""]
v23 -> v8 [label=""]
v23 -> v22 [label=""]
v26 -> v10 [label=""]
v26 -> v24 [label=""]
v26 -> v11 [label=""]
v26 -> v25 [label=""]
v28 -> v12 [label=""]
v28 -> v26 [label=""]
v28 -> v13 [label=""]
v28 -> v27 [label=""]
v29 -> v9 [label=""]
v29 -> v23 [label=""]
v29 -> v14 [label=""]
v29 -> v28 [label=""]
v33 -> v31 [label=""]
v33 -> v32 [label=""]
v35 -> v33 [label=""]
v35 -> v34 [label=""]
v37 -> v35 [label=""]
v37 -> v36 [label=""]
v38 -> v30 [label=""]
v38 -> v37 [label=""]
v41 -> v39 [label=""]
v41 -> v40 [label=""]
v43 -> v41 [label=""]
v43 -> v42 [label=""]
v44 -> v38 [label=""]
v44 -> v43 [label=""]
v0 -> v29 [label=""]
v0 -> v44 [label=""]
}