DotNet Reference

DotNet Reference

operations_research_satPINVOKE Member List

This is the complete list of members for operations_research_satPINVOKE, including all inherited members.

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
swigExceptionHelperoperations_research_satPINVOKEprotectedstatic
swigStringHelperoperations_research_satPINVOKEprotectedstatic