reven2.search_in_memory.AccessEvent(Event)
class documentationreven2.search_in_memory
(View In Hierarchy)
Method | __init__ | Undocumented |
Method | access | Property: The reven2.memhist.MemoryAccess
corresponding to the read access to the Match . |
Method | __str__ | Undocumented |
Inherited from Event:
Method | match | Property: Match object
that was modified by this Event . |
Method | transition | Property: reven2.trace.Transition
where the event occurred. |
Method | current_matches | The current state of the Match es when
this event has been produced by the search. |
Property: The reven2.memhist.MemoryAccess
corresponding to the read access to the Match
.