Package jline.lang.state
Class FromMarginal
java.lang.Object
jline.lang.state.FromMarginal
- All Implemented Interfaces:
Serializable
- See Also:
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic MatrixfromMarg(NetworkStruct sn, int ind, int ntot) Every detailed local state of node IND whose CLASS TOTAL is ntot.static MatrixfromMargAndStarted(NetworkStruct sn, int ind, int ntot, int stot) Every detailed local state of node IND whose CLASS TOTAL is ntot and whose total number of started jobs is stot.static MatrixfromMarginal(NetworkStruct sn, int ind, Matrix n) static MatrixfromMarginalAndRunning(Network sn, int ind, Matrix n, Matrix s) static MatrixfromMarginalAndRunning(NetworkStruct sn, int ind, Matrix n, Matrix s) static MatrixfromMarginalAndRunning(NetworkStruct sn, int ind, Matrix n, Matrix s, boolean optionsForce) static MatrixfromMarginalAndStarted(Network network, int ind, Matrix n, Matrix s) static MatrixfromMarginalAndStarted(NetworkStruct sn, int ind, Matrix n, Matrix s) static MatrixfromMarginalAndStarted(NetworkStruct sn, int ind, Matrix n, Matrix s, Boolean optionsForce) Wrapper: the discipline branches below return early from several places, so the synchronous-call (REPLY) counter columns are appended here, once, for every exit path.static MatrixfromMarginalBounds(NetworkStruct sn, int ind, Matrix ub, double cap, SolverOptions options)
-
Constructor Details
-
FromMarginal
public FromMarginal()
-
-
Method Details
-
fromMarginal
-
fromMarginalAndRunning
-
fromMarginalAndRunning
-
fromMarginalAndRunning
public static Matrix fromMarginalAndRunning(NetworkStruct sn, int ind, Matrix n, Matrix s, boolean optionsForce) -
fromMarg
Every detailed local state of node IND whose CLASS TOTAL is ntot.The class-summed counterpart of fromMarginal: where fromMarginal fixes how many jobs of EACH class the node holds, fromMarg fixes only how many it holds altogether, and returns the union of fromMarginal over every class split of ntot the node can hold.
A class disabled at the station has classcap 0 and is excluded from the split enumeration up front rather than after the fact. Asking fromMarginal for a job of such a class yields an EMPTY local space, and an empty factor is absorbed by the cartesian product instead of annihilating it, so the job would silently disappear.
- Parameters:
sn- network structureind- node indexntot- total number of jobs at the node, all classes summed- Returns:
- the local state space rows
-
fromMargAndStarted
Every detailed local state of node IND whose CLASS TOTAL is ntot and whose total number of started jobs is stot.- Parameters:
sn- network structureind- node indexntot- total number of jobs at the nodestot- total number of jobs that have started service- Returns:
- the local state space rows
-
fromMarginalAndStarted
-
fromMarginalAndStarted
-
fromMarginalAndStarted
public static Matrix fromMarginalAndStarted(NetworkStruct sn, int ind, Matrix n, Matrix s, Boolean optionsForce) Wrapper: the discipline branches below return early from several places, so the synchronous-call (REPLY) counter columns are appended here, once, for every exit path. An initial or user-supplied state has no call outstanding, so the counters are zero -- but the columns must be present, otherwise the row is narrower than the enumerated local space, matchrow fails, and Solver_ctmc silently skips its unreachable-state pruning, leaving the enumerated-but-unreachable "counter set while every job is here" states as a second absorbing class.- Parameters:
sn- network structureind- node indexn- per-class marginal queue lengthss- per-class jobs in serviceoptionsForce- force flag- Returns:
- the local state space rows
-
fromMarginalBounds
public static Matrix fromMarginalBounds(NetworkStruct sn, int ind, Matrix ub, double cap, SolverOptions options)
-