net.sf.javabdd
Class MicroFactory.TripleOfInts
java.lang.Object
net.sf.javabdd.MicroFactory.TripleOfInts
- Enclosing class:
- MicroFactory
public static class MicroFactory.TripleOfInts
- extends java.lang.Object
Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, toString, wait, wait, wait |
MicroFactory.TripleOfInts
public MicroFactory.TripleOfInts(int x,
int y,
int z)
equals
public boolean equals(MicroFactory.TripleOfInts o)
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in class java.lang.Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object