コード例 #1
0
 private void effectiveAssignments() {
   assigns = new ArrayList<EndStates>();
   for (SymbexState ss : leafs) {
     EndStates es =
         new EndStates(
             ss.getCombinedAssignments(), ss.getCombinedCondition(), ss.getCombinedOrder());
     assigns.add(es);
   }
 }