dep-selector-libgecode 1.0.0.alpha.0

data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exception.hpp

@@ -0,0 +1,196 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2004
+ *
+ *  Last modified:
+ *     $Date: 2009-03-02 20:08:11 +1100 (Mon, 02 Mar 2009) $ by $Author: schulte $
+ *     $Revision: 8320 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+namespace Gecode { namespace Int {
+
+  /**
+   * \defgroup FuncThrowInt Integer exceptions
+   * \ingroup FuncThrow
+   */
+
+  //@{
+
+  /// %Exception: Value out of limits
+  class GECODE_VTABLE_EXPORT OutOfLimits : public Exception {
+  public:
+    /// Initialize with location \a l
+    OutOfLimits(const char* l);
+  };
+
+  /// %Exception: Not 0/1 integer
+  class GECODE_VTABLE_EXPORT NotZeroOne : public Exception {
+  public:
+    /// Initialize with location \a l
+    NotZeroOne(const char* l);
+  };
+
+
+  /// %Exception: %Variable created with empty domain
+  class GECODE_VTABLE_EXPORT VariableEmptyDomain : public Exception {
+  public:
+    /// Initialize with location \a l
+    VariableEmptyDomain(const char* l);
+  };
+
+  /// %Exception: Too few arguments available in argument array
+  class GECODE_VTABLE_EXPORT TooFewArguments : public Exception  {
+  public:
+    /// Initialize with location \a l
+    TooFewArguments(const char* l);
+  };
+
+  /// %Exception: Arguments are of different size
+  class GECODE_VTABLE_EXPORT ArgumentSizeMismatch : public Exception  {
+  public:
+    /// Initialize with location \a l
+    ArgumentSizeMismatch(const char* l);
+  };
+
+  /// %Exception: Arguments contain same variable multiply
+  class GECODE_VTABLE_EXPORT ArgumentSame : public Exception  {
+  public:
+    /// Initialize with location \a l
+    ArgumentSame(const char* l);
+  };
+
+  /// %Exception: Unknown relation passed as argument
+  class GECODE_VTABLE_EXPORT UnknownRelation : public Exception  {
+  public:
+    /// Initialize with location \a l
+    UnknownRelation(const char* l);
+  };
+
+  /// %Exception: Unknown operation passed as argument
+  class GECODE_VTABLE_EXPORT UnknownOperation : public Exception  {
+  public:
+    /// Initialize with location \a l
+    UnknownOperation(const char* l);
+  };
+
+  /// %Exception: Illegal operation passed as argument
+  class GECODE_VTABLE_EXPORT IllegalOperation : public Exception  {
+  public:
+    /// Initialize with location \a l
+    IllegalOperation(const char* l);
+  };
+
+  /// %Exception: Unknown value or variable selection passed as argument
+  class GECODE_VTABLE_EXPORT UnknownBranching : public Exception {
+  public:
+    /// Initialize with location \a l
+    UnknownBranching(const char* l);
+  };
+
+  /// %Exception: Attempt to access value of unassigned variable
+  class GECODE_VTABLE_EXPORT ValOfUnassignedVar : public Exception {
+  public:
+    /// Initialize with location \a l
+    ValOfUnassignedVar(const char* l);
+  };
+
+  /// %Exception: Tuple set not yet finalized
+  class GECODE_VTABLE_EXPORT NotYetFinalized : public Exception {
+  public:
+    /// Initialize with location \a l
+    NotYetFinalized(const char* l);
+  };
+
+  //@}
+
+
+
+
+
+  /*
+   * Classes for exceptions raised by integer module
+   *
+   */
+
+  inline
+  OutOfLimits::OutOfLimits(const char* l)
+    : Exception(l,"Number out of limits") {}
+
+  inline
+  VariableEmptyDomain::VariableEmptyDomain(const char* l)
+    : Exception(l,"Attempt to create variable with empty domain") {}
+
+  inline
+  NotZeroOne::NotZeroOne(const char* l)
+    : Exception(l,"Not a zero/one integer value") {}
+
+
+  inline
+  TooFewArguments::TooFewArguments(const char* l)
+    : Exception(l,"Passed argument array has too few elements") {}
+
+  inline
+  ArgumentSizeMismatch::ArgumentSizeMismatch(const char* l)
+    : Exception(l,"Sizes of argument arrays mismatch") {}
+
+  inline
+  ArgumentSame::ArgumentSame(const char* l)
+    : Exception(l,"Argument array contains same variable multiply") {}
+
+
+  inline
+  UnknownRelation::UnknownRelation(const char* l)
+    : Exception(l,"Unknown relation type") {}
+
+  inline
+  UnknownOperation::UnknownOperation(const char* l)
+    : Exception(l,"Unknown operation type") {}
+
+  inline
+  IllegalOperation::IllegalOperation(const char* l)
+    : Exception(l,"Illegal operation type") {}
+
+  inline
+  UnknownBranching::UnknownBranching(const char* l)
+    : Exception(l,"Unknown branching type") {}
+
+  inline
+  ValOfUnassignedVar::ValOfUnassignedVar(const char* l)
+    : Exception(l,"Attempt to access value of unassigned variable") {}
+
+  inline
+  NotYetFinalized::NotYetFinalized(const char* l)
+    : Exception(l,"Tuple set not yet finalized") {}
+
+}}
+
+// STATISTICS: int-other
+

data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec.cpp

@@ -0,0 +1,83 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2009
+ *
+ *  Last modified:
+ *     $Date: 2010-03-04 03:40:32 +1100 (Thu, 04 Mar 2010) $ by $Author: schulte $
+ *     $Revision: 10365 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+#include <gecode/int/exec.hh>
+#include <gecode/kernel/wait.hh>
+
+namespace Gecode {
+
+  void
+  wait(Home home, IntVar x, void (*c)(Space& home),
+       IntConLevel) {
+    if (home.failed()) return;
+    GECODE_ES_FAIL(Kernel::UnaryWait<Int::IntView>::post(home,x,c));
+  }
+
+  void
+  wait(Home home, BoolVar x, void (*c)(Space& home),
+       IntConLevel) {
+    if (home.failed()) return;
+    GECODE_ES_FAIL(Kernel::UnaryWait<Int::BoolView>::post(home,x,c));
+  }
+
+  void
+  wait(Home home, const IntVarArgs& x, void (*c)(Space& home),
+       IntConLevel) {
+    if (home.failed()) return;
+    ViewArray<Int::IntView> xv(home,x);
+    GECODE_ES_FAIL(Kernel::NaryWait<Int::IntView>::post(home,xv,c));
+  }
+
+  void
+  wait(Home home, const BoolVarArgs& x, void (*c)(Space& home),
+       IntConLevel) {
+    if (home.failed()) return;
+    ViewArray<Int::BoolView> xv(home,x);
+    GECODE_ES_FAIL(Kernel::NaryWait<Int::BoolView>::post(home,xv,c));
+  }
+
+  void
+  when(Home home, BoolVar x,
+       void (*t)(Space& home), void (*e)(Space& home),
+       IntConLevel) {
+    if (home.failed()) return;
+    GECODE_ES_FAIL(Int::Exec::When::post(home,x,t,e));
+  }
+
+}
+
+// STATISTICS: int-post

data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec.hh

@@ -0,0 +1,87 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2009
+ *
+ *  Last modified:
+ *     $Date: 2009-10-13 02:36:53 +1100 (Tue, 13 Oct 2009) $ by $Author: schulte $
+ *     $Revision: 9878 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+#ifndef __GECODE_INT_EXEC_HH__
+#define __GECODE_INT_EXEC_HH__
+
+#include <gecode/int.hh>
+
+/**
+ * \namespace Gecode::Int::Exec
+ * \brief Synchronized execution
+ */
+
+namespace Gecode { namespace Int { namespace Exec {
+
+  /**
+   * \brief Conditional propagator
+   *
+   * Requires \code #include <gecode/int/exec.hh> \endcode
+   * \ingroup FuncIntProp
+   */
+  class When : public UnaryPropagator<BoolView,PC_BOOL_VAL> {
+  protected:
+    using UnaryPropagator<BoolView,PC_BOOL_VAL>::x0;
+    /// Then function pointer
+    void (*t)(Space&);
+    /// Else function pointer
+    void (*e)(Space&);
+    /// Constructor for cloning \a p
+    When(Space& home, bool share, When& p);
+    /// Constructor for creation
+    When(Home home, BoolView x, void (*t0)(Space&), void (*e0)(Space&));
+  public:
+    /// Copy propagator during cloning
+    GECODE_INT_EXPORT 
+    virtual Actor* copy(Space& home, bool share);
+    /// Perform propagation
+    GECODE_INT_EXPORT 
+    virtual ExecStatus propagate(Space& home, const ModEventDelta& med);
+    /// Post propagator
+    GECODE_INT_EXPORT 
+    static ExecStatus post(Home home, BoolView x,
+                           void (*t)(Space&), void (*e)(Space&));
+  };
+
+}}}
+
+#include <gecode/int/exec/when.hpp>
+
+#endif
+
+// STATISTICS: int-prop
+

data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec/when.cpp

@@ -0,0 +1,77 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2009
+ *
+ *  Last modified:
+ *     $Date: 2010-03-04 03:32:21 +1100 (Thu, 04 Mar 2010) $ by $Author: schulte $
+ *     $Revision: 10364 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+#include <gecode/int/exec.hh>
+
+namespace Gecode { namespace Int { namespace Exec {
+
+  ExecStatus
+  When::post(Home home, BoolView x, void (*t)(Space&), void (*e)(Space&)) {
+    if (x.zero() && (e != NULL)) {
+      e(home);
+      return home.failed() ? ES_FAILED : ES_OK;
+    } else if (x.zero() && (t != NULL)) {
+      t(home);
+      return home.failed() ? ES_FAILED : ES_OK;
+    } else {
+      (void) new (home) When(home,x,t,e);
+      return ES_OK;
+    }
+  }
+
+  Actor*
+  When::copy(Space& home, bool share) {
+    return new (home) When(home,share,*this);
+  }
+
+  ExecStatus
+  When::propagate(Space& home, const ModEventDelta&) {
+    if (x0.zero() && (e != NULL)) {
+      e(home);
+    } else if (t != NULL) {
+      assert(x0.one());
+      t(home);
+    }
+    if (home.failed()) return ES_FAILED;
+    return home.ES_SUBSUMED(*this);
+  }
+
+
+}}}
+
+// STATISTICS: int-prop
+

data/ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec/when.hpp

@@ -0,0 +1,51 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2009
+ *
+ *  Last modified:
+ *     $Date: 2009-10-13 02:36:53 +1100 (Tue, 13 Oct 2009) $ by $Author: schulte $
+ *     $Revision: 9878 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+namespace Gecode { namespace Int { namespace Exec {
+
+  forceinline
+  When::When(Home home, BoolView x, void (*t0)(Space&), void (*e0)(Space&))
+    : UnaryPropagator<BoolView,PC_BOOL_VAL>(home,x), t(t0), e(e0) {}
+
+  forceinline
+  When::When(Space& home, bool share, When& p)
+    : UnaryPropagator<BoolView,PC_BOOL_VAL>(home,share,p), t(p.t), e(p.e) {}
+
+}}}
+
+// STATISTICS: int-prop
+