memory_interface.hpp

Go to the documentation of this file.

 
#ifndef MEMORY_INTERFACE_HPP_
#define MEMORY_INTERFACE_HPP_
 
#include <cstddef>
#include <map>
#include <vector>
 
namespace libsnark
{
 
typedef std::map<size_t, size_t> memory_contents;
 
class memory_interface
{
public:
    size_t num_addresses;
    size_t value_size;
 
    memory_interface(const size_t num_addresses, const size_t value_size)
        : num_addresses(num_addresses), value_size(value_size)
    {
    }
    memory_interface(
        const size_t num_addresses,
        const size_t value_size,
        const std::vector<size_t> &contents_as_vector);
    memory_interface(
        const size_t num_addresses,
        const size_t value_size,
        const memory_contents &contents);
 
    virtual size_t get_value(const size_t address) const = 0;
    virtual void set_value(const size_t address, const size_t value) = 0;
};
 
} // namespace libsnark
 
#endif // MEMORY_INTERFACE_HPP_