org.sat4j.pb.core
Class PBSolverStats

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

public class PBSolverStats
extends SolverStats

See Also:
Serialized Form

Field Summary
 long numberOfCP
           
 long numberOfLearnedConstraintsReduced
           
 long numberOfReductions
           
 long numberOfResolution
           
 
Fields inherited from class org.sat4j.minisat.core.SolverStats
changedreason, conflicts, decisions, ignoredclauses, inspects, learnedbinaryclauses, learnedclauses, learnedliterals, learnedternaryclauses, propagations, reduceddb, reducedliterals, rootSimplifications, shortcuts, starts, updateLBD
 
Constructor Summary
PBSolverStats()
           
 
Method Summary
 void printStat(PrintWriter out, String prefix)
           
 void reset()
           
 
Methods inherited from class org.sat4j.minisat.core.SolverStats
toMap
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

numberOfReductions

public long numberOfReductions

numberOfLearnedConstraintsReduced

public long numberOfLearnedConstraintsReduced

numberOfResolution

public long numberOfResolution

numberOfCP

public long numberOfCP
Constructor Detail

PBSolverStats

public PBSolverStats()
Method Detail

reset

public void reset()
Overrides:
reset in class SolverStats

printStat

public void printStat(PrintWriter out,
                      String prefix)
Overrides:
printStat in class SolverStats


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