a68g-postulates.h
1 //! @file a68g-postulates.h
2 //! @author J. Marcel van der Veer
3
4 //! @section Copyright
5 //!
6 //! This file is part of Algol68G - an Algol 68 compiler-interpreter.
7 //! Copyright 2001-2023 J. Marcel van der Veer [algol68g@xs4all.nl].
8
9 //! @section License
10 //!
11 //! This program is free software; you can redistribute it and/or modify it
12 //! under the terms of the GNU General Public License as published by the
13 //! Free Software Foundation; either version 3 of the License, or
14 //! (at your option) any later version.
15 //!
16 //! This program is distributed in the hope that it will be useful, but
17 //! WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
18 //! or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
19 //! more details. You should have received a copy of the GNU General Public
20 //! License along with this program. If not, see [http://www.gnu.org/licenses/].
21
22 //! @section Synopsis
23 //!
24 //! Definitions related to postulates.
25
26 #if !defined (__A68G_POSTULATES_H__)
27 #define __A68G_POSTULATES_H__
28
29 void init_postulates (void);
30 void free_postulate_list (POSTULATE_T *, POSTULATE_T *);
31 void make_postulate (POSTULATE_T **, MOID_T *, MOID_T *);
32 POSTULATE_T *is_postulated (POSTULATE_T *, MOID_T *);
33 POSTULATE_T *is_postulated_pair (POSTULATE_T *, MOID_T *, MOID_T *);
34
35 #endif
