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.
18 typedef struct SATEncoder SATEncoder;
24 class BooleanPredicate;
29 class ElementFunction;
34 class FunctionOperator;
40 class PredicateOperator;
45 struct IncrementalSolver;
46 typedef struct IncrementalSolver IncrementalSolver;
51 typedef struct OrderElement OrderElement;
53 class ElementEncoding;
54 class FunctionEncoding;
58 typedef struct TableEntry TableEntry;
61 typedef struct OrderGraph OrderGraph;
64 typedef struct OrderNode OrderNode;
67 typedef struct OrderEdge OrderEdge;
70 typedef struct OrderEncoder OrderEncoder;
73 typedef struct Tuner Tuner;
75 typedef struct TunableDesc TunableDesc;
76 typedef int TunableParam;
78 typedef unsigned int uint;
79 typedef long int int64;
80 typedef uint64_t VarType;