helix.graph.algo.c3part.reporter
Class CCCReporter

java.lang.Object
  extended by helix.graph.util.Reporter
      extended by helix.graph.algo.c3part.reporter.BaseReporter
          extended by helix.graph.algo.c3part.reporter.CCCReporter
Direct Known Subclasses:
CCCReporterDebug

public class CCCReporter
extends BaseReporter

a clas to report CCCs in Dimacs-like format : q #vertices #node1 ... #nodesN v name1... nameN rank1 ... rankN | commment1 | ... | commentN v ...


Constructor Summary
CCCReporter()
           
 
Method Summary
static void printSynton(Graph synton, C3PartOptions options)
          print out a synton in Dimacs format
 
Methods inherited from class helix.graph.util.Reporter
isVerbose, log, print, println, setLogger, setPrinter, severe, warning
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CCCReporter

public CCCReporter()
Method Detail

printSynton

public static void printSynton(Graph synton,
                               C3PartOptions options)
print out a synton in Dimacs format