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.
22 class BooleanPredicate;
27 class ElementFunction;
32 class FunctionOperator;
38 class PredicateOperator;
44 class IntegerEncodingRecord;
47 class ElementEncoding;
48 class FunctionEncoding;
61 struct IncrementalSolver;
62 typedef struct IncrementalSolver IncrementalSolver;
65 typedef struct TableEntry TableEntry;
70 typedef int TunableParam;
72 typedef unsigned int uint;
73 typedef long int int64;
74 typedef uint64_t VarType;