Package com.google.ortools.sat

Class CpSatHelper

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()
static long	getCPtr(CpSatHelper obj)
static java.lang.String	modelStats(CpModelProto model_proto)
static java.lang.String	solverResponseStats(CpSolverResponse response)
static long	swigRelease(CpSatHelper obj)
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 Detail

swigCMemOwn

protected transient boolean swigCMemOwn

Constructor Detail

CpSatHelper

public CpSatHelper(long cPtr,
                   boolean cMemoryOwn)

CpSatHelper

public CpSatHelper()

Method Detail

getCPtr

public static long getCPtr(CpSatHelper obj)

swigRelease

public static long swigRelease(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)