private void effectiveAssignments() { assigns = new ArrayList<EndStates>(); for (SymbexState ss : leafs) { EndStates es = new EndStates( ss.getCombinedAssignments(), ss.getCombinedCondition(), ss.getCombinedOrder()); assigns.add(es); } }