org.gecode.explorer.Statistics Member List

This is the complete list of members for org.gecode.explorer.Statistics, including all inherited members.

close()	org.gecode.explorer.Statistics
getChoices()	org.gecode.explorer.Statistics
getDepth()	org.gecode.explorer.Statistics
getFailures()	org.gecode.explorer.Statistics
getOpen()	org.gecode.explorer.Statistics
getSolutions()	org.gecode.explorer.Statistics
getUndetermined()	org.gecode.explorer.Statistics
newChoice()	org.gecode.explorer.Statistics
newDepth(int d)	org.gecode.explorer.Statistics
newDetermined()	org.gecode.explorer.Statistics
newFailure()	org.gecode.explorer.Statistics
newOpen()	org.gecode.explorer.Statistics
newSolution()	org.gecode.explorer.Statistics
newUndetermined(int u)	org.gecode.explorer.Statistics
registerSolutionListener(StatisticsListener e)	org.gecode.explorer.Statistics
reset()	org.gecode.explorer.Statistics
Statistics()	org.gecode.explorer.Statistics