From 5cc76af4d9e0d18759c88218c185fad7ab033822 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 14 May 2012 11:16:44 -0700 Subject: [PATCH] action: add comparison operator for ModelAction The operator simply compares the sequence number. Useful for some simple model-checking tests. --- action.h | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/action.h b/action.h index 530436d..9ba9c63 100644 --- a/action.h +++ b/action.h @@ -29,7 +29,7 @@ public: action_type get_type() { return type; } memory_order get_mo() { return order; } void * get_location() { return location; } - int get_seq_number() { return seq_number; } + int get_seq_number() const { return seq_number; } TreeNode * get_treenode() { return treenode; } void set_node(TreeNode *n) { treenode = n; } @@ -42,6 +42,13 @@ public: bool same_var(ModelAction *act); bool same_thread(ModelAction *act); bool is_dependent(ModelAction *act); + + inline bool operator <(const ModelAction& act) const { + return get_seq_number() < act.get_seq_number(); + } + inline bool operator >(const ModelAction& act) const { + return get_seq_number() > act.get_seq_number(); + } private: action_type type; memory_order order; -- 2.34.1