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