In unregulated case, it is pretty straight-forward to interrupt TS generating (reached particular TS size/time limit) and store unprocessed states in a file (basically same approach as in indirect method). However, if regulations are included, the states become more complicated (identified by previously used rule/path) and this information needs to be included in the file.
In unregulated case, it is pretty straight-forward to interrupt TS generating (reached particular TS size/time limit) and store unprocessed states in a file (basically same approach as in indirect method). However, if regulations are included, the states become more complicated (identified by previously used rule/path) and this information needs to be included in the file.