DotNet Reference

DotNet Reference

SatHelper Member List

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

Dispose()SatHelperinline
Dispose(bool disposing)SatHelperinlineprotectedvirtual
ModelStats(Google.OrTools.Sat.CpModelProto model_proto)SatHelperinlinestatic
SatHelper()SatHelperinline
Solve(Google.OrTools.Sat.CpModelProto model_proto)SatHelperinlinestatic
SolverResponseStats(Google.OrTools.Sat.CpSolverResponse response)SatHelperinlinestatic
SolveWithStringParameters(Google.OrTools.Sat.CpModelProto model_proto, string parameters)SatHelperinlinestatic
SolveWithStringParametersAndSolutionCallback(Google.OrTools.Sat.CpModelProto model_proto, string parameters, SolutionCallback callback)SatHelperinlinestatic
swigCMemOwnSatHelperprotected
ValidateModel(Google.OrTools.Sat.CpModelProto model_proto)SatHelperinlinestatic
VariableDomain(Google.OrTools.Sat.IntegerVariableProto variable_proto)SatHelperinlinestatic