projects
/
satune.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
[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
struct Order {
8
enum OrderType type;
9
Set * set;
10
VectorBoolean* constraints;
11
};
12
13
Order* allocOrder(enum OrderType type, Set * set);
14
Boolean* getOrderConstraint(Order* order,uint64_t first, uint64_t second);
15
#endif