protected List<Termination> createChildThreadTerminationList(DefaultSolverScope solverScope, ChildThreadType childThreadType) {
        List<Termination> childThreadTerminationList = new ArrayList<>(terminationList.size());
        for (Termination termination : terminationList) {
            childThreadTerminationList.add(termination.createChildThreadTermination(solverScope, childThreadType));
        }
        return childThreadTerminationList;
    }
protected List<Termination> createChildThreadTerminationList(DefaultSolverScope solverScope, ChildThreadType childThreadType) {
        List<Termination> childThreadTerminationList = new ArrayList<>(terminationList.size());
        for (Termination termination : terminationList) {
            childThreadTerminationList.add(termination.createChildThreadTermination(solverScope, childThreadType));
        }
        return childThreadTerminationList;
    }
protected List < Termination > createChildThreadTerminationList ( DefaultSolverScope solverScope , ChildThreadType childThreadType ) { List < Termination > childThreadTerminationList = new ArrayList <> ( terminationList . size ( ) ) ; for ( Termination termination : terminationList ) { childThreadTerminationList . add ( termination . createChildThreadTermination ( solverScope , childThreadType ) ) ; } return childThreadTerminationList ; }
************************************************************************
************************************************************************