determinations.h File Reference

Determinations of the compile time constants, which we can not calculate (so far). More...

#include <cstddef>

Include dependency graph for determinations.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	DET_MAXSTRINGLEN   100000
	Maximum length of strings accepted and written to leon-format output.
#define	DET_MAXQLITERAL   100000
	Maximum length of rational literals accepted and written to leon-format output.
#define	DET_MAXNAMELEN   1000
	Maximum length of names accepted and written to leon-format output.
#define	DET_MAXVOCNESTING   16
	Maximum nesting of vocabularies.

Variables
constexpr size_t	DET_MAXARRAYNESTING = 1000
	The maximum number of nesting levels of procedures accepted by the bind operator.
constexpr size_t	DET_MAXDAGHEIGHT = 1999
	The maximum number of nesting levels of composite semantic objects.
constexpr size_t	DET_MAXODO = 10
	Maximum odo iterations.
constexpr size_t	DET_REALPRECISION = 10
	Initial real precision for output.
constexpr size_t	DET_MAXLOADLEVEL = 1000
	A maximum of nesting load levels of name objects.

Detailed Description

Determinations of the compile time constants, which we can not calculate (so far).

This file is included in C++ and C compile units.

Copyright

  Leonardus, a minimalist stack-based programming system.
  Copyright (C) 2025  Andreas Muckenschnabel
This program 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.
This program 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 this program.
If not, see https://www.gnu.org/licenses/.