Class LogSplitter.SigmaMaps<X>

  • Type Parameters:
    X -
    Enclosing class:
    LogSplitter

    public static class LogSplitter.SigmaMaps<X>
    extends java.lang.Object
    Holds information for log splitting
    Author:
    sleemans
    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.util.HashMap<gnu.trove.set.TIntSet,​java.util.List<X>> mapSigma2subtrace  
      gnu.trove.map.TIntObjectMap<gnu.trove.set.TIntSet> mapUnode2sigma  
      java.util.List<gnu.trove.set.TIntSet> partition  
      java.util.List<java.util.List<X>> sublogs  
    • Constructor Summary

      Constructors 
      Constructor Description
      SigmaMaps()  
    • Method Summary

      • Methods inherited from class java.lang.Object

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

      • partition

        public java.util.List<gnu.trove.set.TIntSet> partition
      • sublogs

        public java.util.List<java.util.List<X>> sublogs
      • mapSigma2subtrace

        public java.util.HashMap<gnu.trove.set.TIntSet,​java.util.List<X>> mapSigma2subtrace
      • mapUnode2sigma

        public gnu.trove.map.TIntObjectMap<gnu.trove.set.TIntSet> mapUnode2sigma
    • Constructor Detail

      • SigmaMaps

        public SigmaMaps()