Class PlaceAdditionalInfo

  • All Implemented Interfaces:
    java.io.Serializable

    public class PlaceAdditionalInfo
    extends java.lang.Object
    implements java.io.Serializable
    Place additional info at the moment completely taken from eST miner
    See Also:
    Serialized Form
    • Constructor Detail

      • PlaceAdditionalInfo

        public PlaceAdditionalInfo()
    • Method Detail

      • writePassageUsage

        public void writePassageUsage​(LEFRMatrix lefrMatrix,
                                      Place place)
      • getPassageUsage

        public java.util.Map<Passage,​java.lang.Integer> getPassageUsage()
      • setPassageUsage

        public void setPassageUsage​(java.util.Map<Passage,​java.lang.Integer> passageUsage)