Commit da57dc97 authored by Alexandre Delanoë's avatar Alexandre Delanoë

[HyperGraph] MoveContext specs.

parent 9027ce27
......@@ -80,20 +80,20 @@ mv' g (x:xs) [] = undefined
mv :: HyperGraph a a
-> Node -> Node
-> HyperGraph a a
mv g n1 n2 = delNode n1 g
mv g n1 n2 = (mvContext c1 c2) & g2
-- delNode n1 g
-- buildGr $ catMaybes [c1, c2]
where
(c1, g1) = match n1 g
(c2, g2) = match n2 g1
{-
insertContext :: HyperContext a b
-> HyperContext a b
mvContext :: Maybe (HyperContext a b)
-> Maybe (HyperContext a b)
-> HyperContext a b
insertContext (a1,n,l,a2) (a1',n',l',a2') = (a1,n,l&l',a2)
mvContext (Just (a1 ,n ,l ,a2 ))
(Just (a1',n',l',a2')) = undefined -- (a1,n,l&l',a2)
mvContext _ _ = panic "Node does not exist"
--}
------------------------------------------------------------------------
-- | 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