#ifndef TRUTH_TABLE_HG_
#define TRUTH_TABLE_HG_
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include "tree.h"

struct truth_table {
  uint32_t *lines;
  uint8_t lines_count;
  char *letters;
  size_t letters_count;
};

struct expr_input_iter {
  struct truth_table *src;
  uint32_t acc;
  uint32_t count;
};

struct expr_input_iter expr_input_iter_init(struct truth_table *tt);
int32_t expr_input_iter_next(struct expr_input_iter *self);

struct truth_table *truth_table_create(node *root, uint32_t letters_bitfield);
void truth_table_destroy(struct truth_table *tt);
void truth_table_fprint(FILE *stream, struct truth_table *tt);

#endif // TRUTH_TABLE_HG_