This PR adds here both the concurrent timeline view, and the concurrent trace constructor, that were removed from the Moccml engine repository (as per the companion PR).
In addition, it transforms the trace constructor to make it into an extensible component that has no dependencies to Moccml. This abstract trace constructor by default can store a model state in the trace in a generic fashion, but cannot store a solver state. A "generic" implementation of this constructor is provided, where no solver state is stored at all, and which can be used by engines that are in such case (eg. Henshin).
Description
This PR adds here both the concurrent timeline view, and the concurrent trace constructor, that were removed from the Moccml engine repository (as per the companion PR).
In addition, it transforms the trace constructor to make it into an extensible component that has no dependencies to Moccml. This abstract trace constructor by default can store a model state in the trace in a generic fashion, but cannot store a solver state. A "generic" implementation of this constructor is provided, where no solver state is stored at all, and which can be used by engines that are in such case (eg. Henshin).
Companion Pull Requests