search

alessioferrari / tram

a framework for transforming and reusing requirements models
0 stars 0 forks source link

Index for subtree roots #3

Open alessioferrari opened 10 years ago

alessioferrari commented 10 years ago

The system shall provide an index for subtree roots

alessioferrari commented 10 years ago

We might have to map the model to an internal tree structure to get subrees in an automated way. It is required to try to perform some transformations on the model, to check if the library allows this.

alessioferrari commented 10 years ago

In order to check if a node is a leaf, we have to check if it has no refinement nodes among its children