supermajority_checker.hpp

Go to the documentation of this file.

#ifndef IROHA_CONSENSUS_SUPERMAJORITY_CHECKER_HPP
#define IROHA_CONSENSUS_SUPERMAJORITY_CHECKER_HPP

#include <memory>
#include <vector>

#include <boost/range/any_range.hpp>
#include "consensus/yac/consistency_model.hpp"
#include "consensus/yac/yac_types.hpp"
#include "interfaces/common_objects/range_types.hpp"
#include "interfaces/common_objects/types.hpp"

namespace shared_model::interface {
  class Peer;
}  // namespace shared_model::interface

namespace iroha::consensus::yac {
  class SupermajorityChecker {
   public:
    using VoteGroups = boost::any_range<PeersNumberType,
                                        boost::forward_traversal_tag,
                                        // reference type must be const for
                                        // transform_iterator to be able to
                                        // assign to any_iterator safely
                                        const PeersNumberType,
                                        std::ptrdiff_t>;

    virtual ~SupermajorityChecker() = default;

    virtual bool hasSupermajority(PeersNumberType current,
                                  PeersNumberType all) const = 0;

    virtual bool isTolerated(PeersNumberType number,
                             PeersNumberType all) const = 0;

    virtual bool canHaveSupermajority(const VoteGroups &votes,
                                      PeersNumberType all) const = 0;
  };

  std::unique_ptr<SupermajorityChecker> getSupermajorityChecker(
      ConsistencyModel c);
}  // namespace iroha::consensus::yac

#endif  // IROHA_CONSENSUS_SUPERMAJORITY_CHECKER_HPP