From: Klaus Kaempf <kkaempf@suse.de>
Date: Mon, 16 Jan 2006 21:08:03 +0000 (+0000)
Subject: first try on state transition in the solver
X-Git-Tag: 6.6.0~5988
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=c53a76aa67c464f4b4a396ed5dd9491ab4bd90c3;p=platform%2Fupstream%2Flibzypp.git

first try on state transition in the solver
---

diff --git a/doc/solverstates.dot b/doc/solverstates.dot
new file mode 100644
index 000000000..8bdc0aef6
--- /dev/null
+++ b/doc/solverstates.dot
@@ -0,0 +1,37 @@
+digraph solver_states {
+
+  size="8,5";
+
+  graph [fontsize=14];
+  edge [fontsize=12];
+  node [fontsize=12];
+  node [shape=doublecircle]; Installed Uninstalled;
+  node [shape=circle]; Satisfied Incomplete;
+  node [shape=box];
+//  ranksep = 1.5;
+//  rankdir = LR;
+//  nodesep = 0.5;
+  edge [style="setlinewidth(1)"];
+
+  Installed [label="Installed"];
+  Uninstalled [label="Uninstalled"];
+  Satisfied [label="Satisfied"];
+  Incomplete [label="Incomplete"];
+
+  Uninstalled -> To_be_installed [ label ="install,explicit"];
+  Uninstalled -> To_be_installed [ label ="install,implicit"];
+  Installed -> To_be_removed [ label ="remove,explicit"];
+  Installed -> To_be_removed [ label ="remove,implicit"];
+  To_be_installed -> Installed [ label ="commit"];
+  To_be_removed -> Uninstalled [ label ="commit"];
+
+  Uninstalled -> Satisfied [ label="establish,good" ];
+  Uninstalled -> Incomplete [ label="establish,bad" ];
+
+  Installed -> Incomplete [ label="establish,bad" ];
+
+  Incomplete -> To_be_installed [ label="resolve" ];
+  Incomplete -> To_be_removed [ label="remove" ];
+
+  Satisfied -> Installed [ label="install" ];
+}