Google.OrTools.Sat.CpSatHelper Class Reference

Inheritance diagram for Google.OrTools.Sat.CpSatHelper:

Public Member Functions
void	Dispose ()
	CpSatHelper ()

Static Public Member Functions
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

Detailed Description

Definition at line 17 of file CpSatHelper.cs.

Constructor & Destructor Documentation

CpSatHelper()

Google.OrTools.Sat.CpSatHelper.CpSatHelper ( )

inline

Definition at line 90 of file CpSatHelper.cs.

Member Function Documentation

Dispose() [1/2]

void Google.OrTools.Sat.CpSatHelper.Dispose ( )

inline

Definition at line 47 of file CpSatHelper.cs.

Dispose() [2/2]

virtual void Google.OrTools.Sat.CpSatHelper.Dispose ( bool disposing )

inlineprotectedvirtual

Definition at line 52 of file CpSatHelper.cs.

ModelStats()

static string Google.OrTools.Sat.CpSatHelper.ModelStats ( Google::OrTools::Sat::CpModelProto model_proto )

inlinestatic

Definition at line 64 of file CpSatHelper.cs.

SolverResponseStats()

static string Google.OrTools.Sat.CpSatHelper.SolverResponseStats ( Google::OrTools::Sat::CpSolverResponse response )

inlinestatic

Definition at line 69 of file CpSatHelper.cs.

ValidateModel()

static string Google.OrTools.Sat.CpSatHelper.ValidateModel ( Google::OrTools::Sat::CpModelProto model_proto )

inlinestatic

Definition at line 74 of file CpSatHelper.cs.

VariableDomain()

static Domain Google.OrTools.Sat.CpSatHelper.VariableDomain ( Google::OrTools::Sat::IntegerVariableProto variable_proto )

inlinestatic

Definition at line 79 of file CpSatHelper.cs.

WriteModelToFile()

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

inlinestatic

Definition at line 84 of file CpSatHelper.cs.

Member Data Documentation

swigCMemOwn

bool Google.OrTools.Sat.CpSatHelper.swigCMemOwn

protected

Definition at line 19 of file CpSatHelper.cs.

---

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

• build/dotnet/Google.OrTools/ortools/sat/CpSatHelper.cs