X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=era.mi%2Fsrc%2Fera%2Fmi%2Flogic%2Ftypes%2FStrictLogicType.java;fp=era.mi%2Fsrc%2Fera%2Fmi%2Flogic%2Ftypes%2FStrictLogicType.java;h=0000000000000000000000000000000000000000;hb=a28f7aa0dab4248e99159c5a647676170cb17a4e;hp=560bb96fde7d252d9c48e54b4c14137cc7a036a0;hpb=80bfbd8ebf0ad8a7ad98584544a0c73f43e6f3b6;p=Mograsim.git

diff --git a/era.mi/src/era/mi/logic/types/StrictLogicType.java b/era.mi/src/era/mi/logic/types/StrictLogicType.java
deleted file mode 100644
index 560bb96f..00000000
--- a/era.mi/src/era/mi/logic/types/StrictLogicType.java
+++ /dev/null
@@ -1,14 +0,0 @@
-package era.mi.logic.types;
-
-/**
- * Interface for types that support the basic logic operations only among themselves, making it mathematically closed
- * 
- * @author Christian Femers
- * @see LogicType
- *
- * @param <T> the logic type itself to make the operations closed
- */
-public interface StrictLogicType<T extends StrictLogicType<T>> extends LogicType<T, T>
-{
-	// this is just a matter of type parameters
-}