GenModEvent.java
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009 package org.gecode;
00010
00029 public enum GenModEvent implements ModEvent {
00030 ME_GEN_FAILED(-1),
00031 ME_GEN_NONE(0),
00032 ME_GEN_VAL(1),
00033 ME_GEN_DOM(2);
00034
00035 public final int swigValue() {
00036 return swigValue;
00037 }
00038
00039 public static GenModEvent swigToEnum(int swigValue) {
00040 GenModEvent[] swigValues = GenModEvent.class.getEnumConstants();
00041 if (swigValue < swigValues.length && swigValue >= 0 && swigValues[swigValue].swigValue == swigValue)
00042 return swigValues[swigValue];
00043 for (GenModEvent swigEnum : swigValues)
00044 if (swigEnum.swigValue == swigValue)
00045 return swigEnum;
00046 throw new IllegalArgumentException("No enum " + GenModEvent.class + " with value " + swigValue);
00047 }
00048
00049 private GenModEvent() {
00050 this.swigValue = SwigNext.next++;
00051 }
00052
00053 private GenModEvent(int swigValue) {
00054 this.swigValue = swigValue;
00055 SwigNext.next = swigValue+1;
00056 }
00057
00058 private GenModEvent(GenModEvent swigEnum) {
00059 this.swigValue = swigEnum.swigValue;
00060 SwigNext.next = this.swigValue+1;
00061 }
00062
00063 private final int swigValue;
00064
00065 private static class SwigNext {
00066 private static int next = 0;
00067 }
00068
00069 public boolean failed() {
00070 return swigValue() == -1;
00071 }
00072 public boolean assigned() {
00073 return swigValue() == 1;
00074 }
00075 public GenModEvent toGeneric() {
00076 return this;
00077 }
00078 }
00079