Class Profile.FiringFunction

  • Enclosing class:
    Profile

    public static class Profile.FiringFunction
    extends java.lang.Object
    The Firing Function.
    • Constructor Summary

      Constructors 
      Constructor Description
      FiringFunction​(int index)
      Create a firing function.
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • nextFiringFunctions

        public java.util.List<java.lang.Integer> nextFiringFunctions
        The next firing functions.
      • previousFiringFunctions

        public java.util.List<java.lang.Integer> previousFiringFunctions
        The previous firing functions.
      • nextIterationFirings

        public java.util.List<java.lang.Integer> nextIterationFirings
        The next iteration firings.
      • previousIterationFirings

        public java.util.List<java.lang.Integer> previousIterationFirings
        The previous iteration firings.
      • firingIndex

        public int firingIndex
        The firing index.
    • Constructor Detail

      • FiringFunction

        public FiringFunction​(int index)
        Create a firing function.
        Parameters:
        index - The firing index.