Property information
definition
p1 directly provides input for p2 iff there exists some c such that p1 has_output c and p2 has_input c
editor note
This is currently called 'directly provides input for' to be consistent with our terminology where we use 'direct' whenever two occurrents succeed one another directly. We may relabel this simply 'provides input for', as directness is implicit