Summary:
Detail:
GraphoidAxioms
GraphoidIndFact(Set<Node> X, Set<Node> Y, Set<Node> Z)
boolean
equals(Object o)
Set<Node>
getX()
getY()
getZ()
int
hashCode()
String
toString()
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
hashCode
Object
equals
toString