Interval.hh

Go to the documentation of this file.

#ifndef __DIADES__UTILS__INTERVAL_HH_
#define __DIADES__UTILS__INTERVAL_HH_

#include <stdexcept>
#include <iostream>
#include "Assertion.hh"

using namespace std;
namespace Diades
{
namespace Utils {

class IntervalInvalid : public runtime_error, public domain_error
{

public:
  IntervalInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION Interval -> " << whatArg << endl;
  }
};

class Interval
{

private:
                int _min;
                int _max;
                bool _minInfinity;
                bool _maxInfinity;
                bool _minOpen;
                bool _maxOpen;
public:
  Interval();
  Interval(const string & minusInfinity, const string & plusInfinity);
        Interval(int min, const string & plusInfinity, bool open = false);
        Interval(const string & minusInfinity, int max, bool open = false);
        Interval(const Interval & interval);
        Interval(const Interval & i1, const Interval & i2);
        Interval(int min, int max);
        Interval(int min, int max, bool openMin, bool openMax);
        Interval & operator=(const Interval & interval);
        bool operator==(const Interval & interval) const;
        virtual ~Interval();
        void setMin(int min, bool open);
        void setMinusInfinity();
        void setPlusInfinity();
        void setMax(int max,bool open);
        bool isIn(int x) const;
        string toTina() const;
  bool isValid() const { return _min <= _max; }
  int lower() const { return _min; }
  int upper() const { return _max; }
  bool isOpen() const { return _minOpen && _maxOpen; }
  bool isHalfOpen() const { return _minOpen || _maxOpen; }
  bool isClosed() const { return !_maxOpen && !_minOpen; }
  bool isLbOpen() const { return _minOpen; }
  bool isUbOpen() const { return _maxOpen; }
  bool isBounded() const { return !_minInfinity && !_maxInfinity; }
  bool isLbBounded() const { return !_minInfinity; }
  bool isUbBounded() const { return !_maxInfinity; }
  bool isUnBounded() const { return _minInfinity || _maxInfinity; }
  bool isLbUnBounded() const { return _minInfinity; }
  bool isUbUnBounded() const { return _maxInfinity; }
  friend ostream & operator << (ostream & os, const Interval & interval);
};

};
};

#endif /*INTERVAL_HH_*/