Class SymbolicState


  • public class SymbolicState
    extends SystemState
    Class representing a state in a system
    • Constructor Detail

      • SymbolicState

        public SymbolicState​(SystemLocation[] l,
                             int[] v,
                             Polyhedron z)
        Constructor
        Parameters:
        l - - The array of the system location
        v - - Using to initialization the system variable
        z - - The polyhedron
    • Method Detail

      • writeServerFormat

        public void writeServerFormat​(Writer writer)
                               throws IOException
        Writer the server format
        Parameters:
        writer - - Writing to character streams
        Throws:
        IOException
      • writeXTRFormat

        public void writeXTRFormat​(Writer writer)
                            throws IOException
        Convert to format used in XTR files.
        Parameters:
        writer - - Writing to character streams
        Throws:
        IOException
      • getPolyhedron

        public Polyhedron getPolyhedron()
        Get the polyhedron
        Returns:
        zone - The polyhedron
      • getVariableValues

        public int[] getVariableValues()
        Get the array of the variable values.
        Returns:
        the array of variables values.