separator.h

Go to the documentation of this file.

#ifndef ABA_SEPARATOR_H
#define ABA_SEPARATOR_H

#include "abacus/hash.h"
#include "abacus/buffer.h" 
#include "abacus/lpsolution.h"
#include "abacus/nonduplpool.h"

class ABA_ABACUSROOT;


  enum ABA_SEPARATOR_CUTFOUND {Added, Duplication, Full};
  template <class BaseType, class CoType>
  class  ABA_SEPARATOR :  public ABA_ABACUSROOT  {
    public:

      ABA_SEPARATOR(ABA_LPSOLUTION<CoType,BaseType> *lpSolution, 
                    bool nonDuplications, int maxGen=300 
                    #ifdef ABACUS_PARALLEL
                    ,bool sendConstraints
                    #endif
                    );

      virtual ~ABA_SEPARATOR();

      virtual void separate()=0;

      ABA_SEPARATOR_CUTFOUND cutFound(BaseType *);

      virtual bool terminateSeparation() 
       {return(nGen()>=maxGen());};

      ABA_BUFFER<BaseType *> &cutBuffer();

      int nGen() const;

      int nDuplications() const;

      int nCollisions() const;

      int maxGen() const;

      double minAbsViolation() const;

      void minAbsViolation(double minAbsVio)
      {minAbsViolation_=minAbsVio;};

  ABA_LPSOLUTION<CoType, BaseType> *lpSolution() 
       {return lpSol_;};

       void watchNonDuplPool(ABA_NONDUPLPOOL<BaseType, CoType> *pool)
      {pool_=pool;};
  protected: 

  bool find(BaseType *);
  ABA_MASTER *master_;
  ABA_LPSOLUTION<CoType, BaseType> *lpSol_;
  private: 
  double minAbsViolation_;
  ABA_BUFFER<BaseType*> newCons_;
  ABA_HASH<unsigned, BaseType*> *hash_;
  int nDuplications_;
  bool sendConstraints_;
  ABA_NONDUPLPOOL<BaseType, CoType> *pool_;   
  ABA_SEPARATOR(const ABA_SEPARATOR<BaseType, CoType> &rhs);
  const ABA_SEPARATOR<BaseType, CoType> 
                              &operator=(const ABA_SEPARATOR<BaseType, CoType> & rhs);
  };

#include "abacus/separator.inc"

#endif  // ABA_SEPARATOR_H

---