Commit 16f165a7 authored by Bastian Kauschke's avatar Bastian Kauschke

update tests

parent 4e3682e7
......@@ -16,6 +16,7 @@ import Copar.FunctorExpression.Sorts
import Copar.FunctorExpression.Type
import Copar.FunctorDescription
import Copar.RefinementInterface
import Copar.MinimizationInterface
import Copar.Functors.SomeFunctor
......@@ -96,6 +97,8 @@ instance FunctorDescription Identity where
instance RefinementInterface Identity where
init = undefined
update = undefined
instance MinimizationInterface Identity where
merge = undefined
instance ParseMorphism Identity where
parseMorphismPoint = undefined
instance PrintMorphism Identity where
......@@ -121,6 +124,8 @@ instance FunctorDescription Twice where
instance RefinementInterface Twice where
init = undefined
update = undefined
instance MinimizationInterface Twice where
merge = undefined
instance ParseMorphism Twice where
parseMorphismPoint = undefined
instance PrintMorphism Twice where
......@@ -144,6 +149,8 @@ instance FunctorDescription Maybe where
instance RefinementInterface Maybe where
init = undefined
update = undefined
instance MinimizationInterface Maybe where
merge = undefined
instance PrintMorphism Maybe where
printMorphismPoint = undefined
instance ParseMorphism Maybe where
......
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