Predicate graphProperties
Holds if property key of the graph has the given value.
Import path
import semmle.code.cpp.PrintAST
predicate
graphProperties
(
string
key
,
string
value
)