Member predicate AmdModuleDefinition::dependencyParameter
Holds if p
is the parameter corresponding to dependency dep
.
predicate dependencyParameter(Expr dep, Parameter p)
Holds if p
is the parameter corresponding to dependency dep
.
predicate dependencyParameter(Expr dep, Parameter p)