jdd.bdd.debug

Interface BDDDebuger

All Known Implementing Classes:

BDDDebugFrame

public interface BDDDebuger

This class will report BDD statistics.

Method Summary

Modifier and Type	Method and Description
void	stop()

Method Detail

stop

void stop()