org.gecode.explorer.Config Class Reference
List of all members.Detailed Description
Definition at line 26 of file Config.java.
Static Public Member Functions | |
| static int | searchCutoff () |
| static void | searchCutoff (int val) |
| static int | a_d () |
| static void | a_d (int val) |
| static int | mrd () |
| static void | mrd (int val) |
| static int | n () |
| static void | n (int val) |
| static boolean | zoom () |
| static void | zoom (boolean val) |
| static boolean | hide () |
| static void | hide (boolean val) |
Member Function Documentation
| static int org.gecode.explorer.Config.searchCutoff | ( | ) | [static] |
Definition at line 35 of file Config.java.
| static void org.gecode.explorer.Config.searchCutoff | ( | int | val | ) | [static] |
Definition at line 38 of file Config.java.
| static int org.gecode.explorer.Config.a_d | ( | ) | [static] |
Definition at line 43 of file Config.java.
| static void org.gecode.explorer.Config.a_d | ( | int | val | ) | [static] |
Definition at line 46 of file Config.java.
| static int org.gecode.explorer.Config.mrd | ( | ) | [static] |
Definition at line 51 of file Config.java.
| static void org.gecode.explorer.Config.mrd | ( | int | val | ) | [static] |
Definition at line 54 of file Config.java.
| static int org.gecode.explorer.Config.n | ( | ) | [static] |
Definition at line 59 of file Config.java.
| static void org.gecode.explorer.Config.n | ( | int | val | ) | [static] |
Definition at line 62 of file Config.java.
| static boolean org.gecode.explorer.Config.zoom | ( | ) | [static] |
Definition at line 67 of file Config.java.
| static void org.gecode.explorer.Config.zoom | ( | boolean | val | ) | [static] |
Definition at line 70 of file Config.java.
| static boolean org.gecode.explorer.Config.hide | ( | ) | [static] |
Definition at line 74 of file Config.java.
| static void org.gecode.explorer.Config.hide | ( | boolean | val | ) | [static] |
Definition at line 77 of file Config.java.
The documentation for this class was generated from the following file:
- org/gecode/explorer/Config.java (Revision: 2943)