Java Reference

Java Reference

Detailed Description

Definition at line 13 of file SatHelper.java.

Public Member Functions

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

Static Public Member Functions

static com.google.ortools.sat.CpSolverResponse solve (com.google.ortools.sat.CpModelProto model_proto)
 
static com.google.ortools.sat.CpSolverResponse solveWithParameters (com.google.ortools.sat.CpModelProto model_proto, com.google.ortools.sat.SatParameters parameters)
 
static com.google.ortools.sat.CpSolverResponse solveWithParametersAndSolutionCallback (com.google.ortools.sat.CpModelProto model_proto, com.google.ortools.sat.SatParameters parameters, SolutionCallback callback)
 
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)
 

Constructor & Destructor Documentation

◆ SatHelper() [1/2]

SatHelper ( long  cPtr,
boolean  cMemoryOwn 
)

Definition at line 17 of file SatHelper.java.

◆ SatHelper() [2/2]

SatHelper ( )

Definition at line 100 of file SatHelper.java.

Member Function Documentation

◆ delete()

synchronized void delete ( )

Definition at line 31 of file SatHelper.java.

◆ modelStats()

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

Definition at line 80 of file SatHelper.java.

◆ solve()

Definition at line 41 of file SatHelper.java.

◆ solverResponseStats()

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

Definition at line 84 of file SatHelper.java.

◆ solveWithParameters()

Definition at line 54 of file SatHelper.java.

◆ solveWithParametersAndSolutionCallback()

static com.google.ortools.sat.CpSolverResponse solveWithParametersAndSolutionCallback ( com.google.ortools.sat.CpModelProto  model_proto,
com.google.ortools.sat.SatParameters  parameters,
SolutionCallback  callback 
)
static

Definition at line 67 of file SatHelper.java.

◆ validateModel()

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

Definition at line 88 of file SatHelper.java.

◆ variableDomain()

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

Definition at line 92 of file SatHelper.java.

◆ writeModelToFile()

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

Definition at line 96 of file SatHelper.java.


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