| delete_SatHelper(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| delete_SolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| new_SatHelper() | operations_research_satPINVOKE | |
| new_SolutionCallback() | operations_research_satPINVOKE | |
| SatHelper_ModelStats(int model_proto_size, byte[] jarg1) | operations_research_satPINVOKE | |
| SatHelper_Solve(int model_proto_size, byte[] jarg1) | operations_research_satPINVOKE | |
| SatHelper_SolverResponseStats(int response_size, byte[] jarg1) | operations_research_satPINVOKE | |
| SatHelper_SolveWithStringParameters(int model_proto_size, byte[] jarg1, string jarg2) | operations_research_satPINVOKE | |
| SatHelper_SolveWithStringParametersAndSolutionCallback(int model_proto_size, byte[] jarg1, string jarg2, global::System.Runtime.InteropServices.HandleRef jarg3) | operations_research_satPINVOKE | |
| SatHelper_ValidateModel(int model_proto_size, byte[] jarg1) | operations_research_satPINVOKE | |
| SatHelper_VariableDomain(int variable_proto_size, byte[] jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_BestObjectiveBound(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_director_connect(global::System.Runtime.InteropServices.HandleRef jarg1, SolutionCallback.SwigDelegateSolutionCallback_0 delegate0) | operations_research_satPINVOKE | |
| SolutionCallback_NumBinaryPropagations(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_NumBooleans(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_NumBranches(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_NumConflicts(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_NumIntegerPropagations(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_ObjectiveValue(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_OnSolutionCallback(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_Response(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_SolutionBooleanValue(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2) | operations_research_satPINVOKE | |
| SolutionCallback_SolutionIntegerValue(global::System.Runtime.InteropServices.HandleRef jarg1, int jarg2) | operations_research_satPINVOKE | |
| SolutionCallback_StopSearch(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_UserTime(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| SolutionCallback_WallTime(global::System.Runtime.InteropServices.HandleRef jarg1) | operations_research_satPINVOKE | |
| swigExceptionHelper | operations_research_satPINVOKE | protectedstatic |
| swigStringHelper | operations_research_satPINVOKE | protectedstatic |