/** * collect all superstates of a that do not contain node b. */ static List collectAllSuperStates(Node a, Node b) { SuperState superState = a.getSuperState(); List leavingSuperStates = new ArrayList(); while (superState != null) { if (!superState.containsNode(b)) { leavingSuperStates.add(superState); superState = superState.getSuperState(); } else { superState = null; } } return leavingSuperStates; }
/** * collect all superstates of a that do not contain node b. */ static List collectAllSuperStates(Node a, Node b) { SuperState superState = a.getSuperState(); List leavingSuperStates = new ArrayList(); while (superState != null) { if (!superState.containsNode(b)) { leavingSuperStates.add(superState); superState = superState.getSuperState(); } else { superState = null; } } return leavingSuperStates; }