Member predicate FrameworkLibraryInstance::info
Holds if this is an instance of version v of framework library fl.
predicate info(FrameworkLibrary fl, string v)Holds if this is an instance of version v of framework library fl.
predicate info(FrameworkLibrary fl, string v)