Renamed project to MoGraSim

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

diff --git a/era.mi/src/mograsim/logic/core/types/StrictLogicType.java b/era.mi/src/mograsim/logic/core/types/StrictLogicType.java
new file mode 100644 (file)
index 0000000..91cb10f
--- /dev/null
+++ b/era.mi/src/mograsim/logic/core/types/StrictLogicType.java
@@ -0,0 +1,14 @@
+package mograsim.logic.core.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
+}