another benchmark
[satcheck.git] / loadrf.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 LOADRF_H
11 #define LOADRF_H
12 #include "classlist.h"
13
14 class LoadRF {
15 public:
16         LoadRF(EPRecord *_load, ConstGen *cg);
17         ~LoadRF();
18         void genConstraints(ConstGen *cg);
19
20         MEMALLOC;
21 private:
22         EPRecord *load;
23         uint numvars;
24         Constraint ** vars;
25 };
26 #endif