progress_report.h

#ifndef PROBFD_PROGRESS_REPORT_H
#define PROBFD_PROGRESS_REPORT_H
 
#include "probfd/interval.h"
#include "probfd/value_type.h"
 
#include <functional>
#include <iostream>
#include <optional>
#include <string>
#include <vector>
 
namespace probfd {
 
using Printer = std::function<void(std::ostream&)>;
 
using BoundProperty = std::function<Interval()>;
 
class ProgressReport {
    struct BoundPropertyInfo {
        std::string name;
        BoundProperty property;
        std::optional<Interval> last_printed = std::nullopt;
    };
 
    const std::optional<value_t> tolerance_;
    bool enabled_;
    std::ostream& out_;
 
    std::vector<BoundPropertyInfo> bound_infos_;
    std::vector<Printer> additional_informations_;
 
public:
    explicit ProgressReport(
        std::optional<value_t> tolerance = std::nullopt,
        std::ostream& out = std::cout,
        bool enabled = true);
 
    ~ProgressReport() = default;
 
    void force_print();
 
    void print();
 
    void enable();
 
    void disable();
 
    void register_print(Printer f);
 
    void
    register_bound(const std::string& property_name, BoundProperty property);
 
private:
    void print_progress();
    bool advance_values(bool force = false);
};
 
} // namespace probfd
 
#endif // PROBFD_PROGRESS_REPORT_H