space.hh

Go to the documentation of this file.

 
#ifndef constrSpace_hh
#define constrSpace_hh
 
#include <memory>
#include "space/space.hh"
#include "toolbox/scannerConnectors.hh"
#include "element.hh"
 
namespace concepts {
 
  // ************************************************************** Scanners **
 
  template<typename F>
  class Scan<constraints::Element<F> > : public Scan<Element<Real> > {
  public:
    virtual constraints::Element<F>& operator++(int) = 0;
  };
 
} // namespace concepts
 
namespace constraints {
 
  template<typename F>
  class ConstraintsList;
 
  // ***************************************************************** Space **
 
  template<class F>
  class Space : public concepts::Space<F> {
  public:
    Space(concepts::Space<F>& spc, ConstraintsList<F>& constr);
    virtual ~Space();
 
    typedef concepts::Scan<Element<F> > Scan;
 
    virtual uint dim() const { return dim_; }
    virtual uint nelm() const { return nelm_; }
    virtual Scan* scan() const;
 
    void rebuild();
 
    const concepts::ElementPairList<F>& elmPairList() { return *elmPairList_; }
  protected:
    virtual std::ostream& info(std::ostream& os) const;
  private:
    uint dim_;
    uint nelm_;
    concepts::Joiner<Element<F>*, 1>* elm_;
 
    concepts::Space<F>& compSpc_;
 
    ConstraintsList<F>& constr_;
 
    std::unique_ptr<concepts::ElementPairList<F> > elmPairList_;
  };
 
} // namespace constraints
 
#endif // constrSpace_hh