Package jline.api.sn

Class SnIsDiscreteTime

java.lang.Object
jline.api.sn.SnIsDiscreteTime
public final class SnIsDiscreteTime extends Object
Decides whether a model lives on a discrete (slotted) time scale.

A model is discrete-time when every enabled interarrival and service law is lattice-valued on a common slot length and at least one of them is intrinsically discrete. The slot length d is the LATTICE UNIT: a law keeps the meaning it has in every other solver and is admitted when each of its samples is a positive multiple of d, the rule the LDES slotted engine enforces in slotSnap. Geometric (support {1,2,...}), DMAP and DiscreteUniform (integral bounds) step in whole time units, so they are on the lattice exactly when 1/d is an integer; Det(v) is on it when v/d is a positive integer. Immediate is deliberately not a lattice law: a zero interval is not a point of {d,2d,...}.

Under timescale "auto" a model whose laws are all Det is NOT discrete-time: D/D/c is a continuous-time model with a continuous-time answer, and only a Geometric, DiscreteUniform or DMAP says that the model was written per slot. An explicit discrete request still admits it.

The test runs on procid, rates and scv rather than on proc, because the struct refresh may already have replaced a lattice law by a continuous surrogate. procid keeps the requested family and (mean, SCV) identify the member of it exactly for every family above.

MATLAB twin: sn_is_discrete_time.m