summaryrefslogtreecommitdiff
path: root/src/runtime/c/teyjus/simulator/io-datastructures.h
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2017-04-12 10:31:01 +0000
committerkrasimir <krasimir@chalmers.se>2017-04-12 10:31:01 +0000
commit456f0a5733a3b688ebd3f5b3db35f60400ca7abe (patch)
tree7b6a931a099ffe31402bc59690263bf34374e4c3 /src/runtime/c/teyjus/simulator/io-datastructures.h
parenta8eaa2f2e560547e63c7976960435e1ae23a22b1 (diff)
remove the teyjus and utils folders
Diffstat (limited to 'src/runtime/c/teyjus/simulator/io-datastructures.h')
-rw-r--r--src/runtime/c/teyjus/simulator/io-datastructures.h66
1 files changed, 0 insertions, 66 deletions
diff --git a/src/runtime/c/teyjus/simulator/io-datastructures.h b/src/runtime/c/teyjus/simulator/io-datastructures.h
deleted file mode 100644
index 217a0f04e..000000000
--- a/src/runtime/c/teyjus/simulator/io-datastructures.h
+++ /dev/null
@@ -1,66 +0,0 @@
-//////////////////////////////////////////////////////////////////////////////
-//Copyright 2008
-// Andrew Gacek, Steven Holte, Gopalan Nadathur, Xiaochu Qi, Zach Snow
-//////////////////////////////////////////////////////////////////////////////
-// This file is part of Teyjus. //
-// //
-// Teyjus is free software: you can redistribute it and/or modify //
-// it under the terms of the GNU General Public License as published by //
-// the Free Software Foundation, either version 3 of the License, or //
-// (at your option) any later version. //
-// //
-// Teyjus is distributed in the hope that it will be useful, //
-// but WITHOUT ANY WARRANTY; without even the implied warranty of //
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the //
-// GNU General Public License for more details. //
-// //
-// You should have received a copy of the GNU General Public License //
-// along with Teyjus. If not, see <http://www.gnu.org/licenses/>. //
-//////////////////////////////////////////////////////////////////////////////
-
-/****************************************************************************
- * *
- * File io-datastructures.h. *
- * *
- ****************************************************************************/
-
-#ifndef IODATASTRUCTURES_H
-#define IODATASTRUCTURES_H
-
-#include "mcstring.h"
-#include "dataformats.h"
-#include "mctypes.h"
-
-/*****************************************************************************
- * A data structure for maintaining information about query term variables *
- * and other free variables encountered in the course of displaying answers. *
- *****************************************************************************/
-/* number of entries in the table for such variables. */
-#define IO_MAX_FREE_VARS 500
-
-/* Structure of each entry in the table; display name, and the rigid
- designator in the form of the memory cell corresponding to the variable are
- maintained. */
-typedef struct
-{
- DF_StrDataPtr varName;
- DF_TermPtr rigdes;
-} IO_FreeVarInfo;
-
-/* The table itself */
-extern IO_FreeVarInfo IO_freeVarTab[IO_MAX_FREE_VARS];
-
-/* index for the topmost cell that has been used */
-extern int IO_freeVarTabTop;
-
-/* initialize */
-void IO_initIO();
-
-/* check if the free term variable table is full */
-Boolean IO_freeVarTabFull(int incSize);
-
-/* make an entry in the free term variable table */
-void IO_enterFreeVarTab(DF_StrDataPtr name, DF_TermPtr varLoc);
-
-
-#endif //IODATASTRUCTURES_H