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

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
PBSolverStats()

Method Summary

Methods

Modifier and Type	Method and Description
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