source: ip/src/main/java/geniusweb/ip/inputOutput/SolverNames.java@ 52

Last change on this file since 52 was 52, checked in by ruud, 14 months ago

Fixed small issues in domaineditor.
File size: 600 bytes
Line 
1package geniusweb.ip.inputOutput;
2
3public enum SolverNames {
4
5 DP, // [Yeh, 1986]
6
7 IDP, // [Rahwan & Jennings, AAMAS 2008]
8
9 ODP, // [Rahwan et al., 2014]
10
11 IP, // [Rahwan et al., JAIR 2009]
12
13 ODPIP, // [Rahwan et al., AIJ 2014]
14
15 CPLEX; // ILOG's CPLEX
16
17 public static String toString(SolverNames solverName) {
18 if (solverName == DP)
19 return ("DP");
20 if (solverName == IDP)
21 return ("IDP");
22 if (solverName == ODP)
23 return ("ODP");
24 if (solverName == IP)
25 return ("IP");
26 if (solverName == ODPIP)
27 return ("ODP-IP");
28 if (solverName == CPLEX)
29 return ("CPLEX");
30 return "";
31 }
32}
Note: See TracBrowser for help on using the repository browser.