types.hpp

Go to the documentation of this file.

template<typename monom>
struct predicat 
{
  int taille1;
  mon * accept;
  int taille2;
  mon * refuse;
  typedef monom monom_t;
};


template<typename predicat>
struct Base
{
  list<predicat> def;
  int nbvars;
  typedef predicat predicat_t;
  typedef typename predicat::monom_t mon;
  typedef typename list<predicat>::iterator iterator;
  typedef typename list<predicat>::const_iterator const_iterator;
  typedef typename list<predicat>::reverse_iterator reverse_iterator;
  typedef typename list<predicat>::const_reverse_iterator const_reverse_iterator;

  iterator begin () { return def.begin(); }
  const_iterator begin () const { return def.begin(); }
  reverse_iterator rbegin ()    { return def.rbegin(); }
  const_reverse_iterator rbegin () const { return def.rbegin(); }

  iterator end () { return def.end(); }
  const_iterator end () const { return def.end(); }
  reverse_iterator rend () { return def.rend(); } 
  const_reverse_iterator rend () const { return def.rend(); }

  iterator erase(iterator first, iterator last){return def.erase(first,last);};
  iterator erase(iterator first){return def.erase(first);};
  int nbvar() {return nbvars;};
  int nbvar() const {return nbvars;};
};