Minsky
coverage.h File Reference
#include "str.h"
#include <cachedDBM.h>
#include "coverage.cd"
Include dependency graph for coverage.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  minsky::Coverage
 

Namespaces

 minsky
 Creation and access to the minskyTCL_obj object, which has code to record whenever Minsky's state changes.