com.github.javabdd

Class MicroFactory.TripleOfInts

java.lang.Object

com.github.javabdd.MicroFactory.TripleOfInts

Enclosing class:

MicroFactory

public static class MicroFactory.TripleOfInts
extends Object

Constructor Summary

Constructors

Constructor and Description
TripleOfInts(int x, int y, int z)

Method Summary

Modifier and Type	Method and Description
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

TripleOfInts

public 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