Free cookie consent management tool by TermsFeed Policy Generator

Changeset 12414

Timestamp:
06/02/15 16:21:17 (11 years ago)
Author:
pfleck
Message:

#2027 Changed Terminator base class to SingleSuccessorOperator and omit some values while collecting parameter values to reduce the amount of collected values for all terminators.

(No files)

Note: See TracChangeset for help on using the changeset viewer.