Robust/src/Analysis/Disjoint/GraphElementCount.java

   1 package Analysis.Disjoint;
   2
   3 import IR.*;
   4 import IR.Flat.*;
   5 import java.util.*;
   6
   7
   8 public class GraphElementCount {
   9
  10   private long numNodes;
  11   private long numEdges;
  12   private long numNodeStates;
  13   private long numEdgeStates;
  14   private long numNodeStateNonzero;
  15   private long numEdgeStateNonzero;
  16
  17   public GraphElementCount() {
  18     numNodes = 0;
  19     numEdges = 0;
  20     numNodeStates = 0;
  21     numEdgeStates = 0;
  22     numNodeStateNonzero = 0;
  23     numEdgeStateNonzero = 0;
  24   }
  25
  26   public void nodeInc( long amount ) {
  27     numNodes += amount;
  28   }
  29
  30   public void edgeInc( long amount ) {
  31     numEdges += amount;
  32   }
  33
  34   public void nodeStateInc( long amount ) {
  35     numNodeStates += amount;
  36   }
  37
  38   public void edgeStateInc( long amount ) {
  39     numEdgeStates += amount;
  40   }
  41
  42   public void nodeStateNonzeroInc( long amount ) {
  43     numNodeStateNonzero += amount;
  44   }
  45
  46   public void edgeStateNonzeroInc( long amount ) {
  47     numEdgeStateNonzero += amount;
  48   }
  49
  50   public String toString() {
  51     return
  52       "################################################\n"+
  53       "Nodes                = "+numNodes+"\n"+
  54       "Edges                = "+numEdges+"\n"+
  55       "Node states          = "+numNodeStates+"\n"+
  56       "Edge states          = "+numEdgeStates+"\n"+
  57       "Node non-zero tuples = "+numNodeStateNonzero+"\n"+
  58       "Edge non-zero tuples = "+numEdgeStateNonzero+"\n"+
  59       "################################################\n";
  60   }
  61 }