Class IntHolder
java.lang.Object
de.tilman_neumann.jml.factor.base.IntHolder
public class IntHolder
extends java.lang.Object
Class for holding counts. A holder class is better performance-wise than mapping counts as integers
since increments/decrements don't need to be remapped.
-
Field Details
-
value
public int value
-
-
Constructor Details
-
IntHolder
public IntHolder(int v)
-