as_waksman_routing_algorithm.hpp

Go to the documentation of this file.

 
#ifndef AS_WAKSMAN_ROUTING_ALGORITHM_HPP_
#define AS_WAKSMAN_ROUTING_ALGORITHM_HPP_
 
#include <cstddef>
#include <libff/common/utils.hpp>
#include <libsnark/common/data_structures/integer_permutation.hpp>
#include <map>
#include <vector>
 
namespace libsnark
{
 
typedef std::vector<std::vector<std::pair<size_t, size_t>>> as_waksman_topology;
 
typedef std::vector<std::map<size_t, bool>> as_waksman_routing;
 
size_t as_waksman_num_columns(const size_t num_packets);
 
as_waksman_topology generate_as_waksman_topology(const size_t num_packets);
 
as_waksman_routing get_as_waksman_routing(
    const integer_permutation &permutation);
 
bool valid_as_waksman_routing(
    const integer_permutation &permutation, const as_waksman_routing &routing);
 
} // namespace libsnark
 
#endif // AS_WAKSMAN_ROUTING_ALGORITHM_HPP_