float.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>
 *     Vincent Barichard <Vincent.Barichard@univ-angers.fr>
 *
 *  Copyright:
 *     Christian Schulte, 2005
 *     Mikael Lagerkvist, 2006
 *     Vincent Barichard, 2012
 *
 *  Last modified:
 *     $Date: 2016-10-20 17:25:30 +0200 (Thu, 20 Oct 2016) $ by $Author: schulte $
 *     $Revision: 15217 $
 *
 *  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_FLOAT_HH__
#define __GECODE_TEST_FLOAT_HH__

#include "test/test.hh"

#include <gecode/float.hh>

namespace Test {

  namespace Float {

    enum MaybeType {
      MT_FALSE = 0, //< Does hold
      MT_TRUE,      //< Does not hold
      MT_MAYBE      //< Might or might not hold
    };

    MaybeType operator &(MaybeType a, MaybeType b);

    enum AssignmentType {
      CPLT_ASSIGNMENT = 0,
      RANDOM_ASSIGNMENT,
      EXTEND_ASSIGNMENT
    };

    class Test;


    class Assignment {
    protected:
      int n;              
      Gecode::FloatVal d; 
    public:
      Assignment(int n0, const Gecode::FloatVal& d0);
      virtual bool operator()(void) const = 0;
      virtual void operator++(void) = 0;
      virtual Gecode::FloatVal operator[](int i) const = 0;
      virtual void set(int i, const Gecode::FloatVal& val) = 0;
      int size(void) const;
      virtual ~Assignment(void);
    };

    class CpltAssignment : public Assignment {
    protected:
      Gecode::FloatVal* dsv; 
      Gecode::FloatNum step; 
    public:
      CpltAssignment(int n, const Gecode::FloatVal& d, Gecode::FloatNum s);
      virtual bool operator()(void) const;
      virtual void operator++(void);
      virtual Gecode::FloatVal operator[](int i) const;
      virtual void set(int i, const Gecode::FloatVal& val);
      virtual ~CpltAssignment(void);
    };

    class ExtAssignment : public Assignment {
    protected:
      const Test* curPb;     
      Gecode::FloatVal* dsv; 
      Gecode::FloatNum step; 
    public:
      ExtAssignment(int n, const Gecode::FloatVal& d, Gecode::FloatNum s, const Test * pb);
      virtual bool operator()(void) const;
      virtual void operator++(void);
      virtual Gecode::FloatVal operator[](int i) const;
      virtual void set(int i, const Gecode::FloatVal& val);
      virtual ~ExtAssignment(void);
    };


    class RandomAssignment : public Assignment {
    protected:
      Gecode::FloatVal* vals; 
      int  a;                 

      Gecode::FloatNum randval(void);
    public:
      RandomAssignment(int n, const Gecode::FloatVal& d, int a);
      virtual bool operator()(void) const;
      virtual void operator++(void);
      virtual Gecode::FloatVal operator[](int i) const;
      virtual void set(int i, const Gecode::FloatVal& val);
      virtual ~RandomAssignment(void);
    };

    class TestSpace : public Gecode::Space {
    public:
      Gecode::FloatVal d;
      Gecode::FloatNum step;
      Gecode::FloatVarArray x;
      Gecode::Reify r;
      Test* test;
      bool reified;

      TestSpace(int n, Gecode::FloatVal& d, Gecode::FloatNum s, Test* t);
      TestSpace(int n, Gecode::FloatVal& d, Gecode::FloatNum s, Test* t,
                Gecode::ReifyMode rm);
      TestSpace(bool share, TestSpace& s);
      virtual Gecode::Space* copy(bool share);
      virtual void dropUntil(const Assignment& a);
      bool assigned(void) const;
      bool matchAssignment(const Assignment& a) const;
      void post(void);
      bool failed(void);
      void rel(int i, Gecode::FloatRelType frt, Gecode::FloatVal n);
      void rel(bool sol);
      void assign(const Assignment& a, MaybeType& sol, bool skip=false);
      void bound(void);
      Gecode::FloatNum cut(int* cutDirections);
      void prune(int i);
      void prune(void);
      bool prune(const Assignment& a, bool testfix);
      void disable(void);
      void enable(void);
      unsigned int propagators(void);
    };

    class Test : public Base {
    protected:
      int arity;
      Gecode::FloatVal dom;
      Gecode::FloatNum step;
      AssignmentType assigmentType;
      bool reified;
      int rms;
      bool testsearch;
      bool testfix;
      bool testsubsumed;


      bool eqv(void) const;
      bool imp(void) const;
      bool pmi(void) const;
    public:
      Test(const std::string& s, int a, const Gecode::FloatVal& d,
           Gecode::FloatNum st, AssignmentType at,
           bool r);
      Test(const std::string& s, int a,
           Gecode::FloatNum min, Gecode::FloatNum max,
           Gecode::FloatNum st, AssignmentType at,
           bool r);
      virtual Assignment* assignment(void) const;
      virtual bool extendAssignement(Assignment& a) const;
      virtual MaybeType solution(const Assignment&) const = 0;
      bool subsumed(const TestSpace& ts) const;
      virtual bool ignore(const Assignment& a) const;
      virtual void post(Gecode::Space& home, Gecode::FloatVarArray& x) = 0;
      virtual void post(Gecode::Space& home, Gecode::FloatVarArray& x,
                        Gecode::Reify r);
      virtual bool run(void);


      static std::string str(Gecode::FloatRelType frt);
      static std::string str(Gecode::FloatNum f);
      static std::string str(Gecode::FloatVal f);
      static std::string str(const Gecode::FloatValArgs& f);



      static MaybeType cmp(Gecode::FloatVal x, Gecode::FloatRelType r,
                           Gecode::FloatVal y);
      static MaybeType eq(Gecode::FloatVal x, Gecode::FloatVal y);
      bool flip(void);
    };

    class FloatRelTypes {
    private:
      static const Gecode::FloatRelType frts[6];
      int i;
    public:
      FloatRelTypes(void);
      void reset(void);
      bool operator()(void) const;
      void operator++(void);
      Gecode::FloatRelType frt(void) const;
    };

  }
}

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

#include "test/float.hpp"

#endif

// STATISTICS: test-float