Class SystemState

    • Field Detail

      • locations

        protected SystemLocation[] locations
        Changed from private for concrete simulation
    • Constructor Detail

      • SystemState

        public SystemState​(SystemLocation[] l)
        Constructor
        Parameters:
        l - - The list of the locations about a system state
    • Method Detail

      • traceFormat

        public String traceFormat()
        Convert to visual format used in simulator.
        Returns:
        s - The state string in the trace format
      • getLocations

        public SystemLocation[] getLocations()
        Get the system locations
        Returns:
        locations - The list of the system location
      • setLocations

        public void setLocations​(SystemLocation[] locations)
        Set the list of the system location
        Parameters:
        locations -