Generated on Thu Nov 2 14:49:35 2006 for Gecode/J by doxygen 1.5.0

SpaceStatus.java

Go to the documentation of this file.
00001 /* ----------------------------------------------------------------------------
00002  * This file was automatically generated by SWIG (http://www.swig.org).
00003  * Version 1.3.29
00004  *
00005  * Do not make changes to this file unless you know what you are doing--modify
00006  * the SWIG interface file instead.
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