From a320cdba33150895d9d1dd7d696c8ef4161ae3dc Mon Sep 17 00:00:00 2001 From: Zander Thannhauser Date: Tue, 10 Jun 2025 21:03:26 -0500 Subject: [PATCH] . --- main.c | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/main.c b/main.c index ac65c03..22aca34 100644 --- a/main.c +++ b/main.c @@ -62,6 +62,11 @@ static void parse_args(int argc, char* const* argv) // fallthrough case 'e': + { + use_operators.not = true; + use_operators.or = true; + use_operators.and = true; + use_operators.orn = true; use_operators.nor = true; @@ -73,7 +78,8 @@ static void parse_args(int argc, char* const* argv) unset_operators = false; break; - + } + case 'o': { unset_operators = false; @@ -336,10 +342,10 @@ void calculate_simplifications(void) costs[truthtable] = cost; } - append(W, 0), lookup[W].kind = ek_W; - append(X, 0), lookup[X].kind = ek_X; - append(Y, 0), lookup[Y].kind = ek_Y; - append(Z, 0), lookup[Z].kind = ek_Z; + append(W, 1), lookup[W].kind = ek_W; + append(X, 1), lookup[X].kind = ek_X; + append(Y, 1), lookup[Y].kind = ek_Y; + append(Z, 1), lookup[Z].kind = ek_Z; append(0, 1), lookup[0].kind = ek_0; append(M, 1), lookup[M].kind = ek_1;