public class SolverStats
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
long |
changedreason |
long |
conflicts |
long |
decisions |
long |
ignoredclauses |
int |
importedUnits |
long |
inspects |
long |
learnedbinaryclauses |
long |
learnedclauses |
long |
learnedliterals |
long |
learnedternaryclauses |
long |
propagations |
int |
reduceddb |
long |
reducedliterals |
long |
rootSimplifications |
int |
shortcuts |
int |
starts |
long |
updateLBD |
Constructor and Description |
---|
SolverStats() |
Modifier and Type | Method and Description |
---|---|
void |
printStat(java.io.PrintWriter out,
java.lang.String prefix) |
void |
reset() |
java.util.Map<java.lang.String,java.lang.Number> |
toMap() |
public int starts
public long decisions
public long propagations
public long inspects
public long conflicts
public long learnedliterals
public long learnedbinaryclauses
public long learnedternaryclauses
public long learnedclauses
public long ignoredclauses
public long rootSimplifications
public long reducedliterals
public long changedreason
public int reduceddb
public int shortcuts
public long updateLBD
public int importedUnits