#ifndef FORMULA_H
#define FORMULA_H

#include "assignment.h"

struct node;

typedef node * formula;

formula new_formula(char symbol, formula left, formula right);
void print_formula(formula f);
formula read_formula();
retval apply_assignment(formula &f, assignment a);
retval simplify(formula &f);

#endif