Class PetriSolver.FluidLevels

java.lang.Object
jline.solvers.fluid.petri.PetriSolver.FluidLevels
Enclosing class:
PetriSolver

public static final class PetriSolver.FluidLevels extends Object
The reported level of every fluid place. Under 'reflect' (the default) it is the fixed point, so a level on a bound is the bound; under 'diffusion' a level on a bound is the stationary mean of a Brownian motion reflected on [0, B] (see PetriSolver.fluidLevels(jline.solvers.fluid.petri.PetriTerms, jline.solvers.fluid.petri.PetriSolver.Ctx, double[], double[], double[], double[], jline.util.matrix.Matrix, jline.solvers.SolverOptions)).
  • Field Details

    • names

      public String[] names
    • level

      public double[] level
    • levelVar

      public double[] levelVar
    • drift

      public double[] drift
      The mean drift of the level without its bound.
    • sigma2

      public double[] sigma2
      The variance rate of the net inflow, set by the 'diffusion' refinement.
    • bound

      public int[] bound
      +1 at the capacity, -1 at the empty level, 0 in the interior.
    • boundary

      public String boundary
  • Constructor Details

    • FluidLevels

      public FluidLevels()