org.gecode.gist.Statistics Class Reference

List of all members.

Detailed Description

Definition at line 27 of file Statistics.java.

Public Member Functions

Statistics ()

void reset ()

void registerSolutionListener (StatisticsListener e)

void close ()

void newFailure ()

void newChoice ()

void newSolution ()

void newOpen ()

void newDetermined ()

void newUndetermined (int u)

void newDepth (int d)

int getSolutions ()

int getFailures ()

int getChoices ()

int getOpen ()

int getUndetermined ()

int getDepth ()

org.gecode.gist.Statistics.Statistics ( )

Definition at line 37 of file Statistics.java.

void org.gecode.gist.Statistics.reset ( )

Definition at line 41 of file Statistics.java.

void org.gecode.gist.Statistics.registerSolutionListener ( StatisticsListener e )

Definition at line 50 of file Statistics.java.

void org.gecode.gist.Statistics.close ( )

Definition at line 54 of file Statistics.java.

void org.gecode.gist.Statistics.newFailure ( )

Definition at line 55 of file Statistics.java.

void org.gecode.gist.Statistics.newChoice ( )

Definition at line 59 of file Statistics.java.

void org.gecode.gist.Statistics.newSolution ( )

Definition at line 63 of file Statistics.java.

void org.gecode.gist.Statistics.newOpen ( )

Definition at line 68 of file Statistics.java.

void org.gecode.gist.Statistics.newDetermined ( )

Definition at line 69 of file Statistics.java.

void org.gecode.gist.Statistics.newUndetermined ( int u )

Definition at line 70 of file Statistics.java.

void org.gecode.gist.Statistics.newDepth ( int d )

Definition at line 71 of file Statistics.java.

int org.gecode.gist.Statistics.getSolutions ( )

Definition at line 75 of file Statistics.java.

int org.gecode.gist.Statistics.getFailures ( )

Definition at line 78 of file Statistics.java.

int org.gecode.gist.Statistics.getChoices ( )

Definition at line 81 of file Statistics.java.

int org.gecode.gist.Statistics.getOpen ( )

Definition at line 84 of file Statistics.java.

int org.gecode.gist.Statistics.getUndetermined ( )

Definition at line 87 of file Statistics.java.

int org.gecode.gist.Statistics.getDepth ( )

Definition at line 90 of file Statistics.java.

The documentation for this class was generated from the following file:


Public Member Functions
	Statistics ()
void	reset ()
void	registerSolutionListener (StatisticsListener e)
void	close ()
void	newFailure ()
void	newChoice ()
void	newSolution ()
void	newOpen ()
void	newDetermined ()
void	newUndetermined (int u)
void	newDepth (int d)
int	getSolutions ()
int	getFailures ()
int	getChoices ()
int	getOpen ()
int	getUndetermined ()
int	getDepth ()