aima.search.framework
Class Metrics

java.lang.Object
  aima.search.framework.Metrics

public class Metrics
extends java.lang.Object

Constructor Summary

Metrics()

Method Summary

java.lang.String	get(java.lang.String name)
int	getInt(java.lang.String name)
java.util.Set	keySet()
void	set(java.lang.String name, int i)

Methods inherited from class java.lang.Object

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

Constructor Detail

Metrics

public Metrics()

Method Detail

set

public void set(java.lang.String name,
                int i)

getInt

public int getInt(java.lang.String name)

get

public java.lang.String get(java.lang.String name)

keySet

public java.util.Set keySet()