functionrecord.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 FUNCTIONRECORD_H
  11 #define FUNCTIONRECORD_H
  12 #include "classlist.h"
  13
  14 class FunctionRecord {
  15  public:
  16         FunctionRecord(ConstGen *cg, EPRecord *func);
  17         ~FunctionRecord();
  18         Constraint * getValueEncoding(uint64_t val);
  19         Constraint * getNoValueEncoding();
  20
  21         MEMALLOC;
  22  private:
  23         EPRecord *function;
  24   Constraint **vars;
  25         uint numvars;
  26 };
  27 #endif