Skip to content

Commit

Permalink
Mention possibility of several sub-partitions with the same base-cloc…
Browse files Browse the repository at this point in the history
…k relation
  • Loading branch information
henrikt-ma committed Oct 25, 2022
1 parent ab78c8b commit d4bb2f0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion RationaleMCP/0031/differences.md
Expand Up @@ -1295,7 +1295,7 @@ end 'M';
```

The base-clock of a `partition` must be given by a `Clock`-expression without references to other clocks.
The clock of a `subpartition` must be given by a (clock conversion) expression of the current base-clock.
The clock of a `subpartition` must be given by a (clock conversion) expression of the current base-clock, and there may be more than one `subpartition` having the same relation to the base-clock.

The solver method for discretized continuous-time equations is given by a `solverMethod` specification after the `subpartition`'s clock-clause.
It is only required when the sub-partition contains continuous-time equations.
Expand Down

0 comments on commit d4bb2f0

Please sign in to comment.