gecoder-with-gecode 0.7.1 → 0.8.0

data/ext/gecode-1.3.1/gecode/support/static-stack.hh

@@ -1,117 +0,0 @@
-/*
- *  Main authors:
- *     Christian Schulte <schulte@gecode.org>
- *
- *  Copyright:
- *     Christian Schulte, 2002
- *
- *  Last modified:
- *     $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $
- *     $Revision: 3188 $
- *
- *  This file is part of Gecode, the generic constraint
- *  development environment:
- *     http://www.gecode.org
- *
- *  See the file "LICENSE" for information on usage and
- *  redistribution of this file, and for a
- *     DISCLAIMER OF ALL WARRANTIES.
- *
- */
-
-#ifndef __GECODE_SUPPORT_STATIC_STACK_HH__
-#define __GECODE_SUPPORT_STATIC_STACK_HH__
-
-#include "gecode/kernel.hh"
-
-namespace Gecode { namespace Support {
-
-  /**
-   * \brief Stack with fixed number of elements
-   *
-   * Requires \code #include "gecode/support/static-stack.hh" \endcode
-   * \ingroup FuncSupport
-   */
-  template <class T>
-  class StaticStack {
-  private:
-    /// Stack space
-    T* stack;
-    /// Top of stack
-    unsigned int tos;
-  public:
-    /// Initialize for \a n elements
-    StaticStack(const int n);
-    /// Release memory
-    ~StaticStack(void);
-
-    /// Reset stack (pop all elements)
-    void reset(void);
-    /// Test whether stack is empty
-    bool empty(void) const;
-
-    /// Pop topmost element from stack and return it
-    T pop(void);
-    /// Return element on top of stack
-    T& top(void);
-    /// Return element that has just been popped
-    T& last(void);
-    /// Push element \a x on top of stack
-    void push(T x);
-
-  };
-
-  template <class T>
-  forceinline
-  StaticStack<T>::StaticStack(const int n)
-    : tos(0) {
-    stack = reinterpret_cast<T*>(Memory::malloc((n+1)*sizeof(T)));
-  }
-
-  template <class T>
-  forceinline
-  StaticStack<T>::~StaticStack(void) {
-    Memory::free(stack);
-  }
-
-  template <class T>
-  forceinline bool
-  StaticStack<T>::empty(void) const {
-    return tos==0;
-  }
-
-  template <class T>
-  forceinline void
-  StaticStack<T>::reset(void) {
-    tos = 0;
-  }
-
-  template <class T>
-  forceinline T
-  StaticStack<T>::pop(void) {
-    return stack[--tos];
-  }
-
-  template <class T>
-  forceinline T&
-  StaticStack<T>::top(void) {
-    return stack[tos-1];
-  }
-
-  template <class T>
-  forceinline T&
-  StaticStack<T>::last(void) {
-    return stack[tos];
-  }
-
-  template <class T>
-  forceinline void
-  StaticStack<T>::push(T x) {
-    stack[tos++] = x;
-  }
-
-}}
-
-#endif
-
-// STATISTICS: support-any

data/ext/gecode-1.3.1/misc/debian/Makefile.am

@@ -1,8 +0,0 @@
-## Process this file with automake to produce Makefile.in
-
-EXTRA_DIST = changelog control copyright \
-	rules gecode.install gecode.info gecode.spec
-
-dist-hook:
-	$(AMTAR) -c $(EXTRA_DIST) | \
-	(cd $(distdir) && $(AMTAR) x)

data/ext/gecode-1.3.1/misc/debian/copyright

@@ -1,44 +0,0 @@
-This is the Debian/GNU prepackaged version of Gecode, the Generic
-Constraint Development Environment.
-
-The Debian package was put together by Guido Tack <tack@gecode.org> using
-sources obtained from
-
-    http://www.gecode.org
-
-The original license of Gecode follows:
-
-		  GECODE LICENSE AGREEMENT
-			 
-This software and its documentation are copyrighted by the
-individual authors as listed in each file. The following
-terms apply to all files associated with the software unless
-explicitly disclaimed in individual files.
-
-The authors hereby grant permission to use, copy, modify,
-distribute, and license this software and its documentation
-for any purpose, provided that existing copyright notices
-are retained in all copies and that this notice is included
-verbatim in any distributions. No written agreement,
-license, or royalty fee is required for any of the
-authorized uses. Modifications to this software may be
-copyrighted by their authors and need not follow the
-licensing terms described here, provided that the new terms
-are clearly indicated on the first page of each file where
-they apply.
-
-IN NO EVENT SHALL THE AUTHORS OR DISTRIBUTORS BE LIABLE TO
-ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR
-CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OF THIS
-SOFTWARE, ITS DOCUMENTATION, OR ANY DERIVATIVES THEREOF,
-EVEN IF THE AUTHORS HAVE BEEN ADVISED OF THE POSSIBILITY OF
-SUCH DAMAGE.
-
-THE AUTHORS AND DISTRIBUTORS SPECIFICALLY DISCLAIM ANY
-WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
-WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
-PURPOSE, AND NON-INFRINGEMENT.  THIS SOFTWARE AND ITS
-DOCUMENTATION ARE PROVIDED ON AN "AS IS" BASIS, AND THE
-AUTHORS AND DISTRIBUTORS HAVE NO OBLIGATION TO PROVIDE
-MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
-MODIFICATIONS.

data/ext/gecode-1.3.1/misc/doxygen/stylesheet.css

@@ -1,460 +0,0 @@
-body,html {
-background:#FFFFFF url(back.png) repeat-y;
-font-family:Arial,Helvetica,sans-serif;
-color:#000000;
-margin:0;
-padding:0;
-}
-
-#content {
-position:absolute; top:30px; left:60px;
-width:60%;
-padding:0 0 50px 0;
-color:#000000;
-}
-
-#contentfront {
-position:absolute; top:250px; left:60px;
-width:50%;
-padding:0 0 50px 0;
-color:#000000;
-}
-
-#logo {
-position:absolute; top:20px; left:75%;
-}
-html>body #logo {
-position:fixed;
-}
-
-#headline {
-position:absolute; top:15px; left:330px;
-width:40%;
-}
-
-#headlinefront {
-position:absolute; top:20px; left:320px;
-width:40%;
-}
-
-#footline {
-position:absolute; bottom:10px; left:70%;
-background:#FFFFFF;
-width:26%;
-border-top:1px dotted #27393E;
-padding:5px 0 0 0;
-z-index:4;
-}
-html>body #footline {
-position:fixed;
-}
-
-#navigation {
-position:absolute; top:120px; left:70%;
-width:26%;
-/*height:200px;*/
-background:#FFFFFF;
-padding:0px 10px 10px 0px;
-/*border-left:5px solid #0b7646;*/
-border-left: 1px dotted #27393E;
-/*border-bottom:1px dotted #27393E;*/
-/*padding:0;*/
-margin:0px;
-vertical-align:bottom;
-z-index:4;
-}
-html>body #navigation {
-position:fixed;
-}
-#navigation2 {
-padding:11px 0 0 15px;
-margin:0;
-z-index:5;
-}
-
-#news {
-position:absolute; top:200px; left:70%;
-width:200px;
-/*padding:0px 10px 10px 0px;*/
-padding:0 19px 100px 14px;
-border-left:1px dotted #27393E;
-/*border-bottom:1px dotted #27393E;*/
-z-index:2;
-}
-
-/*
-  Links
-*/
-
-a {
-color:#005ba1;
-text-decoration: underline;
-}
-
-a:visited {
-color:#005ba1;
-text-decoration: none;
-}
-
-a:hover {
-background-color: #f2f2ff
-}
-
-a.el {
-color:#005ba1;
-text-decoration: underline;
-}
-
-a.el:visited {
-color:#005ba1;
-text-decoration: none;
-}
-
-a.anchor {
-color:#000000;
-text-decoration:none;
-}
-
-a.navigation {
-font-family:Verdana,Arial,Helvetica,sans-serif;
-font-size:100%;
-text-decoration:none;
-border-right:5px solid #0b7646;
-letter-spacing:2px;
-color:#0b7646;
-padding:0 8px 1px 8px;
-margin:4px 0 0 0;
-/*width:169px;*/
-display:block;
-}
-
-a.navigation2 {
-font-family:Verdana,Arial,Helvetica,sans-serif;
-font-size:100%;
-text-decoration:none;
-border-right:5px solid #000000;
-letter-spacing:2px;
-color:#000000;
-padding:0 8px 1px 8px;
-margin:4px 0 0 0;
-display:block;
-}
-
-a.navigation3 {
-font-family:Verdana,Arial,Helvetica,sans-serif;
-font-size:100%;
-text-decoration:none;
-border-right:5px solid #000000;
-letter-spacing:2px;
-color:#555555;
-padding:0 8px 1px 8px;
-margin:4px 0 0 0;
-display:block;
-}
-
-a.navigation:visited {
-color:#0b7646;
-}
-
-a.navigation:hover {
-background:#0b7646;
-color:#FFFFFF;
-}
-
-a.navigation2:hover {
-background:none;
-}
-
-BODY,TD {
-       font-size: 90%;
-}
-H1 {
-	text-align: center;
-       font-size: 130%;
-}
-H2 {
-       font-size: 115%;
-}
-H3 {
-       font-size: 100%;
-}
-CAPTION {}
-
-DIV.qindex {
-	width: 100%;
-	border: 1px solid #b0b0b0;
-	text-align: center;
-	margin: 2px;
-	padding: 2px;
-	line-height: 140%;
-}
-DIV.nav {
-	width: 100%;
-	border: 1px solid #b0b0b0;
-	text-align: center;
-	margin: 2px;
-	padding: 2px;
-	line-height: 140%;
-}
-DIV.navtab {
-       border: 1px solid #b0b0b0;
-       text-align: center;
-       margin: 2px;
-       margin-right: 15px;
-       padding: 2px;
-}
-TD.navtab {
-       font-size: 70%;
-}
-A.qindex {
-       text-decoration: none;
-       color: #0b7646;
-}
-A.qindex:visited {
-       text-decoration: none;
-       color:#07472a;
-}
-A.qindex:hover {
-	text-decoration: none;
-	background-color:#0b7646;
-	color:#FFFFFF;
-}
-A.qindexHL {
-	text-decoration: none;
-	background-color: #6666cc;
-	color: #ffffff;
-	border: 1px double #9295C2;
-}
-A.qindexHL:hover {
-	text-decoration: none;
-	background-color:#0b7646;
-	color:#FFFFFF;
-}
-A.qindexHL:visited { text-decoration: none; background-color: #6666cc; color: #ffffff }
-A.el { text-decoration: none;
-}
-A.elRef {
-}
-A.code:link { text-decoration: none; font-weight: normal; color: #0000FF}
-A.code:visited { text-decoration: none; font-weight: normal; color: #0000FF}
-A.codeRef:link { font-weight: normal; color: #0000FF}
-A.codeRef:visited { font-weight: normal; color: #0000FF}
-A:hover { text-decoration: none; background-color: #f2f2ff }
-DL.el { margin-left: -1cm }
-.fragment {
-       font-family: Fixed, monospace;
-       font-size: 95%;
-}
-PRE.fragment {
-	border: 1px solid #CCCCCC;
-	background-color: #f5f5f5;
-	margin-top: 4px;
-	margin-bottom: 4px;
-	margin-left: 2px;
-	margin-right: 8px;
-	padding-left: 6px;
-	padding-right: 6px;
-	padding-top: 4px;
-	padding-bottom: 4px;
-}
-DIV.ah { background-color: black;
-color: #ffffff; margin-bottom: 3px; margin-top: 3px }
-TD.md { background-color: #F4F4FB; }
-TD.mdPrefix {
-       background-color: #F4F4FB;
-       color: #606060; font-size: 80%;
-}
-TD.mdname1 { background-color: #F4F4FB; color: #602020; }
-TD.mdname { background-color: #F4F4FB; color: #602020; }
-DIV.groupHeader {
-       margin-left: 16px;
-       margin-top: 12px;
-       margin-bottom: 6px;
-}
-DIV.groupText { margin-left: 16px; font-style: italic; font-size: 90% }
-BODY {
-	background: white;
-	color: black;
-	margin-right: 20px;
-	margin-left: 20px;
-}
-TD.indexkey {
-	padding-right  : 10px;
-	padding-top    : 2px;
-	padding-left   : 10px;
-	padding-bottom : 2px;
-	margin-left    : 0px;
-	margin-right   : 0px;
-	margin-top     : 2px;
-	margin-bottom  : 2px;
-	border: 1px solid #CCCCCC;
-}
-TD.indexvalue {
-	font-style: italic;
-	padding-right  : 10px;
-	padding-top    : 2px;
-	padding-left   : 10px;
-	padding-bottom : 2px;
-	margin-left    : 0px;
-	margin-right   : 0px;
-	margin-top     : 2px;
-	margin-bottom  : 2px;
-	border: 1px solid #CCCCCC;
-}
-TR.memlist {
-   background-color: #f0f0f0; 
-}
-P.formulaDsp { text-align: center; }
-IMG.formulaDsp { }
-IMG.formulaInl { vertical-align: middle; }
-SPAN.keyword       { color: #008000 }
-SPAN.keywordtype   { color: #604020 }
-SPAN.keywordflow   { color: #e08000 }
-SPAN.comment       { color: #800000 }
-SPAN.preprocessor  { color: #806020 }
-SPAN.stringliteral { color: #002080 }
-SPAN.charliteral   { color: #008080 }
-.mdTable {
-	border: 1px solid #868686;
-	background-color: #F4F4FB;
-}
-.mdRow {
-	padding: 8px 10px;
-}
-.mdescLeft {
-       padding: 0px 8px 4px 8px;
-	font-size: 80%;
-	font-style: italic;
-	background-color: #FAFAFA;
-	border-top: 1px none #E0E0E0;
-	border-right: 1px none #E0E0E0;
-	border-bottom: 1px none #E0E0E0;
-	border-left: 1px none #E0E0E0;
-	margin: 0px;
-}
-.mdescRight {
-       padding: 0px 8px 4px 8px;
-	font-size: 80%;
-	font-style: italic;
-	background-color: #FAFAFA;
-	border-top: 1px none #E0E0E0;
-	border-right: 1px none #E0E0E0;
-	border-bottom: 1px none #E0E0E0;
-	border-left: 1px none #E0E0E0;
-	margin: 0px;
-}
-.memItemLeft {
-	padding: 1px 0px 0px 8px;
-	margin: 4px;
-	border-top-width: 1px;
-	border-right-width: 1px;
-	border-bottom-width: 1px;
-	border-left-width: 1px;
-	border-top-color: #E0E0E0;
-	border-right-color: #E0E0E0;
-	border-bottom-color: #E0E0E0;
-	border-left-color: #E0E0E0;
-	border-top-style: solid;
-	border-right-style: none;
-	border-bottom-style: none;
-	border-left-style: none;
-	background-color: #FAFAFA;
-	font-size: 80%;
-}
-.memItemRight {
-	padding: 1px 8px 0px 8px;
-	margin: 4px;
-	border-top-width: 1px;
-	border-right-width: 1px;
-	border-bottom-width: 1px;
-	border-left-width: 1px;
-	border-top-color: #E0E0E0;
-	border-right-color: #E0E0E0;
-	border-bottom-color: #E0E0E0;
-	border-left-color: #E0E0E0;
-	border-top-style: solid;
-	border-right-style: none;
-	border-bottom-style: none;
-	border-left-style: none;
-	background-color: #FAFAFA;
-	font-size: 80%;
-}
-.memTemplItemLeft {
-	padding: 1px 0px 0px 8px;
-	margin: 4px;
-	border-top-width: 1px;
-	border-right-width: 1px;
-	border-bottom-width: 1px;
-	border-left-width: 1px;
-	border-top-color: #E0E0E0;
-	border-right-color: #E0E0E0;
-	border-bottom-color: #E0E0E0;
-	border-left-color: #E0E0E0;
-	border-top-style: none;
-	border-right-style: none;
-	border-bottom-style: none;
-	border-left-style: none;
-	background-color: #FAFAFA;
-	font-size: 80%;
-}
-.memTemplItemRight {
-	padding: 1px 8px 0px 8px;
-	margin: 4px;
-	border-top-width: 1px;
-	border-right-width: 1px;
-	border-bottom-width: 1px;
-	border-left-width: 1px;
-	border-top-color: #E0E0E0;
-	border-right-color: #E0E0E0;
-	border-bottom-color: #E0E0E0;
-	border-left-color: #E0E0E0;
-	border-top-style: none;
-	border-right-style: none;
-	border-bottom-style: none;
-	border-left-style: none;
-	background-color: #FAFAFA;
-	font-size: 80%;
-}
-.memTemplParams {
-	padding: 1px 0px 0px 8px;
-	margin: 4px;
-	border-top-width: 1px;
-	border-right-width: 1px;
-	border-bottom-width: 1px;
-	border-left-width: 1px;
-	border-top-color: #E0E0E0;
-	border-right-color: #E0E0E0;
-	border-bottom-color: #E0E0E0;
-	border-left-color: #E0E0E0;
-	border-top-style: solid;
-	border-right-style: none;
-	border-bottom-style: none;
-	border-left-style: none;
-        color: #606060;
-	background-color: #FAFAFA;
-	font-size: 80%;
-}
-.search     { color: #003399;
-}
-FORM.search {
-              margin-bottom: 0px;
-              margin-top: 0px;
-}
-INPUT.search { font-size: 75%;
-               color: #000080;
-               font-weight: normal;
-}
-TD.tiny      { font-size: 75%;
-}
-.dirtab { padding: 4px;
-          border-collapse: collapse;
-          border: 1px solid #b0b0b0;
-}
-TH.dirtab {}
-HR { height: 1px;
-     border: none;
-     border-top: 1px solid black;
-}
-UL {
-	list-style-type: square;
-}