DotNet Reference
DotNet Reference
operations_research_satPINVOKE
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 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 | ||
| ) |
◆ 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
|
staticprotected |
Definition at line 125 of file operations_research_satPINVOKE.cs.
◆ swigStringHelper
|
staticprotected |
Definition at line 189 of file operations_research_satPINVOKE.cs.
The documentation for this class was generated from the following file: