Commit d258f5d2 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Fix spelling and add some documentation to Powerset

parent e2bf67c8
......@@ -16,16 +16,23 @@ data Powerset = Powerset
deriving (Show)
instance RefinementInterface Powerset where
-- | No edge labels
type Label Powerset = ()
-- | Tuple of (|edgesToC\S|, |edgesToS|)
type Weight Powerset = (Int, Int)
-- | Does this state have at least one successor?
type H1 Powerset = Bool
-- | Tuple of:
-- - do we have edges to the rest?
-- - do we have edges to C\S?
-- - do we have edges to S?
type H3 Powerset = (Bool, Bool, Bool)
parse _ arr = do
succsessors <- V.imapM parseNode arr
successors <- V.imapM parseNode arr
let structure = V.map (not . V.null . snd) succsessors
edges = V.concatMap (\(from, succs) -> fmap (Encoding.Edge from ()) succs) succsessors
let structure = V.map (not . V.null . snd) successors
edges = V.concatMap (\(from, succs) -> fmap (Encoding.Edge from ()) succs) successors
return $ Encoding.new structure edges
......
Supports Markdown
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