DotNet Reference

.Net Reference

Detailed Description

Definition at line 13 of file operations_research_satPINVOKE.cs.

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 System.IntPtr SatHelper_Solve (int model_proto_size, byte[] jarg1)
 
static System.IntPtr SatHelper_SolveWithStringParameters (int model_proto_size, byte[] jarg1, string jarg2)
 
static System.IntPtr SatHelper_SolveWithStringParametersAndSolutionCallback (int model_proto_size, byte[] jarg1, string jarg2, global::System.Runtime.InteropServices.HandleRef jarg3)
 
static string SatHelper_ModelStats (int model_proto_size, byte[] jarg1)
 
static string SatHelper_SolverResponseStats (int response_size, byte[] jarg1)
 
static string SatHelper_ValidateModel (int model_proto_size, byte[] jarg1)
 
static global::System.IntPtr SatHelper_VariableDomain (int variable_proto_size, byte[] jarg1)
 
static bool SatHelper_WriteModelToFile (int model_proto_size, byte[] jarg1, string jarg2)
 
static global::System.IntPtr new_SatHelper ()
 
static void delete_SatHelper (global::System.Runtime.InteropServices.HandleRef jarg1)
 

Static Protected Attributes

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

Member Function Documentation

◆ delete_SatHelper()

static void delete_SatHelper ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ delete_SolutionCallback()

static void delete_SolutionCallback ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ new_SatHelper()

static global.System.IntPtr new_SatHelper ( )

◆ new_SolutionCallback()

static global.System.IntPtr new_SolutionCallback ( )

◆ SatHelper_ModelStats()

static string SatHelper_ModelStats ( int  model_proto_size,
byte[]  jarg1 
)

◆ SatHelper_Solve()

static System.IntPtr SatHelper_Solve ( int  model_proto_size,
byte[]  jarg1 
)

◆ SatHelper_SolverResponseStats()

static string SatHelper_SolverResponseStats ( int  response_size,
byte[]  jarg1 
)

◆ SatHelper_SolveWithStringParameters()

static System.IntPtr SatHelper_SolveWithStringParameters ( int  model_proto_size,
byte[]  jarg1,
string  jarg2 
)

◆ SatHelper_SolveWithStringParametersAndSolutionCallback()

static System.IntPtr SatHelper_SolveWithStringParametersAndSolutionCallback ( int  model_proto_size,
byte[]  jarg1,
string  jarg2,
global::System.Runtime.InteropServices.HandleRef  jarg3 
)

◆ SatHelper_ValidateModel()

static string SatHelper_ValidateModel ( int  model_proto_size,
byte[]  jarg1 
)

◆ SatHelper_VariableDomain()

static global.System.IntPtr SatHelper_VariableDomain ( int  variable_proto_size,
byte[]  jarg1 
)

◆ SatHelper_WriteModelToFile()

static bool SatHelper_WriteModelToFile ( int  model_proto_size,
byte[]  jarg1,
string  jarg2 
)

◆ SolutionCallback_BestObjectiveBound()

static double SolutionCallback_BestObjectiveBound ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_director_connect()

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

◆ SolutionCallback_NumBinaryPropagations()

static long SolutionCallback_NumBinaryPropagations ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_NumBooleans()

static long SolutionCallback_NumBooleans ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_NumBranches()

static long SolutionCallback_NumBranches ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_NumConflicts()

static long SolutionCallback_NumConflicts ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_NumIntegerPropagations()

static long SolutionCallback_NumIntegerPropagations ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_ObjectiveValue()

static double SolutionCallback_ObjectiveValue ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_OnSolutionCallback()

static void SolutionCallback_OnSolutionCallback ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_Response()

static System.IntPtr SolutionCallback_Response ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_SolutionBooleanValue()

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

◆ SolutionCallback_SolutionIntegerValue()

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

◆ SolutionCallback_StopSearch()

static void SolutionCallback_StopSearch ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_UserTime()

static double SolutionCallback_UserTime ( global::System.Runtime.InteropServices.HandleRef  jarg1)

◆ SolutionCallback_WallTime()

static double SolutionCallback_WallTime ( global::System.Runtime.InteropServices.HandleRef  jarg1)

Member Data Documentation

◆ swigExceptionHelper

SWIGExceptionHelper swigExceptionHelper = new SWIGExceptionHelper()
staticprotected

Definition at line 125 of file operations_research_satPINVOKE.cs.

◆ swigStringHelper

SWIGStringHelper swigStringHelper = new SWIGStringHelper()
staticprotected

Definition at line 189 of file operations_research_satPINVOKE.cs.


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