InfiniteSequence not found in transys_detailed_examples.py

[mengyuest]

Hi, I tried to run the code in examples/developer/transys/transys_detailed_examples.py but it failed because there was no InfiniteSequence. I also cannot find this class in the repo. Is it in a previous version and could you please point it out? Thanks.

[slivingston]

@mengyuest Does this issue still exist for you?

[slivingston]

I can reproduce the error. That example code is out-of-date. We warn about the directory developer/ in examples/README as an "unstable directory". In practice this manifests as files in that directory not being maintained as carefully as other examples in the directory examples/.

[johnyf]

Thank you for reporting this error. The class InfiniteSequence currently used in the module examples/developer/transys/transys_detailed_examples.py was defined at tulip.transys.executions.InfiniteSequence. The module tulip.transys.executions was removed in commit 3a244a4.

The definition of the class InfiniteSequence can be found at: 3a244a4#diff-9e3044f0a224f38f0a928662c8df3ee497a2d21354d707b0f22f5e20dca91576L52.

The example function sims_demo that used the removed module tulip.transys.executions, used also the class FiniteTransitionSystemSimulation. Reading the computations of the code that I wrote (and deleted in commit 3a244a4), and considering the issue mentioned in the commit message, it seems to me that the example function sims_demo, which depends on the deleted module tulip.transys.executions.InfiniteSequence, can be removed without loss of functionality (the function sims_demo involves infinite sequences with periodic tail, represented by a prefix and suffix).

[johnyf]

I now removed the function sims_demo. Functionality for simulating state machines can currently be found in the module tulip.transys.machines. For example, the functions guided_run and random_run (also, direct simulation using a for loop may be useful too, because it enables direct access to how the state of the simulation changes).