Class ConfigurationConstants.ATL_ATTRIBUT_SPEZIFIKATION_PLAUSIBILITAETS_PRUEFUNG_FORMAL

  • Enclosing class:
    ConfigurationConstants

    public static class ConfigurationConstants.ATL_ATTRIBUT_SPEZIFIKATION_PLAUSIBILITAETS_PRUEFUNG_FORMAL
    extends java.lang.Object
    Attributspezifikation für PL-Formal