Commit 51c26d2a authored by Alexandre Delanoë's avatar Alexandre Delanoë

[Error ms] + clean

parent da57dc97
...@@ -81,8 +81,6 @@ mv :: HyperGraph a a ...@@ -81,8 +81,6 @@ mv :: HyperGraph a a
-> Node -> Node -> Node -> Node
-> HyperGraph a a -> HyperGraph a a
mv g n1 n2 = (mvContext c1 c2) & g2 mv g n1 n2 = (mvContext c1 c2) & g2
-- delNode n1 g
-- buildGr $ catMaybes [c1, c2]
where where
(c1, g1) = match n1 g (c1, g1) = match n1 g
(c2, g2) = match n2 g1 (c2, g2) = match n2 g1
...@@ -92,8 +90,9 @@ mvContext :: Maybe (HyperContext a b) ...@@ -92,8 +90,9 @@ mvContext :: Maybe (HyperContext a b)
-> HyperContext a b -> HyperContext a b
mvContext (Just (a1 ,n ,l ,a2 )) mvContext (Just (a1 ,n ,l ,a2 ))
(Just (a1',n',l',a2')) = undefined -- (a1,n,l&l',a2) (Just (a1',n',l',a2')) = undefined -- (a1,n,l&l',a2)
mvContext _ _ = panic "Node does not exist" mvContext _ (Just _) = panic "First Node does not exist"
mvContext (Just _) _ = panic "Snd Node does not exist"
mvContext _ _ = panic "Both nodes do not exist"
------------------------------------------------------------------------ ------------------------------------------------------------------------
-- | Recursive Node of Graph -- | Recursive Node of Graph
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment