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.
21 typedef struct SATEncoder SATEncoder;
27 class BooleanPredicate;
30 struct IncrementalSolver;
31 typedef struct IncrementalSolver IncrementalSolver;
34 typedef class Set MutableSet;
36 class ElementFunction;
41 class FunctionOperator;
47 class PredicateOperator;
52 typedef struct OrderPair OrderPair;
55 typedef struct OrderElement OrderElement;
57 struct ElementEncoding;
58 typedef struct ElementEncoding ElementEncoding;
60 struct FunctionEncoding;
61 typedef struct FunctionEncoding FunctionEncoding;
64 typedef struct OrderEncoding OrderEncoding;
67 typedef struct TableEntry TableEntry;
70 typedef struct OrderGraph OrderGraph;
73 typedef struct OrderNode OrderNode;
76 typedef struct OrderEdge OrderEdge;
79 typedef struct OrderEncoder OrderEncoder;
82 typedef struct Tuner Tuner;
84 typedef struct TunableDesc TunableDesc;
85 typedef int TunableParam;
87 typedef unsigned int uint;
88 typedef long int int64;
89 typedef uint64_t VarType;