minicp.search

Class SearchStatistics

java.lang.Object

minicp.search.SearchStatistics

public class SearchStatistics
extends Object

Statistics collected during the execution of DFSearch.solve() and DFSearch.optimize(Objective)

Constructor Summary

Constructors

Constructor and Description
SearchStatistics()

Method Summary

Modifier and Type	Method and Description
void	incrFailures()
void	incrNodes()
void	incrSolutions()
boolean	isCompleted()
int	numberOfFailures()
int	numberOfNodes()
int	numberOfSolutions()
void	setCompleted()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SearchStatistics

public SearchStatistics()

Method Detail

toString

public String toString()

Overrides:

toString in class Object

incrFailures

public void incrFailures()

incrNodes

public void incrNodes()

incrSolutions

public void incrSolutions()

setCompleted

public void setCompleted()

numberOfFailures

public int numberOfFailures()

numberOfNodes

public int numberOfNodes()

numberOfSolutions

public int numberOfSolutions()

isCompleted

public boolean isCompleted()