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

long	changedreason
long	conflicts
long	decisions
long	ignoredclauses
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

SolverStats()

Method Summary

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

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