org.sat4j.minisat.core
Class SolverStats

java.lang.Object
  extended by org.sat4j.minisat.core.SolverStats
All Implemented Interfaces:
java.io.Serializable

public class SolverStats
extends java.lang.Object
implements java.io.Serializable

Contains some statistics regarding the search.

Author:
daniel
See Also:
Serialized Form

Field Summary
 long changedreason
           
 long conflicts
           
 long decisions
           
 long inspects
           
 long learnedbinaryclauses
           
 long learnedclauses
           
 long learnedliterals
           
 long learnedternaryclauses
           
 long propagations
           
 int reduceddb
           
 long reducedliterals
           
 long rootSimplifications
           
 int starts
           
 
Constructor Summary
SolverStats()
           
 
Method Summary
 void printStat(java.io.PrintWriter out, java.lang.String prefix)
           
 void reset()
           
 java.util.Map<java.lang.String,java.lang.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

rootSimplifications

public long rootSimplifications

reducedliterals

public long reducedliterals

changedreason

public long changedreason

reduceddb

public int reduceddb
Constructor Detail

SolverStats

public SolverStats()
Method Detail

reset

public void reset()

printStat

public void printStat(java.io.PrintWriter out,
                      java.lang.String prefix)

toMap

public java.util.Map<java.lang.String,java.lang.Number> toMap()


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