Commit 3cc44ea2 authored by Philipp J. Meyer's avatar Philipp J. Meyer
Browse files

made partition output more readable

parent 813ebf78
...@@ -24,8 +24,8 @@ instance Invariant BlockInvariant where ...@@ -24,8 +24,8 @@ instance Invariant BlockInvariant where
instance Show BlockInvariant where instance Show BlockInvariant where
show (BlockInvariant (i, ti, yi)) = show (BlockInvariant (i, ti, yi)) =
"T_" ++ show i ++ ": " ++ show ti ++ "T_" ++ show i ++ ":\n" ++ unlines (map show ti) ++
(if null ti then "" else " => " ++ intercalate " + " (map showWeighted (items yi))) (if null ti then "" else "\nY_" ++ show i ++ ": " ++ intercalate " + " (map showWeighted (items yi)) ++ "\n")
nonNegativityConstraints :: (Ord a, Show a) => SIMap a -> SBool nonNegativityConstraints :: (Ord a, Show a) => SIMap a -> SBool
nonNegativityConstraints m = nonNegativityConstraints m =
......
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