8 #include "functionencoding.h"
9 #include "constraint.h"
11 class Boolean : public ASTNode {
13 Boolean(ASTNodeType _type);
15 virtual Boolean *clone(CSolver *solver, CloneMap *map) { ASSERT(0); return NULL; }
18 Vector<Boolean *> parents;
22 class BooleanVar : public Boolean {
24 BooleanVar(VarType t);
25 Boolean *clone(CSolver *solver, CloneMap *map);
32 class BooleanOrder : public Boolean {
34 BooleanOrder(Order *_order, uint64_t _first, uint64_t _second);
35 Boolean *clone(CSolver *solver, CloneMap *map);
43 class BooleanPredicate : public Boolean {
45 BooleanPredicate(Predicate *_predicate, Element **_inputs, uint _numInputs, Boolean *_undefinedStatus);
46 Boolean *clone(CSolver *solver, CloneMap *map);
49 FunctionEncoding encoding;
50 Array<Element *> inputs;
52 FunctionEncoding *getFunctionEncoding() {return &encoding;}
56 class BooleanLogic : public Boolean {
58 BooleanLogic(CSolver *solver, LogicOp _op, Boolean **array, uint asize);
59 Boolean *clone(CSolver *solver, CloneMap *map);
62 Array<Boolean *> inputs;