|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.upb.swt.mcie.robdds.NodePair
class NodePair
This class represents a pair of nodes. It is used in the
hash table for such pairs of nodes when applying a
binary operation BinOp.apply
on two ROBDDs.
Field Summary | |
---|---|
private ROBDD |
n1
The first node of the pair. |
private ROBDD |
n2
The second node of the pair. |
Constructor Summary | |
---|---|
NodePair(ROBDD n1,
ROBDD n2)
Constructs a pair of two ROBDD nodes. |
Method Summary | |
---|---|
boolean |
equals(java.lang.Object o)
Checks whether this pair node is equal to an other pair. |
int |
hashCode()
Returns the hash code of this pair. |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private ROBDD n1
private ROBDD n2
Constructor Detail |
---|
NodePair(ROBDD n1, ROBDD n2)
n1
- first component of the pairn2
- second component of the pairMethod Detail |
---|
public int hashCode()
HashMap
.
It is a very simple minded calculation, which guarantees that the
symmetric pair has a different hash code.
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
HashMap
).
equals
in class java.lang.Object
o
- object to be compared with
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |