Support symbolic (STS) exploration

[rensink]

Currently, the RemoteStrategy can be started, which uses the SymbolicStrategy to create an STS and then sends this STS to a remote host. Axel suggested it would also be useful to save a gps as an STS, similarly to how you would save the gps as an LTS.

The 'save as STS' option would start a dialog where the user can select a file and a format (only JSON for now) and click save. Then it would have to start the SymbolicStrategy, then call getSTS().toJSON() to obtain a string representation of the STS. Currently only JSON is supported, but this could easily be extended to other formats as well.

Reported by: vincentdebruijn

[rensink]

It is more natural to only add functionality to export an already explored grammar as STS. This is probably just a matter of writing a new exporter; of course the file format should be well-defined.

Original comment by: rensink

[rensink]

• assigned_to: nobody --> rensink

Original comment by: rensink

[rensink]

It's not just the saving of STSs but also their proper handling (including display) in the Simulator that should be rethought.

Original comment by: rensink

[rensink]

• summary: Save as STS --> Support symbolic (STS) exploration

Original comment by: rensink

[rensink]

• Group: --> None

Original comment by: rensink