org.gecode.explorer.Statistics Class Reference

Detailed Description

Definition at line 26 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.explorer.Statistics.Statistics ( )

Definition at line 36 of file Statistics.java.

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

Definition at line 40 of file Statistics.java.

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

Definition at line 49 of file Statistics.java.

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

Definition at line 53 of file Statistics.java.

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

Definition at line 54 of file Statistics.java.

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

Definition at line 58 of file Statistics.java.

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

Definition at line 62 of file Statistics.java.

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

Definition at line 67 of file Statistics.java.

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

Definition at line 68 of file Statistics.java.

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

Definition at line 69 of file Statistics.java.

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

Definition at line 70 of file Statistics.java.

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

Definition at line 74 of file Statistics.java.

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

Definition at line 77 of file Statistics.java.

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

Definition at line 80 of file Statistics.java.

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

Definition at line 83 of file Statistics.java.

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

Definition at line 86 of file Statistics.java.

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

Definition at line 89 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 ()