#include <stdio.h>
#include <string.h>

#include "gate.h"
#include "logic.h"
#include "parser.h"

int main(int argc, char **argv) {
	char buf[4096];
	FILE *fd = stdin;

	(void)argc;
	(void)argv;

	gate_init();

	while (NULL != fgets(buf, sizeof(buf), fd)) {
		if (parse_line(buf)) {
			return 1;
		}
	}

	gate_set_input("a", LOGIC_LOW);
	gate_set_input("b", LOGIC_LOW);
	gate_update();
	gate_dump();

	return 0;
}