projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: use get_write_value()
[model-checker.git]
/
nodestack.h
diff --git
a/nodestack.h
b/nodestack.h
index fc566d6dde8fd65561888899c3505babd79804b0..3cffac9c9b2219905020262302f4c580f9f03784 100644
(file)
--- a/
nodestack.h
+++ b/
nodestack.h
@@
-75,7
+75,9
@@
public:
int get_read_from_past_size() const;
void add_read_from_promise(const ModelAction *reader);
int get_read_from_past_size() const;
void add_read_from_promise(const ModelAction *reader);
- const Promise * get_read_from_promise() const;
+ Promise * get_read_from_promise() const;
+ Promise * get_read_from_promise(int i) const;
+ int get_read_from_promise_size() const;
bool add_future_value(struct future_value fv);
struct future_value get_future_value() const;
bool add_future_value(struct future_value fv);
struct future_value get_future_value() const;