Config.java
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 package org.gecode.gist;
00024
00025 import org.gecode.Gecode;
00026
00027 public class Config {
00028 private static int searchCutoffVal = 10000;
00029 private static int a_dVal = 5;
00030 private static int mrdVal = 10;
00031 private static int nVal = 5;
00032
00033 private static boolean hideVal = true;
00034 private static boolean zoomVal = false;
00035
00036 public static int searchCutoff() {
00037 return searchCutoffVal;
00038 }
00039 public static void searchCutoff(int val) {
00040 if (val < 0) val = 0;
00041 searchCutoffVal = val;
00042 }
00043
00044 public static int a_d() {
00045 return a_dVal;
00046 }
00047 public static void a_d(int val) {
00048 if (val < 0) val = 0;
00049 a_dVal = val;
00050 }
00051
00052 public static int mrd() {
00053 return mrdVal;
00054 }
00055 public static void mrd(int val) {
00056 if (val < 0) val = 0;
00057 mrdVal = val;
00058 }
00059
00060 public static int n() {
00061 return nVal;
00062 }
00063 public static void n(int val) {
00064 if (val < 1) val = 1;
00065 nVal = val;
00066 }
00067
00068 public static boolean zoom() {
00069 return zoomVal;
00070 }
00071 public static void zoom(boolean val) {
00072 zoomVal = val;
00073 }
00074
00075 public static boolean hide() {
00076 return hideVal;
00077 }
00078 public static void hide(boolean val) {
00079 hideVal = val;
00080 }
00081 }