Member predicate Vulnerability::Vulnerability::isVulnerable

Holds if a package with name name and version version has this vulnerability. The fixed version is given by fixed.

predicate isVulnerable(string name, Version version, Version fixed)