Summary:
Detail:
String
getName()
int[]
getNodes()
String[]
getPropertyOrder()
HashMap<Integer,int[]>
getSuccessors()
getTypedSuccessors()