Commit 89d17f97 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Renamed getSComponentOutIn correctly

parent cad78714
......@@ -124,7 +124,7 @@ checkLivenessProperty verbose net f strans = do
putStrLn "No S-component found"
return False
Just as -> do
let sOutIn = getSComponentInOut net ax as -- TODO rename InOut to OutIn
let sOutIn = getSComponentOutIn net ax as
putStrLn "S-component found"
when verbose (putStrLn $ "Out/In: " ++ show sOutIn)
checkLivenessProperty verbose net f (sOutIn:strans)
module Solver.SComponent
import Data.SBV
......@@ -71,7 +71,7 @@ checkSComponentSat net fired ax =
(places net ++ transitions net ++ map prime fired,
checkSComponent net fired ax)
getSComponentInOut :: PetriNet -> ModelI -> ModelI -> ([String], [String])
getSComponentInOut net ax as =
getSComponentOutIn :: PetriNet -> ModelI -> ModelI -> ([String], [String])
getSComponentOutIn net ax as =
partition (cElem ax) $ filter (cElem as) (transitions net)
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