More SAT Encoder
[satune.git] / src / AST / boolean.h
1 #ifndef BOOLEAN_H
2 #define BOOLEAN_H
3 #include "classlist.h"
4 #include "mymemory.h"
5 #include "ops.h"
6
7 /** 
8                 This is a little sketchy, but apparently legit.
9                 https://www.python.org/dev/peps/pep-3123/ */
10
11 #define GETBOOLEANTYPE(o) (((Boolean *)(o))->btype)
12
13 struct Boolean {
14         BooleanType btype;
15 };
16
17 struct BooleanOrder {
18         Boolean base;
19         Order* order;
20         uint64_t first;
21         uint64_t second;
22 };
23
24 struct BooleanVar {
25         Boolean base;
26         VarType vtype;
27         Constraint * var;
28 };
29
30 struct BooleanLogic {
31         Boolean base;
32         LogicOp op;
33         Boolean * left;
34         Boolean * right;
35 };
36
37 struct BooleanComp {
38         Boolean base;
39         CompOp op;
40         Boolean * left;
41         Boolean * right;
42 };
43
44
45
46 Boolean * allocBoolean(VarType t);
47 Boolean * allocBooleanOrder(Order * order, uint64_t first, uint64_t second);
48 void deleteBoolean(Boolean * This);
49
50 #endif