Member predicate Variable :: isConstructedFrom
Holds if this variable is constructed from v as a result
of template instantiation. If so, it originates either from a template
variable or from a variable nested in a template class.
predicate
isConstructedFrom
(
Variable
v
)