Class ConfigurationConstants.ATL_PARAMETER_SATZ_PALUSIBILITAETS_PRUEFUNG_FORMAL

  • Enclosing class:
    ConfigurationConstants

    public static class ConfigurationConstants.ATL_PARAMETER_SATZ_PALUSIBILITAETS_PRUEFUNG_FORMAL
    extends java.lang.Object
    Parametersatz für PL-Formal