ereinion.search
Class SearchStats

java.lang.Object
  |
  +--ereinion.search.SearchStats

public class SearchStats

extends java.lang.Object

Classe che compie operazioni statistiche su di un problema di Search.

Since:

EPR 1.0

Version:

1.1, 7/10/2002

Author:

Ereinion

Field Summary

static long

INFINITE_TIME Il valore associato con un tempo di ricerca infinito.

Constructor Summary

SearchStats()
Setta i valori iniziali delle statistiche (0 per exapndedNode, maximumDepth e timeOut, -1 per le altre).

SearchStats(long time)
Setta i valori iniziali delle statistiche (0 per exapndedNode e maximumDepth, -1 per le altre).

Method Summary

int	getExpandedCount() Restituisce il numero di nodi espansi nella ricerca.
int	getMaximumDepth() Restituisce la massima profondit� ragggiunta nella ricerca.
int	getMaximumSpace() Restituisce il numero massimo di nodi che sono stati presenti in memoria.
long	getTimeOut() Restituisce il valore di time out per questo SearchStats
long	getUsedTime() Restituisce il tempo contabilizzato da questo SearchStats.
void	makeStats(SearchNode node, int queueSize) Fa valutazione statistiche sulla ricerca in corso.
void	reset() Resetta i valori iniziali delle statistiche (0 per exapndedNode, maximumDepth e timeOut, -1 per le altre).
void	reset(long time) Resetta i valori iniziali delle statistiche (0 per exapndedNode e maximumDepth, -1 per le altre).

Methods inherited from class java.lang.Object

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

Field Detail

INFINITE_TIME

public static final long INFINITE_TIME

Il valore associato con un tempo di ricerca infinito.

See Also:

Constant Field Values

Constructor Detail

SearchStats

public SearchStats()

Setta i valori iniziali delle statistiche (0 per exapndedNode, maximumDepth e timeOut, -1 per le altre).

SearchStats

public SearchStats(long time)

Setta i valori iniziali delle statistiche (0 per exapndedNode e maximumDepth, -1 per le altre).

Parameters:

time - il tempo massimo concesso alla ricerca in millisecondi.

Method Detail

reset

public void reset()

Resetta i valori iniziali delle statistiche (0 per exapndedNode, maximumDepth e timeOut, -1 per le altre).

reset

public void reset(long time)

Resetta i valori iniziali delle statistiche (0 per exapndedNode e maximumDepth, -1 per le altre).

Parameters:

time - il tempo massimo concesso alla ricerca in millisecondi.

makeStats

public void makeStats(SearchNode node,
                      int queueSize)
               throws SearchExceptionFail

Fa valutazione statistiche sulla ricerca in corso.

Parameters:

node - il nodo corrente che sta per essere espanso.

queueSize - le dimensioni correnti della coda dei nodi da espandere mantenuta in memoria.

Returns:

il nodo ottenuto dal metodo getHead()

Throws:

SearchExceptionFail - se viene raggiunto il timeOut per la ricerca. il tipo dell' eccezione � SearchExceptionFail.FAIL_TIMEOUT.

getMaximumDepth

public int getMaximumDepth()

Restituisce la massima profondit� ragggiunta nella ricerca.

Returns:

La massima profondit� ragggiunta nella ricerca.

getExpandedCount

public int getExpandedCount()

Restituisce il numero di nodi espansi nella ricerca.

Returns:

il numero di nodi espansi nella ricerca.

getMaximumSpace

public int getMaximumSpace()

Restituisce il numero massimo di nodi che sono stati presenti in memoria.

Returns:

il numero di nodi espansi nella ricerca.

getUsedTime

public long getUsedTime()

Restituisce il tempo contabilizzato da questo SearchStats.

Returns:

il tempo conteggiato finora.

getTimeOut

public long getTimeOut()

Restituisce il valore di time out per questo SearchStats

Returns:

il valore di time out per questo SearchStats