Class DevStone

    • Constructor Detail

      • DevStone

        public DevStone​(String name)
        Constructor
        Parameters:
        name - name of the model
    • Method Detail

      • numAtomicsInTheory

        public abstract int numAtomicsInTheory​(int width,
                                               int depth)
        Theoretical number of atomic models in the DEVStone model
        Parameters:
        width - width of the DEVStone model
        depth - depth of the DEVStone model
        Returns:
        theoretical number of atomic models
      • numDeltExtsInTheory

        public abstract long numDeltExtsInTheory​(int maxEvents,
                                                 int width,
                                                 int depth)
        Theoretical number of external transitions performed in the simulation of the DEVStone model
        Parameters:
        maxEvents - maximum number of input events
        width - width of the DEVStone model
        depth - depth of the DEVStone model
        Returns:
        theoretical number of external transitions performed
      • numDeltIntsInTheory

        public abstract long numDeltIntsInTheory​(int maxEvents,
                                                 int width,
                                                 int depth)
        Theoretical number of internal transitions performed in the simulation of the DEVStone model
        Parameters:
        maxEvents - maximum number of input events
        width - width of the DEVStone model
        depth - depth of the DEVStone model
        Returns:
        theoretical number of internal transitions performed
      • numEventsInTheory

        public abstract long numEventsInTheory​(int maxEvents,
                                               int width,
                                               int depth)
        Theoretical number of events internally received in all the external transition functions.
        Parameters:
        maxEvents - number of external input events to the DEVStone model
        width - width of the DEVStone model
        depth - depth of the DEVStone model
        Returns:
        theoretical number of events internally received in all the external transition functions
      • numDeltExtsInPractice

        public long numDeltExtsInPractice()
        Number of external transitions performed in the current DEVStone model
        Returns:
        number of external transitions
      • numDeltIntsInPractice

        public long numDeltIntsInPractice()
        Number of internal transitions performed in the current DEVStone model
        Returns:
        number of internal transitions
      • numEventsInPractice

        public long numEventsInPractice()
        Number of events internally received in all the external transition functions.
        Returns:
        number of events internally received