Package jline.lang.nodeparam

Class PlaceNodeParam

java.lang.Object

jline.lang.NodeParam

jline.lang.nodeparam.PlaceNodeParam

All Implemented Interfaces:

Serializable

public class PlaceNodeParam
extends NodeParam

Parameters of a Petri-net Place. A FLUID place (FSPN) holds one real level in [0, fluidcap] starting at fluidinit and carries no tokens; an ordinary place leaves fluid false.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
boolean	fluid	True for a fluid place.
double	fluidcap	Fluid capacity B, infinite when unbounded.
double	fluidinit	Initial fluid level.

Fields inherited from class jline.lang.NodeParam

d, outlinks, patience, sdr, weightedOutlinks, weights

Constructor Summary

Constructors

Constructor	Description
PlaceNodeParam()
PlaceNodeParam(NodeParam other)	Copies the routing fields of an ordinary NodeParam, leaving the place non-fluid.

Method Summary

Modifier and Type	Method	Description
boolean	isEmpty()	Checks if this NodeParam contains no configuration data.

Methods inherited from class java.lang.Object

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

Field Details

fluid

public boolean fluid

True for a fluid place.

fluidcap

public double fluidcap

Fluid capacity B, infinite when unbounded.

fluidinit

public double fluidinit

Initial fluid level.

Constructor Details

PlaceNodeParam

public PlaceNodeParam()

PlaceNodeParam

public PlaceNodeParam(NodeParam other)

Copies the routing fields of an ordinary NodeParam, leaving the place non-fluid.

Method Details

isEmpty

public boolean isEmpty()

Description copied from class: NodeParam

Checks if this NodeParam contains no configuration data.

Overrides:

isEmpty in class NodeParam

Returns:

true if all parameter maps are null or empty, false otherwise