ToInt ===== .. java:package:: fr.inria.tapenade.utils :noindex: .. java:type:: public final class ToInt An object around an int, which can thus be modified. Constructors ------------ ToInt ^^^^^ .. java:constructor:: public ToInt(int value) :outertype: ToInt Creation, with initial value. Methods ------- get ^^^ .. java:method:: public int get() :outertype: ToInt :return: the value. set ^^^ .. java:method:: public void set(int value) :outertype: ToInt Set the value. toString ^^^^^^^^ .. java:method:: @Override public String toString() :outertype: ToInt