MLSHom.h

Go to the documentation of this file.

#ifndef __MLSHOM__H__
#define __MLSHOM__H__
 
#include "ddd/AdditiveMap.hpp"
#include "ddd/SHom.h"
 
class MLShom;
 
typedef AdditiveMap<GShom, GSDD> SHomNodeMap;
typedef AdditiveMap<GShom, MLShom> SHomHomMap;
 
class _MLShom;
 
class MLShom {
  
  friend MLShom operator+(const MLShom &,const MLShom &);
  const _MLShom* concret;
  
  public :
  
  static const MLShom id;
  
  MLShom():concret(id.concret){};
  
  MLShom(const GShom &h);
  MLShom (const GShom & up, const MLShom & down);
  MLShom (const _MLShom &);
  MLShom (_MLShom *);
  MLShom (const _MLShom *);
  
  
  MLShom(int var, const DataSet & val, const MLShom &h=MLShom::id);  
  
  virtual ~MLShom();
  
  
  bool operator<(const MLShom &h) const {return concret<h.concret;};
  bool operator==(const MLShom &h) const {return concret==h.concret;};
  size_t hash() const { return ddd::knuth32_hash(reinterpret_cast<const size_t>(concret)); };
  
  SHomNodeMap eval(const GSDD &) const ;
  SHomNodeMap operator() (const GSDD &) const;
  
  
  static void garbage();
  
};
 
MLShom operator+(const MLShom &,const MLShom &); 
 
class _MLShom {
  mutable int refCounter;
  mutable bool marking;
  
  friend class MLShom;
  
  virtual void mark() const{};
  
  
public:
  _MLShom (int ref=0) : refCounter(ref),marking(false) {}
  virtual bool shouldCache () const { return true ; }
  
  virtual ~_MLShom(){};
  virtual SHomNodeMap eval(const GSDD &) const = 0;
  
  virtual size_t hash() const = 0;
  virtual bool operator==(const _MLShom &h) const=0;
  // for use by unique table : return new MyConcreteClassName(*this);
  virtual _MLShom * clone () const =0 ;
  
};
 
class StrongMLShom : public _MLShom {
  public :
  
  bool operator==(const _MLShom &h) const;
  
  virtual bool operator==(const StrongMLShom &) const=0;
  
  SHomNodeMap eval(const GSDD &) const ;
  
  virtual SHomHomMap phi (int var,const DataSet & val) const=0;   
  virtual SHomNodeMap phiOne () const=0;   
  
};
 
#endif