NetCal / DNC

The NetworkCalculus.org Deterministic Network Calculator
http://dnc.networkcalculus.org
GNU Lesser General Public License v2.1
25 stars 23 forks source link

LeftOver Service: Indeterminate Form = No Service #49

Closed sbondorf closed 5 years ago

sbondorf commented 5 years ago

We define the indeterminate left-over service curve resulting from $\delta_0 - \delta0$ to be $\beta{R=0,T=0}$

This also solves some other existing problems:

If beta wasn't $\delta_0$:

sbondorf commented 5 years ago

This is new commit my take on the common constant holder, demonstrated on the INFINITE_SERVICE curve. If deemed the proper solution, I am happy to implement it for the other three constant curves used in the first commit of this PR.

sbondorf commented 5 years ago

An update on problems: I finished implementing the constant holders by porting them to the MPA_RTC curve backend. Afterwards I was able to run the functional tests again. They break. The constant holders are instantiated on start of the calculator, using the number backend specified in the configuration. But the curve backend changes between individual tests. The constant curves do not recognize this, do not reinitialize the constants and tests crash with class casing exceptions raised by the number class.

sbondorf commented 5 years ago

I reverted the constant holder commit and propose to not merge work on that topic (issue #43) with this pull request.