Algol 68 Genie

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-2026 J. Marcel van der Veer [algol68g@algol68genie.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 *, const POSTULATE_T *);
  31  void make_postulate (POSTULATE_T **, MOID_T *, MOID_T *);
  32  POSTULATE_T *is_postulated (POSTULATE_T *, const MOID_T *);
  33  POSTULATE_T *is_postulated_pair (POSTULATE_T *, const MOID_T *, const MOID_T *);
  34  
  35  #endif