#ifndef IMPLICANTS_H
#define IMPLICANTS_H
#include "lists.h"
#include "types.h"
#include <inttypes.h>

#define MAXLITERALS (sizeof(literals_t) << 3)
typedef unsigned long long literals_t;

typedef struct {
	node_t node;
	literals_t expr, care;
} implicant_t;

int one_count (implicant_t *);
int zero_count (implicant_t *);
int x_count (implicant_t *);
boolean_t covers (implicant_t *, implicant_t *);
boolean_t can_group (implicant_t *, implicant_t *);
boolean_t is_essential (implicant_t *, list_t);
int get_minterm_list (list_t *);
char *implicanttoa (implicant_t *, char *);

#endif