Class RevInteger


  • public class RevInteger
    extends java.lang.Object
    This class adds reversibility to a POD type.
    It contains the stamp optimization. i.e. the SaveValue call is done
    only once per node of the search tree. Please note that actual
    stamps always starts at 1, thus an initial value of 0 will always
    trigger the first SaveValue.
    • Field Detail

      • swigCMemOwn

        protected transient boolean swigCMemOwn
    • Constructor Detail

      • RevInteger

        protected RevInteger​(long cPtr,
                             boolean cMemoryOwn)
      • RevInteger

        public RevInteger​(int val)
    • Method Detail

      • getCPtr

        protected static long getCPtr​(RevInteger obj)
      • swigRelease

        protected static long swigRelease​(RevInteger obj)
      • finalize

        protected void finalize()
        Overrides:
        finalize in class java.lang.Object
      • delete

        public void delete()
      • value

        public int value()
      • setValue

        public void setValue​(Solver s,
                             int val)