diff options
| author | krasimir <krasimir@chalmers.se> | 2017-04-12 10:31:01 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2017-04-12 10:31:01 +0000 |
| commit | 456f0a5733a3b688ebd3f5b3db35f60400ca7abe (patch) | |
| tree | 7b6a931a099ffe31402bc59690263bf34374e4c3 /src/runtime/c/teyjus/simulator/io-datastructures.h | |
| parent | a8eaa2f2e560547e63c7976960435e1ae23a22b1 (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.h | 66 |
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 |
