How to count operator record variables in balanced model checking

[modelica-trac-importer]

Reported by peter.fritzson on 10 Oct 2012 06:14 UTC

Section 4.7. Balanced Models

Definition 1: Local Number of Unknowns

Are variables of operator record types expanded into primitive elements or not when counting?

This is not specified and should be in the specification.

---

Migrated-From: https://trac.modelica.org/Modelica/ticket/866

[modelica-trac-importer]

Comment by hansolsson on 21 Oct 2015 15:15 UTC
Replying to [ticket:866 peter.fritzson@…]:

Section 4.7. Balanced Models

Definition 1: Local Number of Unknowns

Are variables of operator record types expanded into primitive elements or not when counting?

The following list in 4.7 should be clarified to also include operator record:

For each declared component of specialized class type (Real, Integer, String, Boolean, enumeration and arrays of those, etc) or record, not declared as outer, it is the “number of unknown variables” inside it (i.e., excluding parameters and constants and counting the elements after expanding all records and arrays to a set of scalars of primitive types).

The other option of requiring matching operator record variables with operator record equations would be different from treating all other variables, and also not handle equations such as c.re=2; c.im=3; (or similar equations for the polar coordinates).

[modelica-trac-importer]

Comment by hansolsson on 30 Mar 2016 13:00 UTC
Replying to [comment:1 hansolsson]:

Replying to [ticket:866 peter.fritzson@…]:

Section 4.7. Balanced Models

Definition 1: Local Number of Unknowns

Are variables of operator record types expanded into primitive elements or not when counting?

The following list in 4.7 should be clarified to also include operator record:

For each declared component of specialized class type (Real, Integer, String, Boolean, enumeration and arrays of those, etc) or record, not declared as outer, it is the “number of unknown variables” inside it (i.e., excluding parameters and constants and counting the elements after expanding all records and arrays to a set of scalars of primitive types).

The proposal is thus:
"For each declared component of specialized class type (Real, Integer, String, Boolean, enumeration and arrays of those, etc), record, or operator record, not declared as outer, it is the “number of unknown variables” inside it (i.e., excluding parameters and constants and counting the elements after expanding all records, operator records, and arrays to a set of scalars of primitive types)."

And can be discussed at the next meeting.

[modelica-trac-importer]

Comment by hansolsson on 20 Jun 2016 14:34 UTC
Language group: In agreement by acclamation.

[modelica-trac-importer]

Comment by hansolsson on 23 Jun 2016 11:40 UTC
Scheduled to be added to spec.

[modelica-trac-importer]

Comment by hansolsson on 23 Sep 2016 11:35 UTC
Resolved in r9488

[modelica-trac-importer]

Modified by hansolsson on 23 Sep 2016 11:35 UTC