Method getOptions

src/main/java/pascal/taie/config/PlanConfig.java:80–82

()

    }

    public AnalysisOptions getOptions() {
        return options;
    }

    @Override
    public String toString() {