projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
standardize names a little
[model-checker.git]
/
nodestack.cc
diff --git
a/nodestack.cc
b/nodestack.cc
index 4a6a26d5e2e7078ee74ab0636f7353d86f29f4e0..4ece1820ab86b35baad7c6ec1c7ee18b1a19c61b 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-67,7
+67,7
@@
bool Node::get_promise(uint32_t i) {
return (promises[i]==2);
}
return (promises[i]==2);
}
-bool Node::increment_promise
s
() {
+bool Node::increment_promise() {
for (unsigned int i=0;i<promises.size();i++) {
if (promises[i]==1) {
promises[i]=2;
for (unsigned int i=0;i<promises.size();i++) {
if (promises[i]==1) {
promises[i]=2;
@@
-82,7
+82,7
@@
bool Node::increment_promises() {
return false;
}
return false;
}
-bool Node::promise
s
_empty() {
+bool Node::promise_empty() {
for (unsigned int i=0;i<promises.size();i++)
if (promises[i]==1)
return false;
for (unsigned int i=0;i<promises.size();i++)
if (promises[i]==1)
return false;
@@
-108,7
+108,7
@@
bool Node::add_future_value(uint64_t value) {
* @return true if the future_values set is empty.
*/
* @return true if the future_values set is empty.
*/
-bool Node::future
values
_empty() {
+bool Node::future
_value
_empty() {
return ((future_index+1)>=future_values.size());
}
return ((future_index+1)>=future_values.size());
}
@@
-140,7
+140,7
@@
bool Node::backtrack_empty()
* Checks whether the readsfrom set for this node is empty.
* @return true if the readsfrom set is empty.
*/
* Checks whether the readsfrom set for this node is empty.
* @return true if the readsfrom set is empty.
*/
-bool Node::read
s
from_empty() {
+bool Node::read
_
from_empty() {
return ((read_from_index+1)>=may_read_from.size());
}
return ((read_from_index+1)>=may_read_from.size());
}
@@
-240,7
+240,7
@@
bool Node::increment_read_from() {
* @return Returns false if we have explored all values.
*/
* @return Returns false if we have explored all values.
*/
-bool Node::increment_future_value
s
() {
+bool Node::increment_future_value() {
future_index++;
return (future_index<future_values.size());
}
future_index++;
return (future_index<future_values.size());
}