DotNet Reference
DotNet Reference
Public Member Functions |
Static Public Member Functions |
Protected Member Functions |
Protected Attributes |
List of all members
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()
|
inline |
Definition at line 129 of file SatHelper.cs.
Member Function Documentation
◆ Dispose() [1/2]
|
inline |
Definition at line 32 of file SatHelper.cs.
◆ Dispose() [2/2]
|
inlineprotectedvirtual |
Definition at line 37 of file SatHelper.cs.
◆ ModelStats()
|
inlinestatic |
Definition at line 109 of file SatHelper.cs.
◆ Solve()
|
inlinestatic |
Definition at line 49 of file SatHelper.cs.
◆ SolverResponseStats()
|
inlinestatic |
Definition at line 114 of file SatHelper.cs.
◆ SolveWithStringParameters()
|
inlinestatic |
Definition at line 69 of file SatHelper.cs.
◆ SolveWithStringParametersAndSolutionCallback()
|
inlinestatic |
Definition at line 89 of file SatHelper.cs.
◆ ValidateModel()
|
inlinestatic |
Definition at line 119 of file SatHelper.cs.
◆ VariableDomain()
|
inlinestatic |
Definition at line 124 of file SatHelper.cs.
Member Data Documentation
◆ swigCMemOwn
|
protected |
Definition at line 17 of file SatHelper.cs.
The documentation for this class was generated from the following file: