DotNet Reference

.Net Reference

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)
 
static bool WriteModelToFile (Google.OrTools.Sat.CpModelProto model_proto, string filename)
 

Protected Member Functions

virtual void Dispose (bool disposing)
 

Protected Attributes

bool swigCMemOwn
 

Constructor & Destructor Documentation

◆ SatHelper()

SatHelper ( )
inline

Definition at line 135 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.

◆ WriteModelToFile()

static bool WriteModelToFile ( Google.OrTools.Sat.CpModelProto  model_proto,
string  filename 
)
inlinestatic

Definition at line 129 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: