Class RevBool


  • public class RevBool
    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 Summary

      Fields 
      Modifier and Type Field Description
      protected boolean swigCMemOwn  
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
        RevBool​(boolean val)  
      protected RevBool​(long cPtr, boolean cMemoryOwn)  
    • Field Detail

      • swigCMemOwn

        protected transient boolean swigCMemOwn
    • Constructor Detail

      • RevBool

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

        public RevBool​(boolean val)
    • Method Detail

      • getCPtr

        protected static long getCPtr​(RevBool obj)
      • swigRelease

        protected static long swigRelease​(RevBool obj)
      • finalize

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

        public void delete()
      • value

        public boolean value()
      • setValue

        public void setValue​(Solver s,
                             boolean val)