diff options
Diffstat (limited to 'proposition.c')
| -rw-r--r-- | proposition.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/proposition.c b/proposition.c index 76ae4cd..2c1410c 100644 --- a/proposition.c +++ b/proposition.c @@ -1,4 +1,5 @@ #include "proposition.h" +/* a proposition defines a relation between two propositions */ prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation) { prop_t prop; prop.propA = propA; @@ -6,6 +7,7 @@ prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation) { prop.relation = relation; return prop; } +/* a simple proposition is one with only a name */ prop_t init_simple_prop(char* name) { prop_t prop; prop.name = name; |