implemented scoping for some justifications, added helper functions

1 files changed, 5 insertions, 0 deletions

diff --git a/parse.h b/parse.h
index 84b3613..c6e76ec 100644
--- a/parse.h
+++ b/parse.h
@@ -23,5 +23,10 @@ lineSet_t parse_lines(char* content, int lineCount);
 line_t parse_line(char* content);
 prop_t parse_proposition(tokenSet_t tokenSet, int* seek, char isNegative);
 just_t parse_justification(tokenSet_t tokenSet);
+/* proposition equal */
 char peq(prop_t prop1, prop_t prop2);
+/* scope is lesser than in depth and ID */
+char slt(scope_t scope1, scope_t scope2);
+/* scope is equal to or lesser than in depth and ID */
+char seqlt(scope_t scope1, scope_t scope2);
 #endif