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 class BooleanPredicate;
26 class ElementFunction;
30 class FunctionOperator;
36 class PredicateOperator;
42 class IntegerEncodingRecord;
48 class ElementEncoding;
49 class FunctionEncoding;
63 class DecomposeOrderResolver;
69 class ElementEncoding;
70 class FunctionEncoding;
72 struct IncrementalSolver;
73 typedef struct IncrementalSolver IncrementalSolver;
75 typedef struct TableEntry TableEntry;
76 typedef int TunableParam;
78 typedef struct Edge Edge;