JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
gov.nasa.jpf.util.event
Interface PropagatingEventContext
All Superinterfaces:
EventContext
public interface
PropagatingEventContext
extends
EventContext
an EventContext that is invariant and hence can be automatically propagated along the path
Method Summary
Methods inherited from interface gov.nasa.jpf.util.event.
EventContext
map
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method