Method has

src/main/java/pascal/taie/config/AnalysisOptions.java:89–91

@return true if this AnalysisOptions contains value for given option key.

(String key)

     * for given option key.
     */
    public boolean has(String key) {
        return options.containsKey(key);
    }

    /**
     * @return value for given option key.