namespace CVC4 {
namespace theory {
namespace arith {

struct SlackAttrID;

typedef expr::Attribute<SlackAttrID, Node> Slack;


}; /* namespace arith */
}; /* namespace theory */
}; /* namespace CVC4 */