Class Polyhedron

java.lang.Object
com.uppaal.model.system.Polyhedron

public class Polyhedron
extends Object
  • Constructor Details

  • Method Details

    • writeTextualFormat

      public void writeTextualFormat​(Writer writer) throws IOException
      Throws:
      IOException
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • getAllConstraints

      public void getAllConstraints​(List<String> result)
      Convert constraint system to a human readable string representation containing all non-trivial constraints.
    • getSufficientConstraints

      public void getSufficientConstraints​(List<String> result)
      Convert constraint system to a human readable representation based on the minimal constraint graph. It is not actually the minimal constraint graph, since constraints on individual clocks are always added. Also, if either the lower or upper bound on a clock difference is included in the minimal constraint graph, then both are added to the string representation. TODO: Knowing that we always print both lower and upper bounds, there might be other constraints that we do not need to print. We should be able to detect this if we implement the minimal constraint graph computation directly. We should also take information about hidden clocks into account.
    • getDBM

      public int[][] getDBM()
    • addStrictConstraint

      public void addStrictConstraint​(int i, int j, int bound)
    • addNonStrictConstraint

      public void addNonStrictConstraint​(int i, int j, int bound)
    • add

      public void add​(int i, int j, int bound)
    • trim

      public void trim()
    • equals

      public boolean equals​(Object obj)
      Overrides:
      equals in class Object