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 "astops.h"
   7 #include "structs.h"
   8 #include "astnode.h"
   9 #include "functionencoding.h"
  10 #include "constraint.h"
  11 #include "serializer.h"
  12
  13 class Boolean : public ASTNode {
  14 public:
  15         Boolean(ASTNodeType _type);
  16         virtual ~Boolean() {}
  17         virtual Boolean *clone(CSolver *solver, CloneMap *map) = 0;
  18         virtual void serialize(Serializer * ) = 0;
  19         virtual void print() = 0;
  20         virtual bool isTrue() {return boolVal == BV_MUSTBETRUE;}
  21         virtual bool isFalse() {return boolVal == BV_MUSTBEFALSE;}
  22         Polarity polarity;
  23         BooleanValue boolVal;
  24         Vector<Boolean *> parents;
  25         virtual void updateParents() {}
  26
  27         CMEMALLOC;
  28 };
  29
  30 class BooleanConst : public Boolean {
  31 public:
  32         BooleanConst(bool isTrue);
  33         Boolean *clone(CSolver *solver, CloneMap *map);
  34         bool isTrue() {return istrue;}
  35         bool isFalse() {return !istrue;}
  36         void serialize(Serializer *serializer ) {};
  37         virtual void print();
  38         bool istrue;
  39         CMEMALLOC;
  40 };
  41
  42 class BooleanVar : public Boolean {
  43 public:
  44         BooleanVar(VarType t);
  45         Boolean *clone(CSolver *solver, CloneMap *map);
  46         void serialize(Serializer *serializer );
  47         virtual void print();
  48         VarType vtype;
  49         Edge var;
  50         CMEMALLOC;
  51 };
  52
  53 class BooleanOrder : public Boolean {
  54 public:
  55         BooleanOrder(Order *_order, uint64_t _first, uint64_t _second);
  56         Boolean *clone(CSolver *solver, CloneMap *map);
  57         void serialize(Serializer *serializer );
  58         virtual void print();
  59         void updateParents();
  60
  61         Order *order;
  62         uint64_t first;
  63         uint64_t second;
  64         CMEMALLOC;
  65 };
  66
  67 class BooleanPredicate : public Boolean {
  68 public:
  69         BooleanPredicate(Predicate *_predicate, Element **_inputs, uint _numInputs, BooleanEdge _undefinedStatus);
  70         Boolean *clone(CSolver *solver, CloneMap *map);
  71         Predicate *getPredicate() {return predicate;}
  72         FunctionEncoding *getFunctionEncoding() {return &encoding;}
  73         void updateParents();
  74         void serialize(Serializer *serializer );
  75         virtual void print();
  76         CMEMALLOC;
  77
  78         Predicate *predicate;
  79         FunctionEncoding encoding;
  80         Array<Element *> inputs;
  81         BooleanEdge undefStatus;
  82 };
  83
  84 class BooleanLogic : public Boolean {
  85 public:
  86         BooleanLogic(CSolver *solver, LogicOp _op, BooleanEdge *array, uint asize);
  87         Boolean *clone(CSolver *solver, CloneMap *map);
  88         void serialize(Serializer *serializer );
  89         virtual void print();
  90         LogicOp op;
  91         bool replaced;
  92         Array<BooleanEdge> inputs;
  93         void updateParents();
  94
  95         CMEMALLOC;
  96 };
  97 BooleanEdge cloneEdge(CSolver *solver, CloneMap *map, BooleanEdge e);
  98
  99
 100 #endif