public static class Profile.FiringFunction
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
firingIndex
The firing index.
|
java.util.List<java.lang.Integer> |
nextFiringFunctions
The next firing functions.
|
java.util.List<java.lang.Integer> |
nextIterationFirings
The next iteration firings.
|
java.util.List<Profile.FiringFunctionPort> |
ports
The ports.
|
java.util.List<java.lang.Integer> |
previousFiringFunctions
The previous firing functions.
|
java.util.List<java.lang.Integer> |
previousIterationFirings
The previous iteration firings.
|
Constructor and Description |
---|
FiringFunction(int index)
Create a firing function.
|
public java.util.List<Profile.FiringFunctionPort> ports
public java.util.List<java.lang.Integer> nextFiringFunctions
public java.util.List<java.lang.Integer> previousFiringFunctions
public java.util.List<java.lang.Integer> nextIterationFirings
public java.util.List<java.lang.Integer> previousIterationFirings
public int firingIndex