|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IProposition
Method Summary | |
---|---|
boolean |
equals(Object obj)
Clients should implement this method, since the implementation uses HashSets, which require a proper notion of equality. |
String |
getLabel()
|
int |
hashCode()
Clients should implement this method, since the implementation uses HashSets, which require a proper hash code. |
Method Detail |
---|
String getLabel()
boolean equals(Object obj)
equals
in class Object
Object.equals(java.lang.Object)
int hashCode()
hashCode
in class Object
Object.hashCode()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |