Dependency solver does not support IntPMF for resource demands, but example mediastore of release contains it
The dependency solver does not support IntPMF for resource demand because it was decided once that resource demands cannot be so accurately estimated so they should always be PDFs, not PMFS.
However, the Mediastore in the PCM 3.2 release contains a filesize param with IntPMF specification. Thus, it is not analysable as-is with the PCM solver.
I do not recall whether there was an addtional reason why a resource demand cannot be a PMF. If no, we should change this and make the dependency solver accept PMFs here. If there is a technical problem, we can still consider to convert the PMF silently to a PDF instead of failing.
Operating System: Windows 7
If you do not object, I would re-introduce the string replacement IntPMF to DoublePDF that was there before.
Right now it is not possible to use a BYTESIZE characterisation to calculate a resource demand, which makes the analysis of the Mediastore difficult (one would have to change the model to not use any BYTESIZE characterisations, but that cannot be the solution).
I'll change this locally for me, and if you do not object, I will commit it soon.
I remember that I already came across this issue, but I don't know the reason for it. Maybe it's because of the problem of folding probability distributions, i.e. the folding is not supported for all types, or for two different types. Anyway, I need to check this in detail.
I have just seen that this has been deliberately removed in revision 9909, we may also have talked about it.
I'd still propose to reintroduce this, as it is dfficult for users to understand what is wrong here.