Class UppaalLscSystem

    • Constructor Detail

      • UppaalLscSystem

        public UppaalLscSystem()
      • UppaalLscSystem

        public UppaalLscSystem​(Document aDocument)
    • Method Detail

      • addProcess

        public void addProcess​(String processName,
                               String templateName,
                               Translator map)
        Description copied from class: AbstractSystem
        Add process data
        Specified by:
        addProcess in class AbstractSystem
        Parameters:
        processName - - The process name
        templateName - - The template name
        map - - The translator
      • getProcess

        public LscProcess getProcess​(int process)
      • getMessage

        public SystemMessage getMessage​(int process,
                                        int i)
      • getCondition

        public SystemCondition getCondition​(int process,
                                            int i)
      • getUpdate

        public SystemUpdate getUpdate​(int process,
                                      int i)
      • getNoOfProcesses

        public int getNoOfProcesses()
      • getProcessIndex

        public int getProcessIndex​(String id)