Method emptyPlan

src/main/java/pascal/taie/config/Plan.java:55–57

@return an empty plan.

()

     * @return an empty plan.
     */
    public static Plan emptyPlan() {
        return EMPTY;
    }
}