Class TupleSet

gecode/int.hh:2326–2419

\brief Class representing a set of tuples. * * A TupleSet is used for storing an extensional representation of a * constraint. After a TupleSet is finalized, no more tuples may be * added to it. * * \ingroup TaskModelIntExt */

   * \ingroup TaskModelIntExt
   */
  class TupleSet : public SharedHandle {
  public:
    /** \brief Type of a tuple
     *
     * The arity of the tuple is left implicit.
     */
    typedef int* Tuple;
    /// Import bit set data type
    typedef Gecode::Support::BitSetData BitSetData;
    /// Range information
    class Range {
    public:
      /// Minimum value
      int min;
      /// Maximum value
      int max;
      /// Begin of supports
      BitSetData* s;
      /// Return the width
      unsigned int width(void) const;
      /// Return the supports for value \a n
      const BitSetData* supports(unsigned int n_words, int n) const;
    };
  protected:
    /// Data about values in the table
    class ValueData {
    public:
      /// Number of ranges
      unsigned int n;
      /// Ranges
      Range* r;
      /// Find start range for value \a n
      unsigned int start(int n) const;
    };
    /**
     * \brief Data stored for a Table
     *
     */
    class GECODE_VTABLE_EXPORT Data : public SharedHandle::Object {
    protected:
      /// Initial number of free tuples
      static const int n_initial_free = 1024;
    public:
      /// Arity
      int arity;
      /// Number of words for support
      unsigned int n_words;
      /// Number of Tuples
      int n_tuples;
      /// Number of free tuple entries of arity
      int n_free;
      /// Smallest value
      int min;
      /// Largest value
      int max;
      /// Hash key
      std::size_t key;
      /// Tuple data