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 GaussianIntegerGI_0static GaussianIntegerGI_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()
-