00001 00005 package edu.mit.csail.sdg.squander.examples.partitioning; 00006 00007 public class Literal { 00008 00009 private static int cnt = 0; 00010 private final int idx = cnt++; 00011 00012 00013 public int getIdx() { return idx; } 00014 00015 @Override 00016 public int hashCode() { 00017 final int prime = 31; 00018 int result = 1; 00019 result = prime * result + idx; 00020 return result; 00021 } 00022 00023 @Override 00024 public boolean equals(Object obj) { 00025 if (this == obj) 00026 return true; 00027 if (obj == null) 00028 return false; 00029 if (getClass() != obj.getClass()) 00030 return false; 00031 Literal other = (Literal) obj; 00032 if (idx != other.idx) 00033 return false; 00034 return true; 00035 } 00036 00037 @Override 00038 public String toString() { 00039 return "Lit" + idx; 00040 } 00041 00042 }