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