- int num = 0; // unique id of that state in the storage of all stored IDs
- int original_num = -1; // num field of the VisitedState to which I was declared equal to (used for dot_output)
+ long num = 0; // unique id of that state in the storage of all stored IDs
+ long original_num = -1; // num field of the VisitedState to which I was declared equal to (used for dot_output)