From: Lukáš Jiřiště <redacted>
Date: Wed, 22 Jul 2026 16:34:37 +0000 (+0200)
Subject: Make system definition richer
X-Git-Url: https://git.ljiriste.work/?a=commitdiff_plain;h=8b8d72471650eec9ef45ba64fc571d0722128810;p=KyciFTA

Make system definition richer

The system definition may now be the same as any file.
---

diff --git a/grammar b/grammar
index f7697b7..ce79320 100644
--- a/grammar
+++ b/grammar
@@ -4,9 +4,7 @@ statement -> atom
 statement -> system
 statement -> instantiation
 instantiation -> INSTANTIATE classname objectname
-system -> SYSTEM classname LEFT_PARA system_def RIGHT_PARA
-system_def -> instantiation system_def
-system_def -> fta_logic
+system -> SYSTEM classname LEFT_PARA fault_tree RIGHT_PARA
 fta_logic -> fta_sum
 fta_sum -> fta_product PLUS fta_sum
 fta_sum -> fta_product