equalsrecord.h

   1 /*      Copyright (c) 2015 Regents of the University of California
   2  *
   3  *      Author: Brian Demsky <bdemsky@uci.edu>
   4  *
   5  *      This program is free software; you can redistribute it and/or
   6  *      modify it under the terms of the GNU General Public License
   7  *      version 2 as published by the Free Software Foundation.
   8  */
   9
  10 #ifndef EQUALSRECORD_H
  11 #define EQUALSRECORD_H
  12 #include "classlist.h"
  13
  14 class EqualsRecord {
  15 public:
  16         EqualsRecord(ConstGen *cg, EPRecord *func);
  17         ~EqualsRecord();
  18         Constraint * getValueEncoding(uint64_t val);
  19         EPRecord *getRecord() {return equals;}
  20
  21         MEMALLOC;
  22 private:
  23         EPRecord *equals;
  24         Constraint *vars;
  25 };
  26 #endif