コード例 #1
0
 public String Validate()
 {
     return(CpSatHelper.ValidateModel(model_));
 }
コード例 #2
0
 public String ModelStats()
 {
     return(CpSatHelper.ModelStats(model_));
 }
コード例 #3
0
 public Boolean ExportToFile(String filename)
 {
     return(CpSatHelper.WriteModelToFile(model_, filename));
 }
コード例 #4
0
 public String ResponseStats()
 {
     return(CpSatHelper.SolverResponseStats(response_));
 }