25#include "Variable.hpp"
36ostream& operator<<(ostream& out,
const Variable& v) {
37 out <<
"Var: " << setw(params::output_width) << v.name
38 <<
" ID: " << setw(params::output_width) << v.id;
39 if (v.substitution !=
nullptr)
Basic representation of variables.