projects
/
satune.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
0229982ff5b362e4effd3021ac955478aebc8d19
[satune.git]
/
src
/
AST
/
order.h
1
#ifndef ORDER_H
2
#define ORDER_H
3
#include "classlist.h"
4
#include "mymemory.h"
5
#include "structs.h"
6
#include "ops.h"
7
#include "orderencoding.h"
8
9
struct Order {
10
OrderType type;
11
Set * set;
12
VectorBoolean constraints;
13
OrderEncoding order;
14
};
15
16
Order* allocOrder(OrderType type, Set * set);
17
void deleteOrder(Order* order);
18
#endif