diff options
Diffstat (limited to 'proposition.h')
| -rw-r--r-- | proposition.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/proposition.h b/proposition.h index 95f377c..2d09688 100644 --- a/proposition.h +++ b/proposition.h @@ -2,14 +2,15 @@ #define PROPOSITION #include "lexer.h" typedef struct Proposition { + char isSimple; + char isNegative; struct Proposition* propA; struct Proposition* propB; tokenType_t relation; char* name; - char isSimple; } prop_t; -prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation); -prop_t init_simple_prop(char* name); +prop_t init_prop(char isNegative, prop_t* propA, prop_t* propB, tokenType_t relation); +prop_t init_simple_prop(char isNegative, char* name); typedef enum JustificationRule { ERR_R, PREMISE_R, |