#include <iostream>
//#include "formula.h"
#include "assignment.h"

using namespace std;

int main(){
  
  // step 1  
  assignment a = read_assignment();

  if (a==NULL) {
    cerr << "Assignment: syntax error!";
    return 1;
  }

  print_assignment(a); cout << endl;

  // step 2
//   formula f = read_formula();
  
//   if (f==NULL) {
//     cerr << "Formula: syntax error!";
//     return 1;
//   }

//   print_formula(f); cout << endl;
  
//   // step 3
//   retval r = apply_assignment(f,a);
  
//   if (r==FAIL){
//     cerr << "Assignment failed!";
//     return 1;
//   }

//   cout << "==========> ";
//   print_formula(f); cout << endl;
  
//   // step 4
//   r = simplify(f);
  
//   if (r==FAIL){
//     cerr << "Simplify failed!";
//     return 1;
//   }

//   cout << "==========> ";
//   print_formula(f); cout << endl;
  
  return 0;

}