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()