public ConfigurationInfo.Multiplicity getMultiplicity(Sort sort) { return cfg.getMultiplicity(sort); }
public ConfigurationInfo.Multiplicity getMultiplicity(KLabel label) { return cfg.getMultiplicity(labels.getCodomain(label)); } public ConfigurationInfo.Multiplicity getMultiplicity(Sort sort) {