#ifndef _DEFINES_H_
#define _DEFINES_H_

#define BUF_SIZE 100
#define TRUE 1
#define UNASSIGNED 0
#define FALSE -1

#define extend(a, i) { if (i > 0) a[i - 1] = TRUE; else a[-i - 1] = FALSE; }
#define unassign(a, i) { if (i > 0) a[i - 1] = UNASSIGNED; else a[-i - 1] = UNASSIGNED; }

int pick_unassigned_symbol(char **clauses, char *assignment);

int check_if_all_clauses_true(char **clauses, char *assignment);

int check_if_any_clause_false(char **clauses, char *assignment);

int find_pure_symbol(char **clauses, char *assignment, int min_index);

int find_unit_clause(char **clauses, char *assignment, int min_index);

char dpll(char **clauses, char *assignment);

#endif