net.sf.javabdd
Class MicroFactory.PairOfInts

java.lang.Object
  net.sf.javabdd.MicroFactory.PairOfInts

Enclosing class:

MicroFactory

public static class MicroFactory.PairOfInts
extends java.lang.Object

Constructor Summary

MicroFactory.PairOfInts(int x, int y)

Method Summary

boolean	equals(MicroFactory.PairOfInts o)
boolean	equals(java.lang.Object o)
int	hashCode()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MicroFactory.PairOfInts

public MicroFactory.PairOfInts(int x,
                               int y)

Method Detail

equals

public boolean equals(MicroFactory.PairOfInts 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