org.sat4j.minisat.core

Class SolverStats

java.lang.Object

org.sat4j.minisat.core.SolverStats

All Implemented Interfaces:

Serializable

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()

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

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()