A representation of the model object '
Project'.
The following features are supported:
- {@link ClassicalB.Project#getMachines Machines}
- {@link ClassicalB.Project#getRefinements Refinements}
- {@link ClassicalB.Project#getImplementations Implementations}
@see ClassicalB.ClassicalBPackage#getProject()
@model
@generated