org.sat4j.minisat.core
Class SolverStats

java.lang.Object
  extended by 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()


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.