net.mograsim.logic.core/src/net/mograsim/logic/core/types/StrictLogicType.java

   1 package net.mograsim.logic.core.types;
   2
   3 /**
   4  * Interface for types that support the basic logic operations only among themselves, making it mathematically closed
   5  *
   6  * @author Christian Femers
   7  * @see LogicType
   8  *
   9  * @param <T> the logic type itself to make the operations closed
  10  */
  11 public interface StrictLogicType<T extends StrictLogicType<T>> extends LogicType<T, T>
  12 {
  13         // this is just a matter of type parameters
  14 }