Class SolveWrapper

java.lang.Object
com.google.ortools.sat.SolveWrapper

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

    • swigCMemOwn

      protected transient boolean swigCMemOwn
  • Constructor Details

    • SolveWrapper

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

      public SolveWrapper()
  • Method Details

    • getCPtr

      protected static long getCPtr​(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)
    • solve

      public CpSolverResponse solve​(CpModelProto model_proto)
    • stopSearch

      public void stopSearch()