RubyGems - ConstraintSolver - Versions diffs - 0.1 - Mend

ConstraintSolver 0.1

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/classes/Fixnum.html ADDED Viewed

@@ -0,0 +1,153 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+<head>
+  <title>Class: Fixnum</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <meta http-equiv="Content-Script-Type" content="text/javascript" />
+  <link rel="stylesheet" href=".././rdoc-style.css" type="text/css" media="screen" />
+  <script type="text/javascript">
+  // <![CDATA[
+  function popupCode( url ) {
+    window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
+  }
+  function toggleCode( id ) {
+    if ( document.getElementById )
+      elem = document.getElementById( id );
+    else if ( document.all )
+      elem = eval( "document.all." + id );
+    else
+      return false;
+    elemStyle = elem.style;
+    if ( elemStyle.display != "block" ) {
+      elemStyle.display = "block"
+    } else {
+      elemStyle.display = "none"
+    }
+    return true;
+  }
+  // Make codeblocks hidden by default
+  document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
+  // ]]>
+  </script>
+</head>
+<body>
+    <div id="classHeader">
+        <table class="header-table">
+        <tr class="top-aligned-row">
+          <td><strong>Class</strong></td>
+          <td class="class-name-in-header">Fixnum</td>
+        </tr>
+        <tr class="top-aligned-row">
+            <td><strong>In:</strong></td>
+            <td>
+                <a href="../files/lib/extensions_rb.html">
+                lib/extensions.rb
+                </a>
+        <br />
+            </td>
+        </tr>
+        <tr class="top-aligned-row">
+            <td><strong>Parent:</strong></td>
+            <td>
+                Object
+            </td>
+        </tr>
+        </table>
+    </div>
+  <!-- banner header -->
+  <div id="bodyContent">
+  <div id="contextContent">
+    <div id="diagram">
+      <map id="map" name="map">
+  <area shape="rect" coords="123,51,195,99"      href="Array.html" alt="Array" />
+  <area shape="rect" coords="27,51,99,99"      href="Fixnum.html" alt="Fixnum" />
+</map>
+<img src="../dot/f_11.png" usemap="#map" border="0" alt="dot/f_11.png">
+    </div>
+   </div>
+    <div id="method-list">
+      <h3 class="section-bar">Methods</h3>
+      <div class="name-list">
+      <a href="#M000008">not_equal?</a>&nbsp;&nbsp;
+      </div>
+    </div>
+  </div>
+    <!-- if includes -->
+    <div id="section">
+    <!-- if method_list -->
+    <div id="methods">
+      <h3 class="section-bar">Public Instance methods</h3>
+      <div id="method-M000008" class="method-detail">
+        <a name="M000008"></a>
+        <div class="method-heading">
+          <a href="#M000008" class="method-signature">
+          <span class="method-name">not_equal?</span><span class="method-args">(num)</span>
+          </a>
+        </div>
+        <div class="method-description">
+          <p><a class="source-toggle" href="#"
+            onclick="toggleCode('M000008-source');return false;">[Source]</a></p>
+          <div class="method-source-code" id="M000008-source">
+<pre>
+<span class="ruby-comment cmt"># File lib/extensions.rb, line 26</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">not_equal?</span>(<span class="ruby-identifier">num</span>)
+        <span class="ruby-keyword kw">self</span> <span class="ruby-operator">!=</span> <span class="ruby-identifier">num</span>
+    <span class="ruby-keyword kw">end</span>
+</pre>
+          </div>
+        </div>
+      </div>
+    </div>
+  </div>
+<div id="validator-badges">
+  <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
+</div>
+</body>
+</html>

data/doc/created.rid ADDED Viewed

	@@ -0,0 +1 @@
1	+ Sat Apr 14 16:16:23 +0200 2007

data/doc/dot/f_0.dot ADDED Viewed

@@ -0,0 +1,38 @@
+digraph TopLevel {
+    compound = true
+    bgcolor = lightcyan1
+    fontname = Arial
+    fontsize = 8
+    label = "TopLevel"
+    node [
+        fontname = Arial,
+        fontsize = 8,
+        color = black
+    ]
+    subgraph cluster_1 {
+        fontname = Arial
+        color = red
+        label = "test/extensionsTest.rb"
+        ExtensionsTest [
+            fontcolor = black,
+            URL = "classes/ExtensionsTest.html",
+            shape = ellipse,
+            color = palegoldenrod,
+            style = filled,
+            label = "ExtensionsTest"
+        ]
+    }
+    Test__Unit__TestCase [
+        URL = "classes/Test/Unit/TestCase.html",
+        label = "Test::Unit::TestCase"
+    ]
+    Test__Unit__TestCase -> ExtensionsTest [
+    ]
+}

data/doc/dot/f_0.png ADDED Viewed

Binary file

data/doc/dot/f_1.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_12 {
+            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_5 {
+            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_3 {
+            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_15 {
+            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_9 {
+            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_17 {
+            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_16 {
+            fontname = Arial
+            color = red
+            label = "test/ProblemTest.rb"
+            ConstraintSolver__ProblemTest [
+                fontcolor = black,
+                URL = "classes/ConstraintSolver/ProblemTest.html",
+                shape = ellipse,
+                color = palegoldenrod,
+                style = filled,
+                label = "ProblemTest"
+            ]
+        }
+        subgraph cluster_10 {
+            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_14 {
+            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_13 {
+            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_11 {
+            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_4 {
+            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_19 {
+            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_18 {
+            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_8 {
+            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_6 {
+            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_7 {
+            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"
+            ]
+        }
+    }
+}