DataSet.h

Go to the documentation of this file.

/****************************************************************************/
/*                                                                          */
/* This file is part of libDDD, a library for manipulation of DDD and SDD.  */
/*                                                                          */
/*     Copyright (C) 2001-2008 Yann Thierry-Mieg, Jean-Michel Couvreur      */
/*                             and Denis Poitrenaud                         */
/*                                                                          */
/*     This program is free software; you can redistribute it and/or modify */
/*     it under the terms of the GNU Lesser General Public License as       */
/*     published by the Free Software Foundation; either version 3 of the   */
/*     License, or (at your option) any later version.                      */
/*     This program 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 LEsserGeneral Public License for more details.                   */
/*                                                                          */
/* You should have received a copy of the GNU Lesser General Public License */
/*     along with this program; if not, write to the Free Software          */
/*Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA */
/*                                                                          */
/****************************************************************************/
 
#ifndef __DATASET_H__
#define __DATASET_H__
 
#include <iosfwd>
 
class DataSet 
{
 public :
  virtual ~DataSet() {};
  virtual DataSet *newcopy () const = 0;
  virtual DataSet *set_intersect (const DataSet & b) const  = 0;
  virtual DataSet *set_union (const DataSet & b)  const = 0;
  virtual DataSet *set_minus (const DataSet & b) const = 0;
  virtual bool empty() const = 0;
  virtual DataSet *empty_set() const = 0;
  virtual bool set_equal(const DataSet & b) const =0;
  virtual bool set_less_than (const DataSet & b) const =0;
  virtual long double set_size() const = 0;
  virtual size_t set_hash() const =0;
  virtual void set_print (std::ostream &os) const =0;
        virtual void mark() const = 0;
#ifdef EVDDD
  virtual DataSet *normalizeDistance(int n) const =0;
  virtual int getMinDistance() const = 0;
#endif
 
};
 
 
#endif