Predicate signature InputSig::getAdditionalFlowIntoCallNodeTerm
Gets an additional term that is added to the join
and branch
computations to reflect
an additional forward or backwards branching factor that is not taken into account
when calculating the (virtual) dispatch cost.
Argument arg
is part of a path from a source to a sink, and p
is the target parameter.
signature int getAdditionalFlowIntoCallNodeTerm(ArgumentNode arg, ParameterNode p)