protected static class OptimalScheduleFinder._Port
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) OptimalScheduleFinder._Channel |
_channel
The channel associated with the port.
|
(package private) int |
_portIndex
The index for this port into the channel's state vector.
|
(package private) int |
_rate
the port rate, negative if input port
|
Constructor and Description |
---|
_Port(int rate,
OptimalScheduleFinder._Channel channel)
Construct an instance of _Port with rate rate and for channel
channel.
|
Modifier and Type | Method and Description |
---|---|
(package private) void |
assignIndex()
Assign index to the port into the channel state vector
only if it is an input port.
|
(package private) void |
fire(OptimalScheduleFinder._State state)
Fire the port by accounting the numbers of tokens.
|
(package private) boolean |
isEnabled(OptimalScheduleFinder._State state)
test if the port is enabled, i.e. if the associated channel has enough
tokens on this port to fire in state s
|
(package private) boolean |
isExclusiveEnabled(OptimalScheduleFinder._State state)
test if the port is enabled for exclusive firing, i.e. if the associated
channel has enough tokens on this port to fire exclusively in state s
|
int _portIndex
int _rate
OptimalScheduleFinder._Channel _channel
_Port(int rate, OptimalScheduleFinder._Channel channel)
rate
- port rate (negative for input port)channel
- channel to which it is boundvoid assignIndex()
boolean isEnabled(OptimalScheduleFinder._State state)
state
- stateboolean isExclusiveEnabled(OptimalScheduleFinder._State state)
state
- statevoid fire(OptimalScheduleFinder._State state)
state
- state to use for firing