Renamed project to MoGraSim

[Mograsim.git] / era.mi / src / era / mi / logic / types / StrictLogicType.java

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 (file)
index 560bb96..0000000
--- 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
-}