Class SolveWrapper


  • public class SolveWrapper
    extends java.lang.Object
    • Field Detail

      • swigCMemOwn

        protected transient boolean swigCMemOwn
    • Constructor Detail

      • SolveWrapper

        public SolveWrapper​(long cPtr,
                            boolean cMemoryOwn)
      • SolveWrapper

        public SolveWrapper()
    • Method Detail

      • getCPtr

        public static long getCPtr​(SolveWrapper obj)
      • swigRelease

        public static long swigRelease​(SolveWrapper obj)
      • finalize

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

        public void delete()
      • setParameters

        public void setParameters​(SatParameters parameters)
      • addSolutionCallback

        public void addSolutionCallback​(SolutionCallback callback)
      • clearSolutionCallback

        public void clearSolutionCallback​(SolutionCallback callback)
      • addLogCallback

        public void addLogCallback​(java.util.function.Consumer<java.lang.String> log_callback)
      • stopSearch

        public void stopSearch()