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 #include "functionencoding.h"
   9 #include "constraint.h"
  10
  11 class Boolean : public ASTNode {
  12 public:
  13         Boolean(ASTNodeType _type);
  14         virtual ~Boolean() {}
  15         virtual Boolean *clone(CSolver *solver, CloneMap *map) { ASSERT(0); return NULL; }
  16         Polarity polarity;
  17         BooleanValue boolVal;
  18         Vector<Boolean *> parents;
  19         MEMALLOC;
  20 };
  21
  22 class BooleanVar : public Boolean {
  23 public:
  24         BooleanVar(VarType t);
  25         Boolean *clone(CSolver *solver, CloneMap *map);
  26
  27         VarType vtype;
  28         Edge var;
  29         MEMALLOC;
  30 };
  31
  32 class BooleanOrder : public Boolean {
  33 public:
  34         BooleanOrder(Order *_order, uint64_t _first, uint64_t _second);
  35         Boolean *clone(CSolver *solver, CloneMap *map);
  36
  37         Order *order;
  38         uint64_t first;
  39         uint64_t second;
  40         MEMALLOC;
  41 };
  42
  43 class BooleanPredicate : public Boolean {
  44 public:
  45         BooleanPredicate(Predicate *_predicate, Element **_inputs, uint _numInputs, Boolean *_undefinedStatus);
  46         Boolean *clone(CSolver *solver, CloneMap *map);
  47
  48         Predicate *predicate;
  49         FunctionEncoding encoding;
  50         Array<Element *> inputs;
  51         Boolean *undefStatus;
  52         FunctionEncoding *getFunctionEncoding() {return &encoding;}
  53         MEMALLOC;
  54 };
  55
  56 class BooleanLogic : public Boolean {
  57 public:
  58         BooleanLogic(CSolver *solver, LogicOp _op, Boolean **array, uint asize);
  59         Boolean *clone(CSolver *solver, CloneMap *map);
  60
  61         LogicOp op;
  62         Array<Boolean *> inputs;
  63         MEMALLOC;
  64 };
  65 #endif