public code v1

2026-05-23 00:32:57 +02:00
commit 759a8968a2
4357 changed files with 163763 additions and 0 deletions
@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+   <extension
+         point="flintstones.operator.normalization">
+      <normalization_operator
+            uid="flintstones.operator.normalization.numeric.ideal"
+            implementation="flintstones.operator.normalization.numeric.ideal.IdealNormalizationOperator">
+         <matching_valuation
+               valuationId="flintstones.valuation.integer">
+         </matching_valuation>
+         <matching_valuation
+               valuationId="flintstones.valuation.real">
+         </matching_valuation>
+      </normalization_operator>
+   </extension>
+
+</plugin>