SpaceStatus.java
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009 package org.gecode;
00010
00021 public enum SpaceStatus {
00022 SS_FAILED,
00023 SS_SOLVED,
00024 SS_BRANCH;
00025
00026 public final int swigValue() {
00027 return swigValue;
00028 }
00029
00030 public static SpaceStatus swigToEnum(int swigValue) {
00031 SpaceStatus[] swigValues = SpaceStatus.class.getEnumConstants();
00032 if (swigValue < swigValues.length && swigValue >= 0 && swigValues[swigValue].swigValue == swigValue)
00033 return swigValues[swigValue];
00034 for (SpaceStatus swigEnum : swigValues)
00035 if (swigEnum.swigValue == swigValue)
00036 return swigEnum;
00037 throw new IllegalArgumentException("No enum " + SpaceStatus.class + " with value " + swigValue);
00038 }
00039
00040 private SpaceStatus() {
00041 this.swigValue = SwigNext.next++;
00042 }
00043
00044 private SpaceStatus(int swigValue) {
00045 this.swigValue = swigValue;
00046 SwigNext.next = swigValue+1;
00047 }
00048
00049 private SpaceStatus(SpaceStatus swigEnum) {
00050 this.swigValue = swigEnum.swigValue;
00051 SwigNext.next = this.swigValue+1;
00052 }
00053
00054 private final int swigValue;
00055
00056 private static class SwigNext {
00057 private static int next = 0;
00058 }
00059 }
00060