abs2.hpp

Go to the documentation of this file.

 
#ifndef ABS2_HPP
#define ABS2_HPP
#include <iostream>
#include <memory>
#include <string>
 
namespace abs2 {
//===========================
// Class forward declarations
//===========================
class Solver;
class Model;
class Param;
class Sol;
class Callback;
 
//====================
// Class declarations
//====================
 
class Solver {
 public:
  Solver(bool verbose = true);
 
  ~Solver();
 
  std::string get(const std::string &key);
 
  void print(const std::string &option = "",
             std::ostream &output_stream = std::cout) const;
 
  void print(std::ostream &output_stream, const std::string &option = "") const;
 
  Sol operator()(const Model &model, const Param &param) const;
 
  Sol operator()(const Model &model, const Param &param,
                 const Sol &start) const;
 
private:
  class Impl;
  //  std::unique_ptr<Impl> pimpl;
  Impl *pimpl;
};
 
class Model {
 public:
  Model(int size, int bits);
 
  Model(int size, int64_t min_coeff, int64_t max_coeff);
 
  Model(const std::string &filename);
 
  ~Model();
 
  Model(const Model &model);
 
  Model &operator=(const Model &model);
 
  void set(int i, int j, int64_t val);
 
  int64_t get(int i, int j) const;
 
  void set(const std::string &key, const std::string &val);
 
  std::string get(const std::string &key) const;
 
  void print(const std::string &option = "",
             std::ostream &output_stream = std::cout) const;
 
  void print(std::ostream &output_stream, const std::string &option = "") const;
 
private:
  class Impl;
  std::unique_ptr<Impl> pimpl;
};
 
class Param {
 public:
  Param();
  ~Param();
  Param(const Param &param);
  Param &operator=(const Param &param);
  void set(const std::string &key, const std::string &val);
  std::string get(const std::string &key) const;
  void set(Callback &callback);
  void print(const std::string &option = "",
             std::ostream &output_stream = std::cout) const;
  void print(std::ostream &output_stream, const std::string &option = "") const;
 
private:
  class Impl;
  std::unique_ptr<Impl> pimpl;
};
class Sol {
 public:
  Sol(int size);
  Sol();
  ~Sol();
  Sol(const Sol &sol);
  Sol(Sol &&sol);
  Sol &operator=(const Sol &sol);
  Sol &operator=(Sol &&sol);
  void set(int i, bool val);
  bool get(int i) const;
  void set(const std::string &key, const std::string &val);
  const std::string get(const std::string &key) const;
  void print(const std::string &option = "",
             std::ostream &output_stream = std::cout) const;
  void print(std::ostream &output_stream, const std::string &option = "") const;
 
private:
  class Impl;
  std::unique_ptr<Impl> pimpl;
};
 
class Callback {
 public:
  Callback();
  virtual ~Callback() = default;
  virtual void callback(const std::string &event) = 0;
  void set(const std::string &operation);
  void set(const std::string &operation, const std::string &operand);
  void set(const Sol &hint);
  const Sol &get() const;
 
private:
  class Impl;
  std::shared_ptr<Impl> pimpl;
};
 
}  // namespace abs2
 
#endif  // ABS2_HPP_