net.sf.javabdd
Class MicroFactory.QuadOfInts

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

Enclosing class:

MicroFactory

public static class MicroFactory.QuadOfInts
extends Object

Constructor Summary

MicroFactory.QuadOfInts(int x, int y, int z, int q)

Method Summary

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

public MicroFactory.QuadOfInts(int x,
                               int y,
                               int z,
                               int q)

Method Detail

equals

public boolean equals(MicroFactory.QuadOfInts o)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object