Algol 68 Genie

a68g-postulates.h

You can download the current version of Algol 68 Genie and its documentation here.
   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 .
   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 .
  21 
  22 #if !defined (__A68G_POSTULATES_H__)
  23 #define __A68G_POSTULATES_H__
  24 
  25 extern void init_postulates (void);
  26 extern void free_postulate_list (POSTULATE_T *, POSTULATE_T *);
  27 extern void make_postulate (POSTULATE_T **, MOID_T *, MOID_T *);
  28 extern POSTULATE_T *is_postulated (POSTULATE_T *, MOID_T *);
  29 extern POSTULATE_T *is_postulated_pair (POSTULATE_T *, MOID_T *, MOID_T *);
  30 
  31 #endif