equation → util Relation

File in src/goto-symex/equation	Includes file in src/util
slice.cpp	base / prefix.h
slice.h	config / options.h
slice.h	base / time_stopping.h
ssa_step_algorithm.cpp	message / message.h
ssa_step_algorithm.h	base / algorithm.h
symex_symmetry.cpp	message / message.h
symex_target.h	irep / expr.h
symex_target.h	symtab / symbol.h
symex_target_equation.cpp	expr / expr_util.h
symex_target_equation.cpp	base / i2string.h
symex_target_equation.cpp	irep / migrate.h
symex_target_equation.cpp	irep / std_expr.h
symex_target_equation.h	config / config.h
symex_target_equation.h	symtab / namespace.h
symex_target_equation.h	base / threeval.h