X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;h=f26100bad0e359459bf18263009028aa8a28f4e0;hb=4f0f0dbbeb4a965ac5fb8e6e30d8fcc1cd99eff6;hp=1a8bbbe9f371cc2bef422ec2218e96f989fb28a8;hpb=f9e2e3a893918a431d3af1e6657cd08260e31941;p=model-checker.git diff --git a/nodestack.h b/nodestack.h index 1a8bbbe..f26100b 100644 --- a/nodestack.h +++ b/nodestack.h @@ -54,7 +54,8 @@ typedef enum { */ class Node { public: - Node(ModelAction *act, Node *par, int nthreads, Node *prevfairness); + Node(const struct model_params *params, ModelAction *act, Node *par, + int nthreads, Node *prevfairness); ~Node(); /* return true = thread choice has already been explored */ bool has_been_explored(thread_id_t tid) const; @@ -134,9 +135,12 @@ private: bool future_value_empty() const; bool increment_future_value(); read_from_type_t read_from_status; + const struct model_params * get_params() const { return params; } ModelAction * const action; + const struct model_params * const params; + /** @brief ATOMIC_UNINIT action which was created at this Node */ ModelAction *uninit_action; @@ -202,6 +206,8 @@ public: private: node_list_t node_list; + const struct model_params * get_params() const; + /** @brief The model-checker execution object */ const ModelExecution *execution;