Uses of Interface
de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceExporter

Packages that use StateSpaceExporter

Package	Description
de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat

Uses of StateSpaceExporter in de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat

Classes in de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat that implement StateSpaceExporter

Modifier and Type	Class and Description
class	JsonStateSpaceExporter Exports a state space to a JSON file.