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