Commit 83c398a3 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Print information about number of arcs in the net

parent e47a9342
......@@ -108,8 +108,13 @@ checkFile file = do
let (net',props''') = foldl transformNet (net,props'') transformations
verbosePut 1 $ "Analyzing " ++ showNetName net
verbosePut 2 $
"Places: " ++ show (length $ places net') ++ "; " ++
"Transitions: " ++ show (length $ transitions net')
"Number of places: " ++ show (length (places net'))
verbosePut 2 $
"Number of transitions: " ++ show (length (transitions net'))
let pRowSize p = let (preP, postP) = context net' p in length preP + length postP
let arcs = sum $ map pRowSize $ places net'
verbosePut 2 $
"Number of arcs: " ++ show arcs
printStruct <- opt optPrintStructure
when printStruct $ structuralAnalysis net
verbosePut 3 $ show net'
......@@ -256,9 +261,9 @@ printInvariant (baseInvResult, addedInv) =
let baseSize = map invariantSize baseInv
let addedSize = map invariantSize addedInv
verbosePut 2 $ "Number of atoms in base invariants: " ++ show baseSize ++
" (total of " ++ show (sum baseSize)
" (total of " ++ show (sum baseSize) ++ ")"
verbosePut 2 $ "Number of atoms in added invariants: " ++ show addedSize ++
" (total of " ++ show (sum addedSize)
" (total of " ++ show (sum addedSize) ++ ")"
mapM_ (putLine . show) baseInv
mapM_ (putLine . show) addedInv
return Satisfied
......
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