Using the GG-PR API

Using the GG-PR API

• holds(inBank, goToBank(S)) ¬ possible(goToBank,S)
  representation of actions is independent of GG-PR framework
• observed(goToBank, getGun(S))
  GG-PR doesn’t place representation restrictions on temporal ordering

Previous slide

Next slide

Back to the first slide

View Graphic Version