Refactored the building of the state space builder, so that it is more general, we can now do the same for the utilisations and possibly even initial state. We have essentially implemented a visitor pattern for parsed models, which will be much nicer than constantly implementing new recursive definitions for all kinds of builders
Refactored the building of the state space builder, so that it is more general, we can now do the same for the utilisations and possibly even initial state. We have essentially implemented a visitor pattern for parsed models, which will be much nicer than
constantly implementing new recursive definitions for all kinds of builders

ageorgou/pepapot,allanderek/pepapot,ageorgou/pepapot,allanderek/pepapot