a9d07026820c867ae32c69cd5a00fcc08552d411
[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 #include "structs.h"
7 #include "astnode.h"
8
9 /**
10     This is a little sketchy, but apparently legit.
11     https://www.python.org/dev/peps/pep-3123/ */
12
13 #define GETBOOLEANTYPE(o) GETASTNODETYPE(o)
14 #define GETBOOLEANPARENTS(o) (&((Boolean *)(o))->parents)
15
16 struct Boolean {
17         ASTNode base;
18         VectorBoolean parents;
19 };
20
21 struct BooleanOrder {
22         Boolean base;
23         Order* order;
24         uint64_t first;
25         uint64_t second;
26 };
27
28 struct BooleanVar {
29         Boolean base;
30         VarType vtype;
31         Constraint * var;
32 };
33
34 struct BooleanLogic {
35         Boolean base;
36         LogicOp op;
37         ArrayBoolean inputs;
38 };
39
40 struct BooleanPredicate {
41         Boolean base;
42         Predicate * predicate;
43         ArrayElement inputs;
44 };
45
46 Boolean * allocBoolean(VarType t);
47 Boolean * allocBooleanOrder(Order * order, uint64_t first, uint64_t second);
48 Boolean * allocBooleanPredicate(Predicate * predicate, Element ** inputs, uint numInputs);
49 Boolean * allocBooleanLogicArray(CSolver *solver, LogicOp op, Boolean ** array, uint asize);
50 void deleteBoolean(Boolean * This);
51
52 #endif