ConstraintSolver 0.1

data/doc/dot/m_15_0.dot

@@ -0,0 +1,392 @@
+digraph TopLevel {
+    compound = true
+    bgcolor = lightcyan1
+    fontname = Arial
+    fontsize = 8
+    label = "TopLevel"
+    node [
+        fontname = Arial,
+        fontsize = 8,
+        color = black
+    ]
+
+    Test__Unit__TestCase [
+        URL = "classes/Test/Unit/TestCase.html",
+        label = "Test::Unit::TestCase"
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__AllDifferentConstraintTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__SolutionTest [
+
+    ]
+
+    Exception [
+        URL = "classes/Exception.html",
+        label = "Exception"
+    ]
+
+    Exception -> ConstraintSolver__DomainWipeoutException [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__ConstraintSolverTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__ConstraintListTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__VariableTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__DomainTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__BinaryConstraintTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__ProblemTest [
+
+    ]
+
+    ConstraintSolver__AbstractConstraint -> ConstraintSolver__BinaryConstraint [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__BinaryRelationTest [
+
+    ]
+
+    Array [
+        URL = "classes/Array.html",
+        label = "Array"
+    ]
+
+    Array -> ConstraintSolver__ConstraintList [
+
+    ]
+
+    ConstraintSolver__AbstractConstraint -> ConstraintSolver__AllDifferentConstraint [
+
+    ]
+
+    Exception -> ConstraintSolver__UndoStackEmptyException [
+
+    ]
+
+    subgraph cluster_ConstraintSolver {
+        fillcolor = palegreen1
+        URL = "classes/ConstraintSolver.html"
+        fontname = Arial
+        color = blue
+        label = "ConstraintSolver"
+        style = filled
+        ConstraintSolver [
+            shape = plaintext,
+            height = 0.01,
+            width = 0.01,
+            label = ""
+        ]
+
+        subgraph cluster_463 {
+            fontname = Arial
+            color = black
+            label = "test/DomainTest.rb"
+            ConstraintSolver__DomainTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/DomainTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "DomainTest"
+            ]
+
+        }
+
+        subgraph cluster_456 {
+            fontname = Arial
+            color = black
+            label = "test/SolutionTest.rb"
+            ConstraintSolver__SolutionTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/SolutionTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "SolutionTest"
+            ]
+
+        }
+
+        subgraph cluster_454 {
+            fontname = Arial
+            color = black
+            label = "lib/BinaryConstraint.rb"
+            ConstraintSolver__BinaryRelation [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/BinaryRelation.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "BinaryRelation"
+            ]
+
+            ConstraintSolver__BinaryConstraint [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/BinaryConstraint.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "BinaryConstraint"
+            ]
+
+        }
+
+        subgraph cluster_466 {
+            fontname = Arial
+            color = black
+            label = "lib/Variable.rb"
+            ConstraintSolver__Variable [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/Variable.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "Variable"
+            ]
+
+        }
+
+        subgraph cluster_460 {
+            fontname = Arial
+            color = black
+            label = "test/ConstraintListTest.rb"
+            ConstraintSolver__ConstraintListTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ConstraintListTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ConstraintListTest"
+            ]
+
+        }
+
+        subgraph cluster_468 {
+            fontname = Arial
+            color = black
+            label = "lib/ConstraintList.rb"
+            ConstraintSolver__ConstraintList [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ConstraintList.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ConstraintList"
+            ]
+
+        }
+
+        subgraph cluster_467 {
+            fontname = Arial
+            color = black
+            label = "test/ProblemTest.rb"
+            ConstraintSolver__ProblemTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ProblemTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ProblemTest"
+            ]
+
+        }
+
+        subgraph cluster_461 {
+            fontname = Arial
+            color = black
+            label = "lib/Solution.rb"
+            ConstraintSolver__Solution [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/Solution.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "Solution"
+            ]
+
+        }
+
+        subgraph cluster_465 {
+            fontname = Arial
+            color = black
+            label = "test/BinaryConstraintTest.rb"
+            ConstraintSolver__BinaryConstraintTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/BinaryConstraintTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "BinaryConstraintTest"
+            ]
+
+            ConstraintSolver__BinaryRelationTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/BinaryRelationTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "BinaryRelationTest"
+            ]
+
+        }
+
+        subgraph cluster_464 {
+            fontname = Arial
+            color = black
+            label = "lib/ConstraintSolver.rb"
+            ConstraintSolver__ConstraintSolver [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ConstraintSolver.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ConstraintSolver"
+            ]
+
+        }
+
+        subgraph cluster_462 {
+            fontname = Arial
+            color = black
+            label = "test/VariableTest.rb"
+            ConstraintSolver__VariableTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/VariableTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "VariableTest"
+            ]
+
+        }
+
+        subgraph cluster_455 {
+            fontname = Arial
+            color = black
+            label = "test/AllDifferentConstraintTest.rb"
+            ConstraintSolver__AllDifferentConstraintTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/AllDifferentConstraintTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "AllDifferentConstraintTest"
+            ]
+
+        }
+
+        subgraph cluster_470 {
+            fontname = Arial
+            color = black
+            label = "lib/AllDifferentConstraint.rb"
+            ConstraintSolver__AllDifferentConstraint [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/AllDifferentConstraint.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "AllDifferentConstraint"
+            ]
+
+        }
+
+        subgraph cluster_469 {
+            fontname = Arial
+            color = black
+            label = "lib/Problem.rb"
+            ConstraintSolver__Problem [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/Problem.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "Problem"
+            ]
+
+        }
+
+        subgraph cluster_459 {
+            fontname = Arial
+            color = black
+            label = "test/ConstraintSolverTest.rb"
+            ConstraintSolver__ConstraintSolverTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ConstraintSolverTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ConstraintSolverTest"
+            ]
+
+        }
+
+        subgraph cluster_457 {
+            fontname = Arial
+            color = black
+            label = "lib/Domain.rb"
+            ConstraintSolver__DomainWipeoutException [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/DomainWipeoutException.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "DomainWipeoutException"
+            ]
+
+            ConstraintSolver__Domain [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/Domain.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "Domain"
+            ]
+
+            ConstraintSolver__UndoStackEmptyException [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/UndoStackEmptyException.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "UndoStackEmptyException"
+            ]
+
+        }
+
+        subgraph cluster_458 {
+            fontname = Arial
+            color = black
+            label = "lib/AbstractConstraint.rb"
+            ConstraintSolver__AbstractConstraint [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/AbstractConstraint.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "AbstractConstraint"
+            ]
+
+        }
+
+    }
+
+}
+

data/doc/dot/m_16_0.dot

@@ -0,0 +1,392 @@
+digraph TopLevel {
+    compound = true
+    bgcolor = lightcyan1
+    fontname = Arial
+    fontsize = 8
+    label = "TopLevel"
+    node [
+        fontname = Arial,
+        fontsize = 8,
+        color = black
+    ]
+
+    Test__Unit__TestCase [
+        URL = "classes/Test/Unit/TestCase.html",
+        label = "Test::Unit::TestCase"
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__AllDifferentConstraintTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__SolutionTest [
+
+    ]
+
+    Exception [
+        URL = "classes/Exception.html",
+        label = "Exception"
+    ]
+
+    Exception -> ConstraintSolver__DomainWipeoutException [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__ConstraintSolverTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__ConstraintListTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__VariableTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__DomainTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__BinaryConstraintTest [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__ProblemTest [
+
+    ]
+
+    ConstraintSolver__AbstractConstraint -> ConstraintSolver__BinaryConstraint [
+
+    ]
+
+    Test__Unit__TestCase -> ConstraintSolver__BinaryRelationTest [
+
+    ]
+
+    Array [
+        URL = "classes/Array.html",
+        label = "Array"
+    ]
+
+    Array -> ConstraintSolver__ConstraintList [
+
+    ]
+
+    ConstraintSolver__AbstractConstraint -> ConstraintSolver__AllDifferentConstraint [
+
+    ]
+
+    Exception -> ConstraintSolver__UndoStackEmptyException [
+
+    ]
+
+    subgraph cluster_ConstraintSolver {
+        fillcolor = palegreen1
+        URL = "classes/ConstraintSolver.html"
+        fontname = Arial
+        color = blue
+        label = "ConstraintSolver"
+        style = filled
+        ConstraintSolver [
+            shape = plaintext,
+            height = 0.01,
+            width = 0.01,
+            label = ""
+        ]
+
+        subgraph cluster_499 {
+            fontname = Arial
+            color = black
+            label = "test/DomainTest.rb"
+            ConstraintSolver__DomainTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/DomainTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "DomainTest"
+            ]
+
+        }
+
+        subgraph cluster_492 {
+            fontname = Arial
+            color = black
+            label = "test/SolutionTest.rb"
+            ConstraintSolver__SolutionTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/SolutionTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "SolutionTest"
+            ]
+
+        }
+
+        subgraph cluster_490 {
+            fontname = Arial
+            color = black
+            label = "lib/BinaryConstraint.rb"
+            ConstraintSolver__BinaryRelation [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/BinaryRelation.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "BinaryRelation"
+            ]
+
+            ConstraintSolver__BinaryConstraint [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/BinaryConstraint.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "BinaryConstraint"
+            ]
+
+        }
+
+        subgraph cluster_502 {
+            fontname = Arial
+            color = black
+            label = "lib/Variable.rb"
+            ConstraintSolver__Variable [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/Variable.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "Variable"
+            ]
+
+        }
+
+        subgraph cluster_496 {
+            fontname = Arial
+            color = black
+            label = "test/ConstraintListTest.rb"
+            ConstraintSolver__ConstraintListTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ConstraintListTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ConstraintListTest"
+            ]
+
+        }
+
+        subgraph cluster_504 {
+            fontname = Arial
+            color = black
+            label = "lib/ConstraintList.rb"
+            ConstraintSolver__ConstraintList [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ConstraintList.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ConstraintList"
+            ]
+
+        }
+
+        subgraph cluster_503 {
+            fontname = Arial
+            color = black
+            label = "test/ProblemTest.rb"
+            ConstraintSolver__ProblemTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ProblemTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ProblemTest"
+            ]
+
+        }
+
+        subgraph cluster_497 {
+            fontname = Arial
+            color = black
+            label = "lib/Solution.rb"
+            ConstraintSolver__Solution [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/Solution.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "Solution"
+            ]
+
+        }
+
+        subgraph cluster_501 {
+            fontname = Arial
+            color = black
+            label = "test/BinaryConstraintTest.rb"
+            ConstraintSolver__BinaryConstraintTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/BinaryConstraintTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "BinaryConstraintTest"
+            ]
+
+            ConstraintSolver__BinaryRelationTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/BinaryRelationTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "BinaryRelationTest"
+            ]
+
+        }
+
+        subgraph cluster_500 {
+            fontname = Arial
+            color = black
+            label = "lib/ConstraintSolver.rb"
+            ConstraintSolver__ConstraintSolver [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ConstraintSolver.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ConstraintSolver"
+            ]
+
+        }
+
+        subgraph cluster_498 {
+            fontname = Arial
+            color = black
+            label = "test/VariableTest.rb"
+            ConstraintSolver__VariableTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/VariableTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "VariableTest"
+            ]
+
+        }
+
+        subgraph cluster_491 {
+            fontname = Arial
+            color = black
+            label = "test/AllDifferentConstraintTest.rb"
+            ConstraintSolver__AllDifferentConstraintTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/AllDifferentConstraintTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "AllDifferentConstraintTest"
+            ]
+
+        }
+
+        subgraph cluster_506 {
+            fontname = Arial
+            color = black
+            label = "lib/AllDifferentConstraint.rb"
+            ConstraintSolver__AllDifferentConstraint [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/AllDifferentConstraint.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "AllDifferentConstraint"
+            ]
+
+        }
+
+        subgraph cluster_505 {
+            fontname = Arial
+            color = black
+            label = "lib/Problem.rb"
+            ConstraintSolver__Problem [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/Problem.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "Problem"
+            ]
+
+        }
+
+        subgraph cluster_495 {
+            fontname = Arial
+            color = black
+            label = "test/ConstraintSolverTest.rb"
+            ConstraintSolver__ConstraintSolverTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ConstraintSolverTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ConstraintSolverTest"
+            ]
+
+        }
+
+        subgraph cluster_493 {
+            fontname = Arial
+            color = black
+            label = "lib/Domain.rb"
+            ConstraintSolver__DomainWipeoutException [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/DomainWipeoutException.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "DomainWipeoutException"
+            ]
+
+            ConstraintSolver__Domain [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/Domain.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "Domain"
+            ]
+
+            ConstraintSolver__UndoStackEmptyException [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/UndoStackEmptyException.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "UndoStackEmptyException"
+            ]
+
+        }
+
+        subgraph cluster_494 {
+            fontname = Arial
+            color = black
+            label = "lib/AbstractConstraint.rb"
+            ConstraintSolver__AbstractConstraint [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/AbstractConstraint.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "AbstractConstraint"
+            ]
+
+        }
+
+    }
+
+}
+