valuerecord.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 VALUERECORD_H
  11 #define VALUERECORD_H
  12 #include "classlist.h"
  13
  14 class ValueRecord {
  15  public:
  16         ValueRecord(IntHashSet *set);
  17   ~ValueRecord();
  18   Constraint * getValueEncoding(Constraint **vars, uint64_t value);
  19         uint64_t getValue(Constraint **vars, bool *satsolution);
  20         uint getNumVars() {return numvars;}
  21         MEMALLOC;
  22  private:
  23         IntHashSet *set;
  24         uint numvars;
  25 };
  26 #endif