memory_store_trace.hpp

Go to the documentation of this file.

 
#ifndef MEMORY_STORE_TRACE_HPP_
#define MEMORY_STORE_TRACE_HPP_
 
#include <libsnark/relations/ram_computations/memory/memory_interface.hpp>
 
namespace libsnark
{
 
typedef std::pair<size_t, size_t> address_and_value;
 
class memory_store_trace
{
private:
    std::map<size_t, address_and_value> entries;
 
public:
    memory_store_trace();
    address_and_value get_trace_entry(const size_t timestamp) const;
    std::map<size_t, address_and_value> get_all_trace_entries() const;
    void set_trace_entry(const size_t timestamp, const address_and_value &av);
 
    memory_contents as_memory_contents() const;
};
 
} // namespace libsnark
 
#endif // MEMORY_STORE_TRACE_HPP_