summaryrefslogtreecommitdiff
path: root/src/theory/arith/slack.h
blob: 37595fda599b4649052b174101fedf0d05b59e70 (plain) 
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 */
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback