Class Polyhedron


  • public class Polyhedron
    extends Object
    • Constructor Detail

    • Method Detail

      • 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()