Package jline.api.spn

Class Spn_rec_enabled.SpnEnabling

java.lang.Object

jline.api.spn.Spn_rec_enabled.SpnEnabling

Enclosing class:

Spn_rec_enabled

public static class Spn_rec_enabled.SpnEnabling
extends Object

Unnormalised enabling-degree masses of one mode.

Field Summary

Fields

Modifier and Type	Field	Description
double[]	eq	eq[k] is the mass of {e == k}, i.e.
double[]	ge	ge[k] is the mass of {e >= k}; ge[0] is the whole reachable set.
int	maxDegree	The largest enabling degree the place bounds permit, E_j in the paper.

Constructor Summary

Constructors

Constructor	Description
SpnEnabling()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

ge

public double[] ge

ge[k] is the mass of {e >= k}; ge[0] is the whole reachable set.

eq

public double[] eq

eq[k] is the mass of {e == k}, i.e. ge[k] - ge[k+1].

maxDegree

public int maxDegree

The largest enabling degree the place bounds permit, E_j in the paper.

Constructor Details

SpnEnabling

public SpnEnabling()