WolframModel.Event (WolframModel v1.3.0)

Copy Markdown View Source

Represents a single rewrite event in the Wolfram Model evolution.

Fields:

  • id - unique event id
  • generation - generation when the event occurred
  • rule - the rule applied
  • removed - hyperedges removed (list of vertex lists)
  • added - hyperedges added (list of vertex lists)
  • affected_vertices - list of vertices affected
  • parent_ids - list of parent event ids
  • metadata - optional map for extra info

Summary

Types

t()

Types

t()

@type t() :: %WolframModel.Event{
  added: [[Hypergraph.vertex()]],
  affected_vertices: [Hypergraph.vertex()],
  generation: non_neg_integer(),
  id: integer(),
  metadata: map(),
  parent_ids: [integer()],
  removed: [[Hypergraph.vertex()]],
  rule: WolframModel.rule()
}