1#ifndef ROSE_BinaryAnalysis_SymbolicExpr_H
2#define ROSE_BinaryAnalysis_SymbolicExpr_H
5#include <rose_pragma_message.h>
6ROSE_PRAGMA_MESSAGE(
"This header is deprecated; use Rose/BinaryAnalysis/SymbolicExpression.h instead");
7#include <Rose/BinaryAnalysis/SymbolicExpression.h>
11 namespace BinaryAnalysis {
Namespace supplying types and functions for symbolic expressions.