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.c | |
| parent | a8eaa2f2e560547e63c7976960435e1ae23a22b1 (diff) | |
remove the teyjus and utils folders
Diffstat (limited to 'src/runtime/c/teyjus/simulator/io-datastructures.c')
| -rw-r--r-- | src/runtime/c/teyjus/simulator/io-datastructures.c | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/src/runtime/c/teyjus/simulator/io-datastructures.c b/src/runtime/c/teyjus/simulator/io-datastructures.c deleted file mode 100644 index 1647ee5b1..000000000 --- a/src/runtime/c/teyjus/simulator/io-datastructures.c +++ /dev/null @@ -1,53 +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.c. * - * * - ****************************************************************************/ -#include "io-datastructures.h" - -/* The io free term variable table */ -IO_FreeVarInfo IO_freeVarTab[IO_MAX_FREE_VARS]; - -/* index for the topmost cell that has been used */ -int IO_freeVarTabTop; - -/* initialize */ -void IO_initIO() -{ - IO_freeVarTabTop = 0; -} - -/* check if the free term variable table is full */ -Boolean IO_freeVarTabFull(int incSize) -{ - return (IO_freeVarTabTop+incSize >= IO_MAX_FREE_VARS); -} - -/* make an entry in the free term variable table */ -void IO_enterFreeVarTab(DF_StrDataPtr name, DF_TermPtr varLoc) -{ - int i = IO_freeVarTabTop++; - - IO_freeVarTab[i].varName = name; - IO_freeVarTab[i].rigdes = varLoc; -} - |