Method getId

src/main/java/pascal/taie/config/PlanConfig.java:76–78

()

    }

    public String getId() {
        return id;
    }

    public AnalysisOptions getOptions() {
        return options;