SolverStats (SAT4J 2.3.4 API)

java.lang.Object
- org.sat4j.minisat.core.SolverStats

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

PBSolverStats
```
public class SolverStats
extends Object
implements Serializable
```
Contains some statistics regarding the search.

Author:

daniel

See Also:
Serialized Form

Field Summary

Fields
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 Summary

Constructors
Constructor and Description

SolverStats()

Constructors
Constructor and Description
`SolverStats()`

Method Summary

Methods
Modifier and Type Method and Description

void printStat(PrintWriter out, String prefix)

void reset()

Map<String,Number> toMap()
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods
Modifier and Type	Method and Description
`void`	`printStat(PrintWriter out, String prefix)`
`void`	`reset()`
`Map<String,Number>`	`toMap()`

Field Detail

starts
```
public int starts
```

decisions
```
public long decisions
```

propagations
```
public long propagations
```

inspects
```
public long inspects
```

conflicts
```
public long conflicts
```

learnedliterals
```
public long learnedliterals
```

learnedbinaryclauses
```
public long learnedbinaryclauses
```

learnedternaryclauses
```
public long learnedternaryclauses
```

learnedclauses
```
public long learnedclauses
```

ignoredclauses
```
public long ignoredclauses
```

rootSimplifications
```
public long rootSimplifications
```

reducedliterals
```
public long reducedliterals
```

changedreason
```
public long changedreason
```

reduceddb
```
public int reduceddb
```

shortcuts
```
public int shortcuts
```

updateLBD
```
public long updateLBD
```

importedUnits
```
public int importedUnits
```

Constructor Detail
- SolverStats
```
public SolverStats()
```

Method Detail

reset
```
public void reset()
```

printStat

public void printStat(PrintWriter out,
             String prefix)

toMap
```
public Map<String,Number> toMap()
```

Class SolverStats

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

starts

decisions

propagations

inspects

conflicts

learnedliterals

learnedbinaryclauses

learnedternaryclauses

learnedclauses

ignoredclauses

rootSimplifications

reducedliterals

changedreason

reduceddb

shortcuts

updateLBD

importedUnits

Constructor Detail

SolverStats

Method Detail

reset

printStat

toMap