version 1.12, 2003/01/17 06:49:53 |
version 1.15, 2003/03/30 08:05:22 |
|
|
/* -*- mode: C -*- */ |
/* -*- mode: C -*- */ |
/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.11 2003/01/13 12:03:12 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.14 2003/03/23 20:17:35 ohara Exp $ */ |
|
|
#ifndef _OX_TOOLKIT_H_ |
#ifndef _OX_TOOLKIT_H_ |
|
|
#define _OX_TOOLKIT_H_ |
#define _OX_TOOLKIT_H_ |
|
|
#include <stdio.h> |
#include <stdio.h> |
|
#if defined(WITH_GMP) |
#include <gmp.h> |
#include <gmp.h> |
|
#else |
|
#include "gmp_fake.h" |
|
#endif /* WITH_GMP */ |
#include <ox/cmotag.h> |
#include <ox/cmotag.h> |
#include <ox/oxMessageTag.h> |
#include <ox/oxMessageTag.h> |
#include <ox/smCommand.h> |
#include <ox/smCommand.h> |
Line 224 symbol_t lookup_by_symbol(char *key); |
|
Line 228 symbol_t lookup_by_symbol(char *key); |
|
symbol_t lookup_by_token(int tok); |
symbol_t lookup_by_token(int tok); |
symbol_t lookup_by_tag(int tag); |
symbol_t lookup_by_tag(int tag); |
symbol_t lookup(int i); |
symbol_t lookup(int i); |
char *symbol_get_key(symbol_t sp); |
char* get_symbol_by_tag(int tag); |
|
|
/* for mathcap database */ |
/* for mathcap database */ |
mathcap *new_mathcap(); |
mathcap *new_mathcap(); |