Class LPBasedImplicitnessCalculator

    • Constructor Detail

      • LPBasedImplicitnessCalculator

        public LPBasedImplicitnessCalculator​(IntEncodings<Transition> transitionEncodings)
    • Method Detail

      • provideSelf

        protected void provideSelf()
      • isImplicitAmong

        public boolean isImplicitAmong​(Place placeToTest,
                                       java.util.Collection<Place> existingPlaces)
      • computeIncidenceMatrices

        public Tuple2<java.util.List<BitMask>,​java.util.List<int[]>> computeIncidenceMatrices​(java.util.List<Place> places)
      • isImplicitAmong

        public boolean isImplicitAmong​(int currentPlaceIndex,
                                       java.util.List<Place> places,
                                       java.util.List<BitMask> preIncidenceMatrix,
                                       java.util.List<int[]> incidenceMatrix)