00001 /********************************************************************** 00002 * 00003 * Verball Model Storage Library, Common Information Model Library 00004 * for integration of Intelligent Services. 00005 * Copyright (C) 2005 Nikita Vinokurov, Orgway LLC. 00006 * 00007 * This library is free software; you can redistribute it and/or 00008 * modify it under the terms of the GNU Lesser General Public 00009 * License as published by the Free Software Foundation; 00010 * version 2.1 of the License. 00011 * 00012 * This library is distributed in the hope that it will be useful, 00013 * but WITHOUT ANY WARRANTY; without even the implied warranty of 00014 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00015 * Lesser General Public License for more details. 00016 * 00017 * You should have received a copy of the GNU Lesser General Public 00018 * License along with this library; if not, write to the Free Software 00019 * Foundation, Inc., 51 Franklin Street, Fifth Floor, 00020 * Boston, MA 02110-1301 USA 00021 * 00022 * $Id: stmtsrest.h,v 1.7 2006/09/18 21:38:29 sbreg Exp $ 00023 **********************************************************************/ 00024 00025 #ifndef _STMTS_REST_H_ 00026 #define _STMTS_REST_H_ 00027 #include "stmt/statement.h" 00028 00029 #define MAX_TERM_LENGTH 64000 00030 00032 int stmts_load(FILE* f, Statement **axioms); 00033 00034 #endif /* _STMTS_REST_H_ */
1.4.4