main page modules namespaces classes files
Gecode/J home

NodeStatus.java

Go to the documentation of this file.

/* -*- indent-tabs-mode: nil -*- */
package org.gecode.gist;

public enum NodeStatus {
  FAILED,
  SOLVED,
  BRANCH,
  UNDETERMINED;
  
  public final int value() {
    return value;
  }
  
  public static NodeStatus swigToEnum(int value) {
    NodeStatus[] values = NodeStatus.class.getEnumConstants();
    if (value < values.length && value >= 0 && values[value].value == value)
      return values[value];
    for (NodeStatus swigEnum : values)
      if (swigEnum.value == value)
        return swigEnum;
    throw new IllegalArgumentException("No enum " + NodeStatus.class + 
                                       " with value " + value);
  }
  
  public static NodeStatus valueOf(org.gecode.SpaceStatus ss) {
    switch(ss) {
    case SS_FAILED: return FAILED;
    case SS_SOLVED: return SOLVED;
    case SS_BRANCH: return BRANCH;
    }
    return UNDETERMINED;
  }

  private NodeStatus() {
    this.value = Next.next++;
  }

  private NodeStatus(int value) {
    this.value = value;
    Next.next = value+1;
  }

  private final int value;

  private static class Next {
    private static int next = 0;
  }
}