From c81319135d46706dbe17c1ee5379dad26e62fdef Mon Sep 17 00:00:00 2001 From: Jip Spel Date: Thu, 20 Sep 2018 10:22:46 +0200 Subject: [PATCH] Make enum for constants --- src/storm-pars/analysis/Lattice.h | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/src/storm-pars/analysis/Lattice.h b/src/storm-pars/analysis/Lattice.h index 42a4802cb..37a86ea5e 100644 --- a/src/storm-pars/analysis/Lattice.h +++ b/src/storm-pars/analysis/Lattice.h @@ -129,15 +129,12 @@ namespace storm { /*! * Constants for comparison of nodes/states */ - static const int UNKNOWN = -1; - static const int BELOW = 2; - static const int ABOVE = 1; - static const int SAME = 0; - - protected: - void addBelow(uint_fast64_t state, Node* node); - - void addAbove(uint_fast64_t state, Node* node); + enum { + UNKNOWN = -1, + BELOW = 2, + ABOVE = 1, + SAME = 0, + }; private: std::vector nodes;