public class PBSolverStats extends SolverStats
Modifier and Type | Field and Description |
---|---|
long |
numberOfCP |
long |
numberOfLearnedConstraintsReduced |
long |
numberOfReductions |
long |
numberOfResolution |
changedreason, conflicts, decisions, ignoredclauses, inspects, learnedbinaryclauses, learnedclauses, learnedliterals, learnedternaryclauses, propagations, reduceddb, reducedliterals, rootSimplifications, shortcuts, starts, updateLBD
Constructor and Description |
---|
PBSolverStats() |
Modifier and Type | Method and Description |
---|---|
void |
printStat(PrintWriter out,
String prefix) |
void |
reset() |
toMap
public long numberOfReductions
public long numberOfLearnedConstraintsReduced
public long numberOfResolution
public long numberOfCP
public void reset()
reset
in class SolverStats
public void printStat(PrintWriter out, String prefix)
printStat
in class SolverStats
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.