From 32141451cba1b6f2ba68a443007e25d696e2bb9c Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 21 Jun 2012 02:38:31 -0700 Subject: [PATCH] clockvector: add const qualifiers --- clockvector.cc | 4 ++-- clockvector.h | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/clockvector.cc b/clockvector.cc index c7cc183f..95896ed3 100644 --- a/clockvector.cc +++ b/clockvector.cc @@ -75,7 +75,7 @@ void ClockVector::merge(ClockVector *cv) * thread, false otherwise. That is, this function returns: *
act <= cv[act->tid] */ -bool ClockVector::synchronized_since(ModelAction *act) +bool ClockVector::synchronized_since(ModelAction *act) const { int i = id_to_int(act->get_tid()); @@ -85,7 +85,7 @@ bool ClockVector::synchronized_since(ModelAction *act) } /** @brief Formats and prints this ClockVector's data. */ -void ClockVector::print() +void ClockVector::print() const { int i; printf("CV: ("); diff --git a/clockvector.h b/clockvector.h index 7f32b7e6..b7d72068 100644 --- a/clockvector.h +++ b/clockvector.h @@ -16,9 +16,9 @@ public: ClockVector(ClockVector *parent = NULL, ModelAction *act = NULL); ~ClockVector(); void merge(ClockVector *cv); - bool synchronized_since(ModelAction *act); + bool synchronized_since(ModelAction *act) const; - void print(); + void print() const; MEMALLOC private: -- 2.34.1