DotNet Reference

DotNet Reference

SatHelper

Detailed Description

Definition at line 15 of file SatHelper.cs.

Public Member Functions

void Dispose ()
 
 SatHelper ()
 

Static Public Member Functions

static Google.OrTools.Sat.CpSolverResponse Solve (Google.OrTools.Sat.CpModelProto model_proto)
 
static Google.OrTools.Sat.CpSolverResponse SolveWithStringParameters (Google.OrTools.Sat.CpModelProto model_proto, string parameters)
 
static Google.OrTools.Sat.CpSolverResponse SolveWithStringParametersAndSolutionCallback (Google.OrTools.Sat.CpModelProto model_proto, string parameters, SolutionCallback callback)
 
static string ModelStats (Google.OrTools.Sat.CpModelProto model_proto)
 
static string SolverResponseStats (Google.OrTools.Sat.CpSolverResponse response)
 
static string ValidateModel (Google.OrTools.Sat.CpModelProto model_proto)
 
static Domain VariableDomain (Google.OrTools.Sat.IntegerVariableProto variable_proto)
 

Protected Member Functions

virtual void Dispose (bool disposing)
 

Protected Attributes

bool swigCMemOwn
 

Constructor & Destructor Documentation

◆ SatHelper()

SatHelper ( )
inline

Definition at line 129 of file SatHelper.cs.

Member Function Documentation

◆ Dispose() [1/2]

void Dispose ( )
inline

Definition at line 32 of file SatHelper.cs.

◆ Dispose() [2/2]

virtual void Dispose ( bool  disposing)
inlineprotectedvirtual

Definition at line 37 of file SatHelper.cs.

◆ ModelStats()

static string ModelStats ( Google.OrTools.Sat.CpModelProto  model_proto)
inlinestatic

Definition at line 109 of file SatHelper.cs.

◆ Solve()

static Google.OrTools.Sat.CpSolverResponse Solve ( Google.OrTools.Sat.CpModelProto  model_proto)
inlinestatic

Definition at line 49 of file SatHelper.cs.

◆ SolverResponseStats()

static string SolverResponseStats ( Google.OrTools.Sat.CpSolverResponse  response)
inlinestatic

Definition at line 114 of file SatHelper.cs.

◆ SolveWithStringParameters()

static Google.OrTools.Sat.CpSolverResponse SolveWithStringParameters ( Google.OrTools.Sat.CpModelProto  model_proto,
string  parameters 
)
inlinestatic

Definition at line 69 of file SatHelper.cs.

◆ SolveWithStringParametersAndSolutionCallback()

static Google.OrTools.Sat.CpSolverResponse SolveWithStringParametersAndSolutionCallback ( Google.OrTools.Sat.CpModelProto  model_proto,
string  parameters,
SolutionCallback  callback 
)
inlinestatic

Definition at line 89 of file SatHelper.cs.

◆ ValidateModel()

static string ValidateModel ( Google.OrTools.Sat.CpModelProto  model_proto)
inlinestatic

Definition at line 119 of file SatHelper.cs.

◆ VariableDomain()

static Domain VariableDomain ( Google.OrTools.Sat.IntegerVariableProto  variable_proto)
inlinestatic

Definition at line 124 of file SatHelper.cs.

Member Data Documentation

◆ swigCMemOwn

bool swigCMemOwn
protected

Definition at line 17 of file SatHelper.cs.


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