Removes example

src/SplittingTree.hs

@@ -267,75 +267,3 @@ refine ping outputs transitionsReverse = do
       loop (splitters <> newQueue)
 
   loop initialQueue
-
--- Below is an example
-
-outputA :: String -> Bool
-outputA "s1" = False
-outputA "s2" = True
-outputA "s3" = False
-outputA "s4" = True
-outputA "s5" = False
-outputA "s6" = True
-outputA str = error $ "outputA '" ++ str ++ "'"
-
-outputB :: String -> Bool
-outputB = const False
-
-reverseA :: String -> [String]
-reverseA "s1" = ["s6"]
-reverseA "s2" = ["s1"]
-reverseA "s3" = ["s2"]
-reverseA "s4" = ["s3"]
-reverseA "s5" = ["s4"]
-reverseA "s6" = ["s5"]
-reverseA str = error $ "reverseA '" ++ str ++ "'"
-
-reverseB :: String -> [String]
-reverseB "s1" = ["s1", "s6"]
-reverseB "s2" = []
-reverseB "s3" = ["s2"]
-reverseB "s4" = ["s3"]
-reverseB "s5" = ["s4"]
-reverseB "s6" = ["s5"]
-reverseB str = error $ "reverseB '" ++ str ++ "'"
-
-splitter1 :: Splitter String Char Bool
-splitter1 = Splitter
-  { split = Map.fromList [(False, ["s1", "s3", "s5"])]
-  , leftOut = True
-  , witness = "a"
-  }
-
-splitter2 :: Splitter String Char Bool
-splitter2 = Splitter
-  { split = Map.fromList [(True, ["s2", "s4", "s6"])]
-  , leftOut = False
-  , witness = "a"
-  }
-
-prState0 :: PRState String Char Bool
-prState0 = PRState
-  { partition = Partition $ Map.fromList [("s1", Block 0), ("s2", Block 0), ("s3", Block 0), ("s4", Block 0), ("s5", Block 0), ("s6", Block 0)]
-  , nextBlockId = Block 1
-  , splittingTree = SplittingTree
-      { label = Map.empty
-      , innerParent = Map.empty
-      , blockParent = Map.empty
-      , size = Map.fromList [(Block 0, 6)]
-      }
-  , nextNodeId = Node 0
-  }
-
-prState :: PRState String Char Bool
-prState = PRState
-  { partition = Partition $ Map.fromList [("s1", Block 0), ("s2", Block 1), ("s3", Block 0), ("s4", Block 1), ("s5", Block 0), ("s6", Block 1)]
-  , nextBlockId = Block 2
-  , splittingTree = SplittingTree
-      { label = Map.singleton (Node 0) "a"
-      , innerParent = Map.empty
-      , blockParent = Map.fromList [(Block 0, (Node 0, False)), (Block 1, (Node 0, True))]
-      , size = Map.fromList [(Block 0, 3), (Block 1, 3)]
-      }
-  , nextNodeId = Node 1
-  }