CpSatHelper (com.google.ortools:ortools-java 9.0.9048 API)

java.lang.Object

com.google.ortools.sat.CpSatHelper

public class CpSatHelper
extends java.lang.Object

Field Summary

Fields

Modifier and Type Field Description

protected boolean swigCMemOwn
Constructor Summary

Constructors

Constructor Description

CpSatHelper()

CpSatHelper(long cPtr, boolean cMemoryOwn)

Method Summary

Modifier and Type	Method	Description
`void`	`delete()`
`protected void`	`finalize()`
`protected static long`	`getCPtr(CpSatHelper obj)`
`static java.lang.String`	`modelStats(CpModelProto model_proto)`
`static java.lang.String`	`solverResponseStats(CpSolverResponse response)`
`static java.lang.String`	`validateModel(CpModelProto model_proto)`
`static Domain`	`variableDomain(IntegerVariableProto variable_proto)`
`static boolean`	`writeModelToFile(CpModelProto model_proto, java.lang.String filename)`

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- swigCMemOwn
  
  protected transient boolean swigCMemOwn
Constructor Details
- CpSatHelper
  
  public CpSatHelper(long cPtr, boolean cMemoryOwn)
- CpSatHelper
  
  public CpSatHelper()
Method Details
- getCPtr
  
  protected static long getCPtr(CpSatHelper obj)
- finalize
  
  protected void finalize()
  
  Overrides:
  
  finalize in class java.lang.Object
- delete
  
  public void delete()
- modelStats
  
  public static java.lang.String modelStats(CpModelProto model_proto)
- solverResponseStats
  
  public static java.lang.String solverResponseStats(CpSolverResponse response)
- validateModel
  
  public static java.lang.String validateModel(CpModelProto model_proto)
- variableDomain
  
  public static Domain variableDomain(IntegerVariableProto variable_proto)
- writeModelToFile
  
  public static boolean writeModelToFile(CpModelProto model_proto, java.lang.String filename)