Enumeration listing the different kinds of events
Type of Expressions (for guards).
Auxiliary type for processing the structure of a DCR graph when "flattened"
Representation of a DCR graph
Each event in a DCR graph has state, known in academic literature as a marking. This class encapsulates that state.
Exception thrown when the execution of a non-executable event is requested. The exception carries a representation of the full set of reasons that the event could not be executed.
Representation of a location of an event in a DCR graph.
Interface of classes relativizing time
An event in a DCR graph may have an associated value. This class represents such values.
Auxiliary type encapsulating both path, event, and enabled state of an event