summaryrefslogtreecommitdiff
path: root/dat.h
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-16 20:09:02 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-16 20:09:02 +0000
commit3f316c5c9265618fe7095cc39c4cb10909cbe468 (patch)
treed01a693fd4f19e56a644905848b38aaef4974025 /dat.h
parent8ef27e2fe652a8b29a8b57589863f2f2b45f9425 (diff)
Implement a bit more of prolog flag predicates set_prolog_flag/2 and current_prolog_flag/2
Diffstat (limited to 'dat.h')
-rw-r--r--dat.h35
1 files changed, 35 insertions, 0 deletions
diff --git a/dat.h b/dat.h
index 5e1641e..5cf3001 100644
--- a/dat.h
+++ b/dat.h
@@ -109,13 +109,48 @@ int debug;
/* Flags */
enum {
+ BoundedTrue,
+ BoundedFalse,
+};
+
+enum {
+ IntegerRoundDown,
+ IntegerRoundTowardZero,
+};
+
+enum {
+ CharConversionOn,
+ CharConversionOff,
+};
+
+enum {
+ DebugOn,
+ DebugOff,
+};
+
+enum {
+ UnknownError,
+ UnknownFail,
+ UnknownWarning,
+};
+
+enum {
DoubleQuotesChars,
DoubleQuotesCodes,
DoubleQuotesAtom,
};
+int flagbounded;
+vlong flagmaxinteger;
+vlong flagmininteger;
+int flagintegerroundingfunction;
+int flagcharconversion;
+int flagdebug;
+vlong flagmaxarity;
+int flagunknown;
int flagdoublequotes;
+
/* State of the running system */
Choicepoint *choicestack;
Goal *goalstack;