Searched refs:hashCode (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DAbstractCompoundTerm.java110 public int hashCode() method in class:AbstractCompoundTerm
112 int hashcode = functor().hashCode();
117 hashcode += arg(i).hashCode();
/barrelfish-master/usr/eclipseclp/CPViz/viz/src/ie/ucc/cccc/viz/
H A DValueKey.java42 @Override public int hashCode() { method in class:ValueKey
44 res = 31*res+name.hashCode();
H A DPair.java27 * Simple utility class for pairs of int. Overrides equals and hashCode so that pairs
43 @Override public int hashCode() { method in class:Pair
/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DViewletAction.java66 * If you override equals you have to override hashCode to make sure that two
67 * equals Actions also have the same hashCode. We do this by using the Class'
71 public int hashCode() method in class:ViewletAction
73 return(getClass().hashCode());
H A DSymRef.java124 public int hashCode() { method in class:SymRef
125 return toString().hashCode();

Completed in 49 milliseconds