RPA Toolkit
Work on documentation.
[rpatk.git] / rex / rexdb.h
index d2b6773..8ee0b54 100644 (file)
@@ -139,6 +139,7 @@ long rex_db_numtransitions(rexdb_t *rexdb);
 long rex_db_numstates(rexdb_t *rexdb);
 long rex_db_numsubstates(rexdb_t *rexdb);
 long rex_db_numaccsubstates(rexdb_t *rexdb);
+int rex_db_isempty(rexdb_t *db);
 const char *rex_db_version();
 
 /**