Member predicate FlowVar::definedPartiallyAt
Holds if this FlowVar is a PartialDefinition whose outer defined
expression is e. For example, in f(&x), the outer defined expression
is &x.
predicate definedPartiallyAt(Expr e)Holds if this FlowVar is a PartialDefinition whose outer defined
expression is e. For example, in f(&x), the outer defined expression
is &x.
predicate definedPartiallyAt(Expr e)