marmoteBox.h

/* Marmote is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

Marmote is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with Marmote. If not, see <http://www.gnu.org/licenses/>.

Copyright 2015 Alain Jean-Marie, Jean-Michel Fourneau, Jean-Marc Vincent, Issam Rabhi */

#ifndef MARMOTEBOX_H
#define MARMOTEBOX_H

#include "marmoteSet.h"

class marmoteBox : public marmoteSet
{
private:
  int _nbDims; 
  int* _dimSize; 
  int* _lVal; 
  int* _uVal; 
public:
  marmoteBox(int nbDims, int* dimSize);
  marmoteBox(int nbDims, int *lower, int* upper);
  ~marmoteBox();
  bool isFinite();
  bool isZero(int* buffer);
  void firstState(int* buffer);
  void nextState(int *buffer);
  void decodeState(int index, int* buf);
  int index(int* buf);
  void printState(FILE* out, int *buffer);

};

#endif // MARMOTEBOX_H