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.
20 typedef struct CSolver CSolver;
22 typedef struct SATEncoder SATEncoder;
28 class BooleanPredicate;
31 struct IncrementalSolver;
32 typedef struct IncrementalSolver IncrementalSolver;
35 typedef class Set MutableSet;
37 class ElementFunction;
42 class FunctionOperator;
48 class PredicateOperator;
53 typedef struct OrderPair OrderPair;
56 typedef struct OrderElement OrderElement;
58 struct ElementEncoding;
59 typedef struct ElementEncoding ElementEncoding;
61 struct FunctionEncoding;
62 typedef struct FunctionEncoding FunctionEncoding;
65 typedef struct OrderEncoding OrderEncoding;
68 typedef struct TableEntry TableEntry;
71 typedef struct OrderGraph OrderGraph;
74 typedef struct OrderNode OrderNode;
77 typedef struct OrderEdge OrderEdge;
80 typedef struct OrderEncoder OrderEncoder;
83 typedef struct Tuner Tuner;
85 typedef struct TunableDesc TunableDesc;
86 typedef int TunableParam;
88 typedef unsigned int uint;
89 typedef long int int64;
90 typedef uint64_t VarType;