projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
ad660ce
)
action: add {get,set}_value(), assign default value
author
Brian Norris
<banorris@uci.edu>
Tue, 3 Jul 2012 16:23:11 +0000
(09:23 -0700)
committer
Brian Norris
<banorris@uci.edu>
Tue, 3 Jul 2012 18:36:58 +0000
(11:36 -0700)
action.h
patch
|
blob
|
history
diff --git
a/action.h
b/action.h
index 8ccebe395d5b0c7fdd2805fb0591e39e98b3ae65..e342e63271d223417e55393d4d8bc941b1d2a0ba 100644
(file)
--- a/
action.h
+++ b/
action.h
@@
-31,7
+31,7
@@
class ClockVector;
*/
class ModelAction {
public:
*/
class ModelAction {
public:
- ModelAction(action_type_t type, memory_order order, void *loc, int value);
+ ModelAction(action_type_t type, memory_order order, void *loc, int value
= VALUE_NONE
);
~ModelAction();
void print(void) const;
~ModelAction();
void print(void) const;
@@
-40,9
+40,11
@@
public:
memory_order get_mo() const { return order; }
void * get_location() const { return location; }
int get_seq_number() const { return seq_number; }
memory_order get_mo() const { return order; }
void * get_location() const { return location; }
int get_seq_number() const { return seq_number; }
+ int get_value() const { return value; }
Node * get_node() const { return node; }
void set_node(Node *n) { node = n; }
Node * get_node() const { return node; }
void set_node(Node *n) { node = n; }
+ void set_value(int val) { value = val; }
bool is_read() const;
bool is_write() const;
bool is_read() const;
bool is_write() const;