Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
com.google.ortools.sat.CpSatHelper Class Reference

Public Member Functions

 CpSatHelper (long cPtr, boolean cMemoryOwn)
 
synchronized void delete ()
 
 CpSatHelper ()
 

Static Public Member Functions

static long getCPtr (CpSatHelper obj)
 
static long swigRelease (CpSatHelper obj)
 
static String modelStats (com.google.ortools.sat.CpModelProto model_proto)
 
static String solverResponseStats (com.google.ortools.sat.CpSolverResponse response)
 
static String validateModel (com.google.ortools.sat.CpModelProto model_proto)
 
static Domain variableDomain (com.google.ortools.sat.IntegerVariableProto variable_proto)
 
static boolean writeModelToFile (com.google.ortools.sat.CpModelProto model_proto, String filename)
 

Protected Member Functions

void finalize ()
 

Protected Attributes

transient boolean swigCMemOwn
 

Detailed Description

Definition at line 13 of file CpSatHelper.java.

Constructor & Destructor Documentation

◆ CpSatHelper() [1/2]

com.google.ortools.sat.CpSatHelper.CpSatHelper ( long cPtr,
boolean cMemoryOwn )

Definition at line 17 of file CpSatHelper.java.

◆ CpSatHelper() [2/2]

com.google.ortools.sat.CpSatHelper.CpSatHelper ( )

Definition at line 73 of file CpSatHelper.java.

Member Function Documentation

◆ delete()

synchronized void com.google.ortools.sat.CpSatHelper.delete ( )

Definition at line 43 of file CpSatHelper.java.

◆ finalize()

void com.google.ortools.sat.CpSatHelper.finalize ( )
protected

Definition at line 39 of file CpSatHelper.java.

◆ getCPtr()

static long com.google.ortools.sat.CpSatHelper.getCPtr ( CpSatHelper obj)
static

Definition at line 22 of file CpSatHelper.java.

◆ modelStats()

static String com.google.ortools.sat.CpSatHelper.modelStats ( com.google.ortools.sat.CpModelProto model_proto)
static

Definition at line 53 of file CpSatHelper.java.

◆ solverResponseStats()

static String com.google.ortools.sat.CpSatHelper.solverResponseStats ( com.google.ortools.sat.CpSolverResponse response)
static

Definition at line 57 of file CpSatHelper.java.

◆ swigRelease()

static long com.google.ortools.sat.CpSatHelper.swigRelease ( CpSatHelper obj)
static

Definition at line 26 of file CpSatHelper.java.

◆ validateModel()

static String com.google.ortools.sat.CpSatHelper.validateModel ( com.google.ortools.sat.CpModelProto model_proto)
static

Definition at line 61 of file CpSatHelper.java.

◆ variableDomain()

static Domain com.google.ortools.sat.CpSatHelper.variableDomain ( com.google.ortools.sat.IntegerVariableProto variable_proto)
static

Definition at line 65 of file CpSatHelper.java.

◆ writeModelToFile()

static boolean com.google.ortools.sat.CpSatHelper.writeModelToFile ( com.google.ortools.sat.CpModelProto model_proto,
String filename )
static

Definition at line 69 of file CpSatHelper.java.

Member Data Documentation

◆ swigCMemOwn

transient boolean com.google.ortools.sat.CpSatHelper.swigCMemOwn
protected

Definition at line 15 of file CpSatHelper.java.

The documentation for this class was generated from the following file: