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

Constructor Summary

Constructors

Constructor and Description
PBSolverStats()

Method Summary

Modifier and Type	Method and Description
long	getNumberOfCP()
long	getNumberOfDerivationSteps()
long	getNumberOfEasyRoundingOperations()
long	getNumberOfEndingSkipping()
long	getNumberOfInternalSkipping()
long	getNumberOfLearnedConstraintsReduced()
long	getNumberOfReductions()
long	getNumberOfReductionsByGCD()
long	getNumberOfReductionsByPower2()
long	getNumberOfRemainingAssigned()
long	getNumberOfRemainingUnassigned()
long	getNumberOfResolution()
long	getNumberOfRightShiftsForCoeffs()
long	getNumberOfRoundingOperations()
void	incFalsifiedLiteralsRemovedFromConflict()
void	incFalsifiedLiteralsRemovedFromReason()
void	incNbRemoved()
void	incNumberOfCP()
void	incNumberOfDerivationSteps()
void	incNumberOfEasyRoundingOperations()
void	incNumberOfEndingSkipping()
void	incNumberOfInternalSkipping()
void	incNumberOfLearnedConstraintsReduced()
void	incNumberOfReductions(long increment)
void	incNumberOfReductionsByGCD()
void	incNumberOfReductionsByPower2()
void	incNumberOfRemainingAssigned()
void	incNumberOfRemainingUnassigned()
void	incNumberOfResolution()
void	incNumberOfRightShiftsForCoeffs(int increment)
void	incNumberOfRoundingOperations()
void	incTimeForArithmeticOperations(long time)
void	printStat(PrintWriter out, String prefix)
void	reset()
void	setMaxRemoved(BigInteger maxRemoved)
void	setMinRemoved(BigInteger minRemoved)

Methods inherited from class org.sat4j.minisat.core.SolverStats

getChangedreason, getConflicts, getDecisions, getIgnoredclauses, getImportedUnits, getInspects, getLearnedbinaryclauses, getLearnedclauses, getLearnedliterals, getLearnedternaryclauses, getPropagations, getReduceddb, getReducedliterals, getRootSimplifications, getShortcuts, getStarts, getUpdateLBD, incChangedreason, incConflicts, incDecisions, incIgnoredclauses, incImportedUnits, incInspects, incLearnedbinaryclauses, incLearnedclauses, incLearnedliterals, incLearnedternaryclauses, incPropagations, incReduceddb, incReducedliterals, incRootSimplifications, incShortcuts, incStarts, incUpdateLBD, toMap

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

getNumberOfReductions

public long getNumberOfReductions()

incNumberOfReductions

public void incNumberOfReductions(long increment)

getNumberOfReductionsByPower2

public long getNumberOfReductionsByPower2()

incNumberOfReductionsByPower2

public void incNumberOfReductionsByPower2()

getNumberOfRightShiftsForCoeffs

public long getNumberOfRightShiftsForCoeffs()

incNumberOfRightShiftsForCoeffs

public void incNumberOfRightShiftsForCoeffs(int increment)

getNumberOfReductionsByGCD

public long getNumberOfReductionsByGCD()

incNumberOfReductionsByGCD

public void incNumberOfReductionsByGCD()

getNumberOfLearnedConstraintsReduced

public long getNumberOfLearnedConstraintsReduced()

incNumberOfLearnedConstraintsReduced

public void incNumberOfLearnedConstraintsReduced()

getNumberOfResolution

public long getNumberOfResolution()

incNumberOfResolution

public void incNumberOfResolution()

getNumberOfCP

public long getNumberOfCP()

incNumberOfCP

public void incNumberOfCP()

getNumberOfRoundingOperations

public long getNumberOfRoundingOperations()

incNumberOfRoundingOperations

public void incNumberOfRoundingOperations()

getNumberOfEasyRoundingOperations

public long getNumberOfEasyRoundingOperations()

incNumberOfEasyRoundingOperations

public void incNumberOfEasyRoundingOperations()

getNumberOfEndingSkipping

public long getNumberOfEndingSkipping()

incNumberOfEndingSkipping

public void incNumberOfEndingSkipping()

getNumberOfInternalSkipping

public long getNumberOfInternalSkipping()

incNumberOfInternalSkipping

public void incNumberOfInternalSkipping()

getNumberOfDerivationSteps

public long getNumberOfDerivationSteps()

incNumberOfDerivationSteps

public void incNumberOfDerivationSteps()

getNumberOfRemainingUnassigned

public long getNumberOfRemainingUnassigned()

incNumberOfRemainingUnassigned

public void incNumberOfRemainingUnassigned()

getNumberOfRemainingAssigned

public long getNumberOfRemainingAssigned()

incNumberOfRemainingAssigned

public void incNumberOfRemainingAssigned()

incFalsifiedLiteralsRemovedFromReason

public void incFalsifiedLiteralsRemovedFromReason()

incFalsifiedLiteralsRemovedFromConflict

public void incFalsifiedLiteralsRemovedFromConflict()

incTimeForArithmeticOperations

public void incTimeForArithmeticOperations(long time)

setMinRemoved

public void setMinRemoved(BigInteger minRemoved)

setMaxRemoved

public void setMaxRemoved(BigInteger maxRemoved)

incNbRemoved

public void incNbRemoved()