Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Google.OrTools.Sat.operations_research_satPINVOKE Class Reference

Classes

class  SWIGExceptionHelper
 
class  SWIGPendingException
 
class  SWIGStringHelper
 

Public Member Functions

static void delete_SolutionCallback (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static void SolutionCallback_OnSolutionCallback (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static long SolutionCallback_NumBooleans (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static long SolutionCallback_NumBranches (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static long SolutionCallback_NumConflicts (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static long SolutionCallback_NumBinaryPropagations (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static long SolutionCallback_NumIntegerPropagations (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static double SolutionCallback_WallTime (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static double SolutionCallback_UserTime (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static double SolutionCallback_ObjectiveValue (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static double SolutionCallback_BestObjectiveBound (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static long SolutionCallback_SolutionIntegerValue (global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
 
static bool SolutionCallback_SolutionBooleanValue (global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2)
 
static void SolutionCallback_StopSearch (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static System.IntPtr SolutionCallback_Response (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static global::System.IntPtr new_SolutionCallback ()
 
static void SolutionCallback_director_connect (global::System.Runtime.InteropServices.HandleRef jarg1, SolutionCallback.SwigDelegateSolutionCallback_0 delegate0)
 
static void delete_LogCallback (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static void LogCallback_NewMessage (global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2)
 
static global::System.IntPtr new_LogCallback ()
 
static void LogCallback_director_connect (global::System.Runtime.InteropServices.HandleRef jarg1, LogCallback.SwigDelegateLogCallback_0 delegate0)
 
static void SolveWrapper_SetStringParameters (global::System.Runtime.InteropServices.HandleRef jarg1, string jarg2)
 
static void SolveWrapper_AddSolutionCallback (global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
 
static void SolveWrapper_ClearSolutionCallback (global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
 
static void SolveWrapper_AddLogCallbackFromClass (global::System.Runtime.InteropServices.HandleRef jarg1, global::System.Runtime.InteropServices.HandleRef jarg2)
 
static System.IntPtr SolveWrapper_Solve (global::System.Runtime.InteropServices.HandleRef jarg1, int model_proto_size, byte[] jarg2)
 
static void SolveWrapper_StopSearch (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static global::System.IntPtr new_SolveWrapper ()
 
static void delete_SolveWrapper (global::System.Runtime.InteropServices.HandleRef jarg1)
 
static string CpSatHelper_ModelStats (int model_proto_size, byte[] jarg1)
 
static string CpSatHelper_SolverResponseStats (int response_size, byte[] jarg1)
 
static string CpSatHelper_ValidateModel (int model_proto_size, byte[] jarg1)
 
static global::System.IntPtr CpSatHelper_VariableDomain (int variable_proto_size, byte[] jarg1)
 
static bool CpSatHelper_WriteModelToFile (int model_proto_size, byte[] jarg1, string jarg2)
 
static global::System.IntPtr new_CpSatHelper ()
 
static void delete_CpSatHelper (global::System.Runtime.InteropServices.HandleRef jarg1)
 

Static Protected Attributes

static SWIGExceptionHelper swigExceptionHelper = new SWIGExceptionHelper()
 
static SWIGStringHelper swigStringHelper = new SWIGStringHelper()
 

Detailed Description

Definition at line 15 of file operations_research_satPINVOKE.cs.

Member Function Documentation

◆ CpSatHelper_ModelStats()

static string Google.OrTools.Sat.operations_research_satPINVOKE.CpSatHelper_ModelStats ( int model_proto_size,
byte[] jarg1 )

◆ CpSatHelper_SolverResponseStats()

static string Google.OrTools.Sat.operations_research_satPINVOKE.CpSatHelper_SolverResponseStats ( int response_size,
byte[] jarg1 )

◆ CpSatHelper_ValidateModel()

static string Google.OrTools.Sat.operations_research_satPINVOKE.CpSatHelper_ValidateModel ( int model_proto_size,
byte[] jarg1 )

◆ CpSatHelper_VariableDomain()

static global.System.IntPtr Google.OrTools.Sat.operations_research_satPINVOKE.CpSatHelper_VariableDomain ( int variable_proto_size,
byte[] jarg1 )

◆ CpSatHelper_WriteModelToFile()

static bool Google.OrTools.Sat.operations_research_satPINVOKE.CpSatHelper_WriteModelToFile ( int model_proto_size,
byte[] jarg1,
string jarg2 )

◆ delete_CpSatHelper()

static void Google.OrTools.Sat.operations_research_satPINVOKE.delete_CpSatHelper ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ delete_LogCallback()

static void Google.OrTools.Sat.operations_research_satPINVOKE.delete_LogCallback ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ delete_SolutionCallback()

static void Google.OrTools.Sat.operations_research_satPINVOKE.delete_SolutionCallback ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ delete_SolveWrapper()

static void Google.OrTools.Sat.operations_research_satPINVOKE.delete_SolveWrapper ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ LogCallback_director_connect()

static void Google.OrTools.Sat.operations_research_satPINVOKE.LogCallback_director_connect ( global::System.Runtime.InteropServices.HandleRef jarg1,
LogCallback.SwigDelegateLogCallback_0 delegate0 )

◆ LogCallback_NewMessage()

static void Google.OrTools.Sat.operations_research_satPINVOKE.LogCallback_NewMessage ( global::System.Runtime.InteropServices.HandleRef jarg1,
string jarg2 )

◆ new_CpSatHelper()

static global.System.IntPtr Google.OrTools.Sat.operations_research_satPINVOKE.new_CpSatHelper ( )

◆ new_LogCallback()

static global.System.IntPtr Google.OrTools.Sat.operations_research_satPINVOKE.new_LogCallback ( )

◆ new_SolutionCallback()

static global.System.IntPtr Google.OrTools.Sat.operations_research_satPINVOKE.new_SolutionCallback ( )

◆ new_SolveWrapper()

static global.System.IntPtr Google.OrTools.Sat.operations_research_satPINVOKE.new_SolveWrapper ( )

◆ SolutionCallback_BestObjectiveBound()

static double Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_BestObjectiveBound ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_director_connect()

static void Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_director_connect ( global::System.Runtime.InteropServices.HandleRef jarg1,
SolutionCallback.SwigDelegateSolutionCallback_0 delegate0 )

◆ SolutionCallback_NumBinaryPropagations()

static long Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_NumBinaryPropagations ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_NumBooleans()

static long Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_NumBooleans ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_NumBranches()

static long Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_NumBranches ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_NumConflicts()

static long Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_NumConflicts ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_NumIntegerPropagations()

static long Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_NumIntegerPropagations ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_ObjectiveValue()

static double Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_ObjectiveValue ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_OnSolutionCallback()

static void Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_OnSolutionCallback ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_Response()

static System.IntPtr Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_Response ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_SolutionBooleanValue()

static bool Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_SolutionBooleanValue ( global::System.Runtime.InteropServices.HandleRef jarg1,
int jarg2 )

◆ SolutionCallback_SolutionIntegerValue()

static long Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_SolutionIntegerValue ( global::System.Runtime.InteropServices.HandleRef jarg1,
int jarg2 )

◆ SolutionCallback_StopSearch()

static void Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_StopSearch ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_UserTime()

static double Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_UserTime ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolutionCallback_WallTime()

static double Google.OrTools.Sat.operations_research_satPINVOKE.SolutionCallback_WallTime ( global::System.Runtime.InteropServices.HandleRef jarg1)

◆ SolveWrapper_AddLogCallbackFromClass()

static void Google.OrTools.Sat.operations_research_satPINVOKE.SolveWrapper_AddLogCallbackFromClass ( global::System.Runtime.InteropServices.HandleRef jarg1,
global::System.Runtime.InteropServices.HandleRef jarg2 )

◆ SolveWrapper_AddSolutionCallback()

static void Google.OrTools.Sat.operations_research_satPINVOKE.SolveWrapper_AddSolutionCallback ( global::System.Runtime.InteropServices.HandleRef jarg1,
global::System.Runtime.InteropServices.HandleRef jarg2 )

◆ SolveWrapper_ClearSolutionCallback()

static void Google.OrTools.Sat.operations_research_satPINVOKE.SolveWrapper_ClearSolutionCallback ( global::System.Runtime.InteropServices.HandleRef jarg1,
global::System.Runtime.InteropServices.HandleRef jarg2 )

◆ SolveWrapper_SetStringParameters()

static void Google.OrTools.Sat.operations_research_satPINVOKE.SolveWrapper_SetStringParameters ( global::System.Runtime.InteropServices.HandleRef jarg1,
string jarg2 )

◆ SolveWrapper_Solve()

static System.IntPtr Google.OrTools.Sat.operations_research_satPINVOKE.SolveWrapper_Solve ( global::System.Runtime.InteropServices.HandleRef jarg1,
int model_proto_size,
byte[] jarg2 )

◆ SolveWrapper_StopSearch()

static void Google.OrTools.Sat.operations_research_satPINVOKE.SolveWrapper_StopSearch ( global::System.Runtime.InteropServices.HandleRef jarg1)

Member Data Documentation

◆ swigExceptionHelper

SWIGExceptionHelper Google.OrTools.Sat.operations_research_satPINVOKE.swigExceptionHelper = new SWIGExceptionHelper()
staticprotected

Definition at line 127 of file operations_research_satPINVOKE.cs.

◆ swigStringHelper

SWIGStringHelper Google.OrTools.Sat.operations_research_satPINVOKE.swigStringHelper = new SWIGStringHelper()
staticprotected

Definition at line 191 of file operations_research_satPINVOKE.cs.


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