model: change constructor assignments to initializer list

Apparently this is a nice C++ feature I didn't know of. Not much use here,
but there will be other uses...

diff --git a/model.cc b/model.cc
index 53411c64199529dcea4e463d1bb058f2ea6898ab..142e862c0cbfd898a01d638eb9b4dbec9976bc68 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -39,21 +39,21 @@ void free_action_list(action_list_t *list)
 }
 
 ModelChecker::ModelChecker()
-{
-       /* First thread created will have id INITIAL_THREAD_ID */
-       next_thread_id = INITIAL_THREAD_ID;
-       used_sequence_numbers = 0;
+       :
        /* Initialize default scheduler */
-       scheduler = new Scheduler();
-
-       num_executions = 0;
-       current_action = NULL;
-       exploring = NULL;
-       nextThread = THREAD_ID_T_NONE;
-
-       rootNode = new TreeNode();
-       currentNode = rootNode;
-       action_trace = new action_list_t();
+       scheduler(new Scheduler()),
+       /* First thread created will have id INITIAL_THREAD_ID */
+       next_thread_id(INITIAL_THREAD_ID),
+       used_sequence_numbers(0),
+
+       num_executions(0),
+       current_action(NULL),
+       exploring(NULL),
+       nextThread(THREAD_ID_T_NONE),
+       action_trace(new action_list_t()),
+       rootNode(new TreeNode()),
+       currentNode(rootNode)
+{
 }
 
 ModelChecker::~ModelChecker()