uk.ac.ucl.che.esf.base
Class Statistics

java.lang.Object
  uk.ac.ucl.che.esf.base.Statistics

public class Statistics
extends java.lang.Object

Object used to collect statistics about the ESF package including number of objects created and count of specific methods.

Field Summary

static int	ACTIONNODE
static int	DOUBLEARRAY
static int	NFUNCTEVALS
static int	NFUNCTEVALSINFEASIBLE
static int	NINTERVALS
static int	OBJECTS Types of statistics collected.
static java.lang.String	rcsid
static int	REALVECTOR
static int	VEXPR
static int	VEXPREVAL
static int	WARNINGS

Constructor Summary

Statistics()

Method Summary

static void	count(int stat) update particular statistic
static void	print() output the statistics
static void	reset() Reset all statistics

Methods inherited from class java.lang.Object

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

Field Detail

rcsid

public static final java.lang.String rcsid

See Also:

Constant Field Values

OBJECTS

public static final int OBJECTS

Types of statistics collected.

See Also:

Constant Field Values

VEXPR

public static final int VEXPR

See Also:

Constant Field Values

VEXPREVAL

public static final int VEXPREVAL

See Also:

Constant Field Values

REALVECTOR

public static final int REALVECTOR

See Also:

Constant Field Values

DOUBLEARRAY

public static final int DOUBLEARRAY

See Also:

Constant Field Values

ACTIONNODE

public static final int ACTIONNODE

See Also:

Constant Field Values

NFUNCTEVALS

public static final int NFUNCTEVALS

See Also:

Constant Field Values

NFUNCTEVALSINFEASIBLE

public static final int NFUNCTEVALSINFEASIBLE

See Also:

Constant Field Values

WARNINGS

public static final int WARNINGS

See Also:

Constant Field Values

NINTERVALS

public static final int NINTERVALS

See Also:

Constant Field Values

Constructor Detail

Statistics

public Statistics()

Method Detail

count

public static void count(int stat)

update particular statistic

print

public static void print()

output the statistics

reset

public static void reset()

Reset all statistics