#include <string>
#include <vector>
#include <map>
#include "simbolo.H"
#include "formula_impl.H"
Ir para o código fonte deste ficheiro.