reven2.search_in_memory.DelEvent

class documentation

class DelEvent(Event):

Event that occurs when an existing slice that matches the pattern is overwritten in the trace.

The associated Match will never receive further Events.

Note

Any write access to a Match causes the slice to be deleted, regardless of whether the write changes the content of the slice. If the slice still matches the pattern after a write access, then a NewEvent for a new Match is emitted on the same transition as this DelEvent.

Method	`__init__`	Undocumented
Method	`__str__`	Undocumented
Method	`format_as_html`	This method gets an html formatting string representation for this class instance.
Method	`_repr_html_`	Representation used by Jupyter Notebook when an instance of this class is displayed in a cell.

Inherited from Event:

Method	`current_matches`	The current state of the `Match`es when this event has been produced by the search.
Property	`match`	Property: `Match` object that was modified by this `Event`.
Property	`transition`	Property: `reven2.trace.Transition` where the event occurred.
Instance Variable	`_current_matches`	Undocumented
Instance Variable	`_match`	Undocumented
Instance Variable	`_transition`	Undocumented

def __init__(self, event_match, transition, current_matches):

overrides reven2.search_in_memory.Event.__init__

Undocumented

def __str__(self):

Undocumented

def format_as_html(self):

This method gets an html formatting string representation for this class instance.

Information

Returns
`String`

def _repr_html_(self):

Representation used by Jupyter Notebook when an instance of this class is displayed in a cell.