Class SolutionCallback

java.lang.Object
com.google.ortools.sat.SolutionCallback
Direct Known Subclasses:
CpSolverSolutionCallback

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

    • swigCMemOwn

      protected transient boolean swigCMemOwn
  • Constructor Details

    • SolutionCallback

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

      public SolutionCallback()
  • Method Details

    • getCPtr

      protected static long getCPtr​(SolutionCallback obj)
    • finalize

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

      public void delete()
    • swigDirectorDisconnect

      protected void swigDirectorDisconnect()
    • swigReleaseOwnership

      public void swigReleaseOwnership()
    • swigTakeOwnership

      public void swigTakeOwnership()
    • onSolutionCallback

      public void onSolutionCallback()
    • numBooleans

      public long numBooleans()
    • numBranches

      public long numBranches()
    • numConflicts

      public long numConflicts()
    • numBinaryPropagations

      public long numBinaryPropagations()
    • numIntegerPropagations

      public long numIntegerPropagations()
    • wallTime

      public double wallTime()
    • userTime

      public double userTime()
    • objectiveValue

      public double objectiveValue()
    • bestObjectiveBound

      public double bestObjectiveBound()
    • solutionIntegerValue

      public long solutionIntegerValue​(int index)
    • solutionBooleanValue

      public boolean solutionBooleanValue​(int index)
    • stopSearch

      public void stopSearch()