Package jline.api.cache

Class CacheSojourn.Clock

java.lang.Object

jline.api.cache.CacheSojourn.Clock

Enclosing class:

CacheSojourn

public static final class CacheSojourn.Clock
extends Object

A phase-type clock: dphi/dt = phi A, phi(0) = phi0, density phi c.

Field Summary

Fields

Modifier and Type	Field	Description
final double[][]	A
final double[]	c
final double[]	phi0

Constructor Summary

Constructors

Constructor	Description
Clock(double[][] A, double[] phi0, double[] c)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

A

public final double[][] A

phi0

public final double[] phi0

c

public final double[] c

Constructor Details

Clock

public Clock(double[][] A,
 double[] phi0,
 double[] c)