SearchLog.java

Go to the documentation of this file.

/* ----------------------------------------------------------------------------
 * This file was automatically generated by SWIG (https://www.swig.org).
 * Version 4.2.0
 *
 * Do not make changes to this file unless you know what you are doing - modify
 * the SWIG interface file instead.
 * ----------------------------------------------------------------------------- */
 
package com.google.ortools.constraintsolver;
 
// Used to wrap DisplayCallback (std::function<std::string()>)
// see https://docs.oracle.com/javase/8/docs/api/java/util/function/Supplier.html
import java.util.function.Supplier;
 
public class SearchLog extends SearchMonitor {
  private transient long swigCPtr;
 
  protected SearchLog(long cPtr, boolean cMemoryOwn) {
    super(mainJNI.SearchLog_SWIGUpcast(cPtr), cMemoryOwn);
    swigCPtr = cPtr;
  }
 
  protected static long getCPtr(SearchLog obj) {
    return (obj == null) ? 0 : obj.swigCPtr;
  }
 
  protected static long swigRelease(SearchLog obj) {
    long ptr = 0;
    if (obj != null) {
      if (!obj.swigCMemOwn)
        throw new RuntimeException("Cannot release ownership as memory is not owned");
      ptr = obj.swigCPtr;
      obj.swigCMemOwn = false;
      obj.delete();
    }
    return ptr;
  }
 
  @SuppressWarnings({"deprecation", "removal"})
  protected void finalize() {
    delete();
  }
 
  public synchronized void delete() {
    if (swigCPtr != 0) {
      if (swigCMemOwn) {
        swigCMemOwn = false;
        mainJNI.delete_SearchLog(swigCPtr);
      }
      swigCPtr = 0;
    }
    super.delete();
  }
 
  public SearchLog(Solver solver, IntVar[] vars, String vars_name, double[] scaling_factors, double[] offsets, Supplier<String> display_callback, boolean display_on_new_solutions_only, int period) {
    this(mainJNI.new_SearchLog(Solver.getCPtr(solver), solver, vars, vars_name, scaling_factors, offsets, display_callback, display_on_new_solutions_only, period), true);
  }
 
  public void enterSearch() {
    mainJNI.SearchLog_enterSearch(swigCPtr, this);
  }
 
  public void exitSearch() {
    mainJNI.SearchLog_exitSearch(swigCPtr, this);
  }
 
  public boolean atSolution() {
    return mainJNI.SearchLog_atSolution(swigCPtr, this);
  }
 
  public void beginFail() {
    mainJNI.SearchLog_beginFail(swigCPtr, this);
  }
 
  public void noMoreSolutions() {
    mainJNI.SearchLog_noMoreSolutions(swigCPtr, this);
  }
 
  public void AcceptUncheckedNeighbor() {
    mainJNI.SearchLog_AcceptUncheckedNeighbor(swigCPtr, this);
  }
 
  public void applyDecision(Decision decision) {
    mainJNI.SearchLog_applyDecision(swigCPtr, this, Decision.getCPtr(decision), decision);
  }
 
  public void refuteDecision(Decision decision) {
    mainJNI.SearchLog_refuteDecision(swigCPtr, this, Decision.getCPtr(decision), decision);
  }
 
  public void outputDecision() {
    mainJNI.SearchLog_outputDecision(swigCPtr, this);
  }
 
  public void maintain() {
    mainJNI.SearchLog_maintain(swigCPtr, this);
  }
 
  public void beginInitialPropagation() {
    mainJNI.SearchLog_beginInitialPropagation(swigCPtr, this);
  }
 
  public void endInitialPropagation() {
    mainJNI.SearchLog_endInitialPropagation(swigCPtr, this);
  }
 
  public String toString() {
    return mainJNI.SearchLog_toString(swigCPtr, this);
  }
 
}