stmtsrest.h File Reference

#include "stmt/statement.h"

Include dependency graph for stmtsrest.h:

Go to the source code of this file.

Defines
#define	MAX_TERM_LENGTH   64000
Functions
int	stmts_load (FILE *f, Statement **axioms)
	Restoring statements from dump.

---

Define Documentation

#define MAX_TERM_LENGTH   64000

---

Function Documentation

int stmts_load (  FILE *  f, Statement **  axioms )

Restoring statements from dump.

---