From caa9d17ea794a0b4823170551545498d458e1fc2 Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Tue, 13 Jun 2023 14:21:07 -0700 Subject: implemented scoping for some justifications, added helper functions --- parse.h | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'parse.h') 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 -- cgit v1.3.1