forge.util
Class CircuitReporter

java.lang.Object
  extended by forge.solve.ForgeReporter
      extended by forge.util.CircuitReporter

public final class CircuitReporter
extends ForgeReporter

A reporter that prints the final circuit in eDIMACS form to a given file.

Author:
Emina Torlak, Greg Dennis (gdennis@mit.edu)

Constructor Summary
CircuitReporter(java.io.File file)
          Constructs a new circuit reporter whose #translatingToCNF(kodkod.engine.bool.BooleanFormula) method will dump its argument to the given file, in eDIMACS format.
 
Method Summary
 void translatingToCNF(java.lang.Object circuitObj)
          Dumps the given circuit to this.file, in eDIMACS format, if the circuit is not just a variable.
 
Methods inherited from class forge.solve.ForgeReporter
buildingAnalysis, detectedSymmetries, detectingSymmetries, flattening, generatingSBP, optimizingBoundsAndFormula, skolemizing, solvingAnalysis, solvingCNF, transformingProcedure, translatingToBoolean, translatingToKodkod
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CircuitReporter

public CircuitReporter(java.io.File file)
Constructs a new circuit reporter whose #translatingToCNF(kodkod.engine.bool.BooleanFormula) method will dump its argument to the given file, in eDIMACS format.

Method Detail

translatingToCNF

public final void translatingToCNF(java.lang.Object circuitObj)
Dumps the given circuit to this.file, in eDIMACS format, if the circuit is not just a variable. If it is a variable, the file is unchanged.

Overrides:
translatingToCNF in class ForgeReporter