RubyGems - ConstraintSolver - Versions diffs - 0.1 - Mend

ConstraintSolver 0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (155) hide show

data/bin/ConstraintSolver +24 -0
data/doc/classes/Array.html +209 -0
data/doc/classes/ConstraintSolver.html +242 -0
data/doc/classes/ConstraintSolver/AbstractConstraint.html +317 -0
data/doc/classes/ConstraintSolver/AllDifferentConstraint.html +451 -0
data/doc/classes/ConstraintSolver/AllDifferentConstraintTest.html +397 -0
data/doc/classes/ConstraintSolver/BinaryConstraint.html +483 -0
data/doc/classes/ConstraintSolver/BinaryConstraintTest.html +367 -0
data/doc/classes/ConstraintSolver/BinaryRelation.html +276 -0
data/doc/classes/ConstraintSolver/BinaryRelationTest.html +194 -0
data/doc/classes/ConstraintSolver/ConstraintList.html +208 -0
data/doc/classes/ConstraintSolver/ConstraintListTest.html +252 -0
data/doc/classes/ConstraintSolver/ConstraintSolver.html +353 -0
data/doc/classes/ConstraintSolver/ConstraintSolverTest.html +403 -0
data/doc/classes/ConstraintSolver/Domain.html +522 -0
data/doc/classes/ConstraintSolver/DomainTest.html +356 -0
data/doc/classes/ConstraintSolver/DomainWipeoutException.html +158 -0
data/doc/classes/ConstraintSolver/Problem.html +239 -0
data/doc/classes/ConstraintSolver/ProblemTest.html +227 -0
data/doc/classes/ConstraintSolver/Solution.html +342 -0
data/doc/classes/ConstraintSolver/SolutionTest.html +250 -0
data/doc/classes/ConstraintSolver/UndoStackEmptyException.html +158 -0
data/doc/classes/ConstraintSolver/Variable.html +418 -0
data/doc/classes/ConstraintSolver/VariableTest.html +284 -0
data/doc/classes/ExtensionsTest.html +233 -0
data/doc/classes/Fixnum.html +153 -0
data/doc/created.rid +1 -0
data/doc/dot/f_0.dot +38 -0
data/doc/dot/f_0.png +0 -0
data/doc/dot/f_1.dot +392 -0
data/doc/dot/f_1.png +0 -0
data/doc/dot/f_10.dot +392 -0
data/doc/dot/f_10.png +0 -0
data/doc/dot/f_11.dot +38 -0
data/doc/dot/f_11.png +0 -0
data/doc/dot/f_12.dot +392 -0
data/doc/dot/f_12.png +0 -0
data/doc/dot/f_13.dot +392 -0
data/doc/dot/f_13.png +0 -0
data/doc/dot/f_14.dot +392 -0
data/doc/dot/f_14.png +0 -0
data/doc/dot/f_15.dot +392 -0
data/doc/dot/f_15.png +0 -0
data/doc/dot/f_16.dot +392 -0
data/doc/dot/f_16.png +0 -0
data/doc/dot/f_17.dot +392 -0
data/doc/dot/f_17.png +0 -0
data/doc/dot/f_18.dot +392 -0
data/doc/dot/f_18.png +0 -0
data/doc/dot/f_19.dot +392 -0
data/doc/dot/f_19.png +0 -0
data/doc/dot/f_2.dot +392 -0
data/doc/dot/f_2.png +0 -0
data/doc/dot/f_3.dot +392 -0
data/doc/dot/f_3.png +0 -0
data/doc/dot/f_4.dot +392 -0
data/doc/dot/f_4.png +0 -0
data/doc/dot/f_5.dot +392 -0
data/doc/dot/f_5.png +0 -0
data/doc/dot/f_6.dot +14 -0
data/doc/dot/f_6.png +0 -0
data/doc/dot/f_7.dot +392 -0
data/doc/dot/f_7.png +0 -0
data/doc/dot/f_8.dot +392 -0
data/doc/dot/f_8.png +0 -0
data/doc/dot/f_9.dot +392 -0
data/doc/dot/f_9.png +0 -0
data/doc/dot/m_10_0.dot +392 -0
data/doc/dot/m_10_0.png +0 -0
data/doc/dot/m_12_0.dot +392 -0
data/doc/dot/m_12_0.png +0 -0
data/doc/dot/m_13_0.dot +392 -0
data/doc/dot/m_13_0.png +0 -0
data/doc/dot/m_14_0.dot +392 -0
data/doc/dot/m_14_0.png +0 -0
data/doc/dot/m_15_0.dot +392 -0
data/doc/dot/m_15_0.png +0 -0
data/doc/dot/m_16_0.dot +392 -0
data/doc/dot/m_16_0.png +0 -0
data/doc/dot/m_17_0.dot +392 -0
data/doc/dot/m_17_0.png +0 -0
data/doc/dot/m_18_0.dot +392 -0
data/doc/dot/m_18_0.png +0 -0
data/doc/dot/m_19_0.dot +392 -0
data/doc/dot/m_19_0.png +0 -0
data/doc/dot/m_1_0.dot +392 -0
data/doc/dot/m_1_0.png +0 -0
data/doc/dot/m_2_0.dot +392 -0
data/doc/dot/m_2_0.png +0 -0
data/doc/dot/m_3_0.dot +392 -0
data/doc/dot/m_3_0.png +0 -0
data/doc/dot/m_4_0.dot +392 -0
data/doc/dot/m_4_0.png +0 -0
data/doc/dot/m_5_0.dot +392 -0
data/doc/dot/m_5_0.png +0 -0
data/doc/dot/m_7_0.dot +392 -0
data/doc/dot/m_7_0.png +0 -0
data/doc/dot/m_8_0.dot +392 -0
data/doc/dot/m_8_0.png +0 -0
data/doc/dot/m_9_0.dot +392 -0
data/doc/dot/m_9_0.png +0 -0
data/doc/files/lib/AbstractConstraint_rb.html +148 -0
data/doc/files/lib/AllDifferentConstraint_rb.html +156 -0
data/doc/files/lib/BinaryConstraint_rb.html +155 -0
data/doc/files/lib/ConstraintList_rb.html +148 -0
data/doc/files/lib/ConstraintSolver_rb.html +162 -0
data/doc/files/lib/Domain_rb.html +155 -0
data/doc/files/lib/Problem_rb.html +148 -0
data/doc/files/lib/Solution_rb.html +148 -0
data/doc/files/lib/Variable_rb.html +148 -0
data/doc/files/lib/extensions_rb.html +108 -0
data/doc/files/test/AllDifferentConstraintTest_rb.html +158 -0
data/doc/files/test/BinaryConstraintTest_rb.html +158 -0
data/doc/files/test/ConstraintListTest_rb.html +160 -0
data/doc/files/test/ConstraintSolverTest_rb.html +164 -0
data/doc/files/test/DomainTest_rb.html +156 -0
data/doc/files/test/ProblemTest_rb.html +160 -0
data/doc/files/test/SolutionTest_rb.html +159 -0
data/doc/files/test/TestSuite_rb.html +113 -0
data/doc/files/test/VariableTest_rb.html +157 -0
data/doc/files/test/extensionsTest_rb.html +118 -0
data/doc/fr_class_index.html +51 -0
data/doc/fr_file_index.html +46 -0
data/doc/fr_method_index.html +133 -0
data/doc/index.html +24 -0
data/examples/example.rb +7 -0
data/examples/queens.rb +13 -0
data/examples/soft.rb +14 -0
data/lib/AbstractConstraint.rb +45 -0
data/lib/AllDifferentConstraint.rb +160 -0
data/lib/BinaryConstraint.rb +187 -0
data/lib/ConstraintList.rb +31 -0
data/lib/ConstraintSolver.rb +213 -0
data/lib/Domain.rb +100 -0
data/lib/GraphUtils.rb +293 -0
data/lib/OneOfEqualsConstraint.rb +81 -0
data/lib/Problem.rb +30 -0
data/lib/Solution.rb +56 -0
data/lib/TupleConstraint.rb +111 -0
data/lib/Variable.rb +74 -0
data/lib/extensions.rb +55 -0
data/test/AllDifferentConstraintTest.rb +140 -0
data/test/BinaryConstraintTest.rb +108 -0
data/test/ConstraintListTest.rb +41 -0
data/test/ConstraintSolverTest.rb +274 -0
data/test/DomainTest.rb +83 -0
data/test/GraphUtilsTest.rb +83 -0
data/test/OneOfEqualsConstraintTest.rb +82 -0
data/test/ProblemTest.rb +35 -0
data/test/SolutionTest.rb +35 -0
data/test/TestSuite.rb +10 -0
data/test/TupleConstraintTest.rb +151 -0
data/test/VariableTest.rb +47 -0
data/test/extensionsTest.rb +57 -0
metadata +212 -0

data/doc/dot/f_18.png ADDED Viewed

Binary file

data/doc/dot/f_19.dot ADDED Viewed

@@ -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_589 {
+            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_582 {
+            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_580 {
+            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_592 {
+            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_586 {
+            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_594 {
+            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_593 {
+            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_587 {
+            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_591 {
+            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_590 {
+            fontname = Arial
+            color = red
+            label = "lib/ConstraintSolver.rb"
+            ConstraintSolver__ConstraintSolver [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ConstraintSolver.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ConstraintSolver"
+            ]
+        }
+        subgraph cluster_588 {
+            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_581 {
+            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_596 {
+            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_595 {
+            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_585 {
+            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_583 {
+            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_584 {
+            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/f_19.png ADDED Viewed

Binary file

data/doc/dot/f_2.dot ADDED Viewed

@@ -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_48 {
+            fontname = Arial
+            color = red
+            label = "test/DomainTest.rb"
+            ConstraintSolver__DomainTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/DomainTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "DomainTest"
+            ]
+        }
+        subgraph cluster_41 {
+            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_39 {
+            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_51 {
+            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_45 {
+            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_53 {
+            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_52 {
+            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_46 {
+            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_50 {
+            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_49 {
+            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_47 {
+            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_40 {
+            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_55 {
+            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_54 {
+            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_44 {
+            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_42 {
+            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_43 {
+            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"
+            ]
+        }
+    }
+}