Commit 61d4ca92 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Removed commented function

parent ab8fd492
......@@ -105,9 +105,6 @@ instance Show PetriNet where
-- TODO: better cuts, scc, min cut?
--trapComponent :: PetriNet -> [Place] -> ([Place], [Transition])
--trapComponent net trap = (sort trap, sort (mpre net trap))
constructCut :: PetriNet -> FiringVector -> [Trap] -> Cut
constructCut net _ traps = (trapComponents, trapOutputs)
where trapComponent trap = (sort trap, sort (mpre net trap) \\ trapOutputs) :: ([Place], [Transition])
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