Skip to content
This repository has been archived by the owner on Mar 7, 2020. It is now read-only.

has_output definition #22

Closed
RLovering opened this issue Jun 23, 2015 · 2 comments
Closed

has_output definition #22

RLovering opened this issue Jun 23, 2015 · 2 comments
Assignees
@dosumis
Labels
fixed
Milestone
BHF_GOC

Comments

@RLovering
Copy link
Contributor

Please revise definition to:
p has direct output c if c is a participant in p, c is present at the end of p, and c is not present at the beginning of c.
[change input to output and iff to if]

  • Current definition: p has direct input c iff c is a participant in p, c is present at the end of p, and c is not present at the beginning of c.
@RLovering RLovering added this to the BHF_GOC milestone Jun 23, 2015
@dosumis
Copy link
Contributor

dosumis commented Jun 23, 2015

#28

@dosumis dosumis added the fixed label Jun 24, 2015
@dosumis dosumis self-assigned this Jun 24, 2015
@dosumis
Copy link
Contributor

dosumis commented Jun 24, 2015

Fixed in RO.

@dosumis dosumis closed this as completed Jun 24, 2015
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@dosumis dosumis

Labels
fixed
Projects
None yet
Milestone
BHF_GOC
Development

No branches or pull requests
2 participants
@dosumis @RLovering