int.hh

Go to the documentation of this file.

/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
 *  Main authors:
 *     Christian Schulte <schulte@gecode.org>
 *     Mikael Lagerkvist <lagerkvist@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2005
 *     Mikael Lagerkvist, 2006
 *
 *  Last modified:
 *     $Date: 2008-07-11 09:28:48 +0200 (Fri, 11 Jul 2008) $ by $Author: tack $
 *     $Revision: 7285 $
 *
 *  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_TEST_INT_HH__
#define __GECODE_TEST_INT_HH__

#include "test/test.hh"

#include "gecode/int.hh"

namespace Test { 

  namespace Int {


    class Assignment {
    protected:
      int n;            
      Gecode::IntSet d; 
    public:
      Assignment(int n0, const Gecode::IntSet& d0);
      virtual bool operator()(void) const = 0;
      virtual void operator++(void) = 0;
      virtual int operator[](int i) const = 0;
      int size(void) const;
      virtual ~Assignment(void);
    };
    
    class CpltAssignment : public Assignment {
    protected:
      Gecode::IntSetValues* dsv; 
    public:
      CpltAssignment(int n, const Gecode::IntSet& d);
      virtual bool operator()(void) const;
      virtual void operator++(void);
      virtual int operator[](int i) const;
      virtual ~CpltAssignment(void);
    };
    
    class RandomAssignment : public Assignment {
    protected:
      int* vals; 
      int  a;    

      int randval(void);
    public:
      RandomAssignment(int n, const Gecode::IntSet& d, int a);
      virtual bool operator()(void) const;
      virtual void operator++(void);
      virtual int operator[](int i) const;
      virtual ~RandomAssignment(void);
    };
        
    class Test : public Base {
    protected:
      int arity;
      Gecode::IntSet dom;
      bool reified;
      Gecode::IntConLevel icl;
      Gecode::PropKind pk;
      bool testdomcon;
      bool testsearch;
    
    public:
      Test(const std::string& s, int a, const Gecode::IntSet& d, bool r=false, 
           Gecode::IntConLevel i=Gecode::ICL_DEF,
           Gecode::PropKind p=Gecode::PK_DEF);
      Test(const std::string& s, int a, int min, int max, bool r=false,
           Gecode::IntConLevel i=Gecode::ICL_DEF,
           Gecode::PropKind p=Gecode::PK_DEF);
      virtual Assignment* assignment(void) const;
      virtual bool solution(const Assignment&) const = 0;
      virtual bool ignore(const Assignment&) const;
      virtual void post(Gecode::Space* home, Gecode::IntVarArray& x) = 0;
      virtual void post(Gecode::Space* home, Gecode::IntVarArray& x, 
                        Gecode::BoolVar b);
      virtual bool run(void);


      static std::string str(Gecode::PropKind pk);
      static std::string str(Gecode::IntConLevel icl);
      static std::string str(Gecode::IntRelType pk);
      static std::string str(Gecode::BoolOpType bot);
      static std::string str(int i);



      template <class T> static bool cmp(T x, Gecode::IntRelType r, T y);
    };
    
    class IntConLevels {
    private:
      static const Gecode::IntConLevel icls[3];
      int i; 
    public:
      IntConLevels(void);
      bool operator()(void) const;
      void operator++(void);
      Gecode::IntConLevel icl(void) const;
    };
    
    class IntRelTypes {
    private:
      static const Gecode::IntRelType irts[6];
      int i; 
    public:
      IntRelTypes(void);
      void reset(void);
      bool operator()(void) const;
      void operator++(void);
      Gecode::IntRelType irt(void) const;
    };
    
    class BoolOpTypes {
    private:
      static const Gecode::BoolOpType bots[5];
      int i; 
    public:
      BoolOpTypes(void);
      bool operator()(void) const;
      void operator++(void);
      Gecode::BoolOpType bot(void) const;
    };
    
  }
}

std::ostream& operator<<(std::ostream& os, const Test::Int::Assignment& a);

#include "test/int.icc"

#endif

// STATISTICS: test-int