Namespace DCR

Classes

EventKind

Enumeration listing the different kinds of events

Expression

Type of Expressions (for guards).

Flat

Auxiliary type for processing the structure of a DCR graph when "flattened"

Graph

Representation of a DCR graph

Marking

Each event in a DCR graph has state, known in academic literature as a marking. This class encapsulates that state.

NotEnabled

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.

Path

Representation of a location of an event in a DCR graph.

TimeManager

Interface of classes relativizing time

Tools

UserNotAllowed

Value

An event in a DCR graph may have an associated value. This class represents such values.

Interfaces

IEvent

Auxiliary type encapsulating both path, event, and enabled state of an event