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