aufräumen

2018-03-13 14:53:27 +01:00 · 2018-03-13 14:53:27 +01:00 · 4a2b901465
commit 4a2b901465
parent 123f94aea7
1 changed files with 0 additions and 2 deletions
--- a/src/de/dhbwstuttgart/sat/asp/model/ASPRule.java
+++ b/src/de/dhbwstuttgart/sat/asp/model/ASPRule.java
@ -1,12 +1,10 @@
 package de.dhbwstuttgart.sat.asp.model;

 public enum ASPRule {
-    ASP_GENERIC_TYPE_NAME("genericType"),
    ASP_PAIR_EQUALS_NAME("equals"),
    ASP_PAIR_SMALLER_NAME("smaller"),
    ASP_PAIR_SMALLER_DOT_NAME("smallerDot"),
    ASP_PARAMLIST_NAME("param"),
-    ASP_PARAMLISTNUMERATION_NAME("paramNum"),
    ASP_PARAMLIST_END_POINTER("null"),
    ASP_TYPE("type"),
    ASP_FCTYPE("typeFC"),