refactor the classes for the transformation to flatten structures
Refactor this class - org.fortiss.af3.state.generator.nusmv.FlattenStructureExpression
(from redmine: issue id 3647, created on 2019-02-23)
Refactor this class - org.fortiss.af3.state.generator.nusmv.FlattenStructureExpression
(from redmine: issue id 3647, created on 2019-02-23)