Select Git revision
RoleModelPattern.java
-
Thomas authored
contains a CompartmentType. Fixes #10 This is actually used for RoleModels to guarantee that there can only be one role model added, if the compartment type feature is disabled.
Thomas authoredcontains a CompartmentType. Fixes #10 This is actually used for RoleModels to guarantee that there can only be one role model added, if the compartment type feature is disabled.