1 2 3 4 5 6 7 8 9 10 11 12 13 14
namespace CVC4 { namespace theory { namespace arith { struct SlackAttrID; typedef expr::Attribute<SlackAttrID, Node> Slack; }; /* namespace arith */ }; /* namespace theory */ }; /* namespace CVC4 */