|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.engine.config.ConsoleReporter
public final class ConsoleReporter
An implementation of the reporter interface that prints messages to the standard output stream.
Constructor Summary | |
---|---|
ConsoleReporter()
Constructs a new instance of the ConsoleReporter. |
Method Summary | |
---|---|
void |
flattening(BooleanFormula circuit)
Reports that the stage 5 of the analysis is being performed on the given boolean formula. |
void |
generatingSBP()
Reports that the analysis is in stage 4. |
void |
optimizingBounds()
Reports that bounds optimization is in progress (stage 1). |
void |
optimizingFormula()
Reports that formula optimization is in progress (stage 2). |
void |
skolemizing(Decl decl,
Relation skolem,
java.util.List<Decl> context)
Reports that the given declaration is being skolemized using the given skolem relation. |
void |
solvingCNF(int primaryVars,
int vars,
int clauses)
Reports that the cnf generated in stage 7, consisting of the given number of variables and clauses, is being analyzed by a sat solver (stage 8 of the analysis). |
java.lang.String |
toString()
|
void |
translatingToBoolean(Formula formula,
Bounds bounds)
Reports that the analysis of the given (optimized) formula and bounds is in stage 3. |
void |
translatingToCNF(BooleanFormula circuit)
Reports that the given (optimized) circuit is being translated to CNF (stage 6 of the analysis). |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ConsoleReporter()
Method Detail |
---|
public void generatingSBP()
Reporter
generatingSBP
in interface Reporter
Reporter.generatingSBP()
public void flattening(BooleanFormula circuit)
Reporter
flattening
in interface Reporter
Reporter.flattening(kodkod.engine.bool.BooleanFormula)
public void skolemizing(Decl decl, Relation skolem, java.util.List<Decl> context)
skolemizing
in interface Reporter
Reporter.skolemizing(kodkod.ast.Decl, kodkod.ast.Relation, java.util.List)
public void solvingCNF(int primaryVars, int vars, int clauses)
Reporter
solvingCNF
in interface Reporter
Reporter.solvingCNF(int, int, int)
public void optimizingBounds()
Reporter
optimizingBounds
in interface Reporter
Reporter.optimizingBounds()
public void optimizingFormula()
optimizingFormula
in interface Reporter
Reporter.optimizingFormula()
public void translatingToBoolean(Formula formula, Bounds bounds)
Reporter
translatingToBoolean
in interface Reporter
Reporter.translatingToBoolean(kodkod.ast.Formula, kodkod.instance.Bounds)
public void translatingToCNF(BooleanFormula circuit)
Reporter
translatingToCNF
in interface Reporter
Reporter.translatingToCNF(kodkod.engine.bool.BooleanFormula)
public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |