summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Burrows <dburrows@debian.org>2009-04-08 19:14:21 -0700
committerDaniel Burrows <dburrows@debian.org>2009-04-08 19:14:21 -0700
commitc685b3c47136b1fd4dd9dd1323a981285c3951f2 (patch)
tree95e6febcf6951d1a3dd7dfc2287660edaee82ec8
parentb30447b3e2dc4442809360eb947405ae09f1e6c7 (diff)
downloadaptitude-c685b3c47136b1fd4dd9dd1323a981285c3951f2.tar.gz
Always display the structural edges to backpropagations, instead of hiding them if there weren't any normal propagations.
-rw-r--r--tools/resolver-visualize/DotRender.hs11
1 files changed, 6 insertions, 5 deletions
diff --git a/tools/resolver-visualize/DotRender.hs b/tools/resolver-visualize/DotRender.hs
index 204fa10a..448c1a5a 100644
--- a/tools/resolver-visualize/DotRender.hs
+++ b/tools/resolver-visualize/DotRender.hs
@@ -146,11 +146,6 @@ dotEdges params step = cutIncoming ++ processed ++ unprocessed ++ promotions ++
else [ edge (node (name $ printf "step%d" (stepOrder step)))
(node (name $ printf "step%dpromotion%d" (stepOrder step) promotionNum))
| promotionNum <- [0..((Set.size $ stepPromotions step) - 1)] ]
- ++
- -- Structural edges to backpropagations.
- [ edge (node (name $ printf "step%d" (stepOrder $ backpropagationStep backprop)))
- (node (name $ printf "step%dbackprop%d" (stepOrder step) backpropNum))
- | (backprop, backpropNum) <- zip (stepBackpropagations step) ([0..] :: [Integer]) ]
backprops = let attrs = set "color" "red" `andAlso`
set "style" "dashed" `andAlso`
set "constraint" "false" in
@@ -165,6 +160,12 @@ dotEdges params step = cutIncoming ++ processed ++ unprocessed ++ promotions ++
(node (name $ printf "step%dbackprop%d" (stepOrder step) (backpropNum + 1)))
<<< attrs
| backpropNum <- [0..((length $ stepBackpropagations step) - 2)] ]
+ ++
+ -- Structural edges to backpropagations.
+ [ edge (node (name $ printf "step%d" (stepOrder $ backpropagationStep backprop)))
+ (node (name $ printf "step%dbackprop%d" (stepOrder step) backpropNum))
+ | (backprop, backpropNum) <- zip (stepBackpropagations step) ([0..] :: [Integer]) ]
+
cutIncoming = [ edge (node (name $ printf "step%d" (stepOrder parentStep)))
(node (name $ printf "step%d" (stepOrder step)))
<<< set "label" (dotChoiceLabel choice)