Main Page | Data Structures | Directories | File List | Data Fields | Globals | Related Pages

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.


Generated on Wed Dec 27 16:52:27 2006 for VRB Online Server by  doxygen 1.4.4