X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/02967a43024ce81912cd1ec96a800397457f8066:/paxos_protocol.h..refs/heads/iannucci:/include/paxos_protocol.h

diff --git a/paxos_protocol.h b/include/paxos_protocol.h
similarity index 83%
rename from paxos_protocol.h
rename to include/paxos_protocol.h
index 3e1fbcd..f3c50e2 100644
--- a/paxos_protocol.h
+++ b/include/paxos_protocol.h
@@ -1,8 +1,8 @@
 #ifndef paxos_protocol_h
 #define paxos_protocol_h
 
-#include "types.h"
-#include "rpc/rpc.h"
+#include "include/types.h"
+#include "include/rpc/rpc.h"
 
 struct prop_t {
     unsigned n;
@@ -23,13 +23,14 @@ namespace paxos_protocol {
     };
     using node_t = string;
     using nodes_t = std::vector<node_t>;
+    using view_t = unsigned;
     using value_t = string;
 
     REMOTE_PROCEDURE_BASE(0x11000);
     REMOTE_PROCEDURE(1, preparereq, (prepareres &, node_t, unsigned, prop_t));
     REMOTE_PROCEDURE(2, acceptreq, (bool &, node_t, unsigned, prop_t, value_t));
     REMOTE_PROCEDURE(3, decidereq, (int &, node_t, unsigned, value_t));
-    REMOTE_PROCEDURE(4, heartbeat, (int &, string, unsigned));
+    REMOTE_PROCEDURE(4, heartbeat, (view_t &, string, view_t));
 }
 
 #endif