[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

States Found vs Distinct States


TLC progress report messages contains the number of states generated and
the number of distinct states found. Have I correctly assumed that the
latter to signifies the size of the set of different values-to-VARIABLES
assignments that TLC has encountered this far. But what exactly does the
value of "generated states" count and what is this value useful for?

Best Regards,
Jaak Ristioja