net.sf.javabdd
Class MicroFactory.TripleOfInts

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

Enclosing class:

MicroFactory

public static class MicroFactory.TripleOfInts
extends Object

Constructor Summary

MicroFactory.TripleOfInts(int x, int y, int z)

Method Summary

boolean	equals(MicroFactory.TripleOfInts o)
boolean	equals(Object o)
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MicroFactory.TripleOfInts

public MicroFactory.TripleOfInts(int x,
                                 int y,
                                 int z)

Method Detail

equals

public boolean equals(MicroFactory.TripleOfInts o)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object