Age | Commit message (Collapse) | Author | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(e.g. to ensure they're positive)
|
|
|
|
|
|
|
|
|
|
These are interesting for statistics, e.g. to determine the average dtree size
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Transition source/destination names are not correct yet
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
get_fitted_sub is no longer present, sub-state models are part of get_fitted now
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
use application-provided total state duration instead of model to determine
duration of last sub-state in get_fitted_sub
|
|
|
|
|
|
|
|
TODO: fitting and submodel usage in parent
|