org.sat4j.pb.core
Class PBSolverStats

java.lang.Object
  org.sat4j.minisat.core.SolverStats
      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, starts

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