Class PrefixProbabilityMarking


  • public class PrefixProbabilityMarking
    extends java.lang.Object
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static int byteArray2int​(byte[] bytes, int start)  
      static byte[] getMarking​(byte[] prefixProbabilityMarking, int markingLength)  
      static int[] getPrefix​(byte[] prefixProbabilityMarking, int markingLength)  
      static double getProbability​(byte[] prefixProbabilityMarking)  
      static byte[] pack​(int[] prefix, double probability, byte[] marking)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • PrefixProbabilityMarking

        public PrefixProbabilityMarking()
    • Method Detail

      • pack

        public static byte[] pack​(int[] prefix,
                                  double probability,
                                  byte[] marking)
      • getProbability

        public static double getProbability​(byte[] prefixProbabilityMarking)
      • getMarking

        public static byte[] getMarking​(byte[] prefixProbabilityMarking,
                                        int markingLength)
      • getPrefix

        public static int[] getPrefix​(byte[] prefixProbabilityMarking,
                                      int markingLength)
      • byteArray2int

        public static int byteArray2int​(byte[] bytes,
                                        int start)