Class GaussianIntegerConstants
java.lang.Object
de.tilman_neumann.jml.gaussianInteger.GaussianIntegerConstants
public class GaussianIntegerConstants
extends java.lang.Object
-
Field Summary
Fields Modifier and Type Field Description static GaussianInteger
GI_0
static GaussianInteger
GI_1
-
Constructor Summary
Constructors Constructor Description GaussianIntegerConstants()
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Field Details
-
GI_0
-
GI_1
-
-
Constructor Details
-
GaussianIntegerConstants
public GaussianIntegerConstants()
-