From 888728d0396cb67f00d22c62c0cac8947ea5b380 Mon Sep 17 00:00:00 2001
From: raj_mathe <raj.dahya@math.uni-leipzig.de>
Date: Sat, 15 May 2021 10:58:23 +0200
Subject: [PATCH] master > master: codego - generics schema

---
 codego/grammars/aussagenlogik.g4 | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/codego/grammars/aussagenlogik.g4 b/codego/grammars/aussagenlogik.g4
index 3e43365..6f5cb2e 100644
--- a/codego/grammars/aussagenlogik.g4
+++ b/codego/grammars/aussagenlogik.g4
@@ -7,6 +7,7 @@ LBRACE: '(';
 RBRACE: ')';
 LCURLYBRACE: '{';
 RCURLYBRACE: '}';
+TEXT: [a-zA-Z0-9\\_];
 
 // Symbole (erlaube mehrere Varianten)
 SYMB_NOT:  ('!'|'~'|'not');
@@ -22,13 +23,13 @@ closed: atomic | not | LBRACE open RBRACE;
 open: and2 | and | or2 | or | implies | iff;
 
 // Schemata für atomische Ausdrücke
-atomic: taut | contradiction | atom; //| generic;
+atomic: taut | contradiction | atom | generic;
 taut:  ('1'|'true');
 contradiction: ('0'|'false');
 atom: 'A0' | 'A1' | 'A' NUMBER; // muss A0, A1 wegen falsum/verum extra auflisten
-// // als 'generische' Formeln schreibe bspw. {F}, {G}, {F1}, usw.
-// generic: LCURLYBRACE (~[{])+ RCURLYBRACE;
-// // FIXME: dieses Schema führt zu Konflikten
+// als 'generische' Formeln schreibe bspw. {F}, {G}, usw.
+generic: LCURLYBRACE TEXT+ RCURLYBRACE | LCURLYBRACE TEXT* ( generic TEXT* )+ RCURLYBRACE;
+// FIXME: liest Zahlen schlecht ein
 
 // Schema für Negation: ¬ F
 not:                symb=SYMB_NOT  closed;