1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
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.
12 #include "classlist.h"
16 ValueRecord(IntHashSet *set);
18 Constraint * getValueEncoding(Constraint **vars, uint64_t value);
19 uint64_t getValue(Constraint **vars, bool *satsolution);
20 uint getNumVars() {return numvars;}