#ifndef GCC_ANALYZER_CONSTRAINT_MANAGER_H
#define GCC_ANALYZER_CONSTRAINT_MANAGER_H
+namespace ana {
+
class constraint_manager;
/* Abstract base class for specifying how state should be purged. */
equiv_class_id rhs_id);
};
+} // namespace ana
+
#endif /* GCC_ANALYZER_CONSTRAINT_MANAGER_H */