Implementing the new semantics of predicates when a label is thrown

1 files changed, 5 insertions, 0 deletions

diff --git a/lptypes.h b/lptypes.h
index 25e84a2..d523e27 100644
--- a/lptypes.h
+++ b/lptypes.h
@@ -150,6 +150,11 @@ typedef struct Charset {
 /* update the farthest failure */
 #define updatefarthest(s1,s2) { if ((s2) > (s1)) s1 = s2; }
 
+/* indicate whether the machine is matching a predicate or not */
+#define OUTPRED 0
+#define NOTPRED 1
+#define ANDPRED 2
+
 /* labeled failure end */
 
 #endif