Class CpSatHelper

java.lang.Object

com.google.ortools.sat.CpSatHelper

public class CpSatHelper
extends 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()
static long	getCPtr(CpSatHelper obj)
static String	modelStats(CpModelProto model_proto)
static String	solverResponseStats(CpSolverResponse response)
static long	swigRelease(CpSatHelper obj)
static String	validateModel(CpModelProto model_proto)
static Domain	variableDomain(IntegerVariableProto variable_proto)
static boolean	writeModelToFile(CpModelProto model_proto, 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

public static long getCPtr(CpSatHelper obj)

swigRelease

public static long swigRelease(CpSatHelper obj)

finalize

protected void finalize()

Overrides:

finalize in class Object

delete

public void delete()

modelStats

public static String modelStats(CpModelProto model_proto)

solverResponseStats

public static String solverResponseStats(CpSolverResponse response)

validateModel

public static String validateModel(CpModelProto model_proto)

variableDomain

public static Domain variableDomain(IntegerVariableProto variable_proto)

writeModelToFile

public static boolean writeModelToFile(CpModelProto model_proto,
 String filename)