- cvmap=new HashTable<const ModelAction *, ClockVector *, uintptr_t, 4>();
- cycleset=new HashTable<const ModelAction *, const ModelAction *, uintptr_t, 4>();
- threadlists=new SnapVector<action_list_t>(1);
+ cvmap = new HashTable <const ModelAction *, ClockVector *, uintptr_t, 4>();
+ cycleset = new HashTable <const ModelAction *, const ModelAction *, uintptr_t, 4>();
+ threadlists = new SnapVector <action_list_t>(1);