Class AbstractSystemState

  • Direct Known Subclasses:
    SystemCut

    public abstract class AbstractSystemState
    extends Object
    • Constructor Detail

      • AbstractSystemState

        public AbstractSystemState​(int[] v,
                                   Polyhedron z)
    • Method Detail

      • writeServerFormat

        public void writeServerFormat​(Writer writer)
                               throws IOException
        Convert to format used to send to server.
        Parameters:
        writer - - the write
        Throws:
        IOException - I/O error
      • writeXTRFormat

        public void writeXTRFormat​(Writer writer)
                            throws IOException
        Convert to format used in XTR files.
        Parameters:
        writer - - The writer
        Throws:
        IOException - I/O error
      • traceFormat

        public String traceFormat()
        Convert to visual format used in simulator.
        Returns:
        The trace format
      • getPolyhedron

        public Polyhedron getPolyhedron()
      • getVariables

        public int[] getVariables()