Class Exhaustive.Result

  • Enclosing class:
    Exhaustive

    public class Exhaustive.Result
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      Cut cut  
      java.util.Collection<IMLog> sublogs  
    • Constructor Summary

      Constructors 
      Constructor Description
      Result()  
    • Method Summary

      • Methods inherited from class java.lang.Object

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

      • cut

        public Cut cut
      • sublogs

        public java.util.Collection<IMLog> sublogs
    • Constructor Detail

      • Result

        public Result()