src/classlist.h

   1 /*      Copyright (c) 2015 Regents of the University of California
   2  *
   3  *      Author: Brian Demsky <bdemsky@uci.edu>
   4  *
   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.
   8  */
   9
  10 #ifndef CLASSLIST_H
  11 #define CLASSLIST_H
  12
  13 #include "mymemory.h"
  14 #include <inttypes.h>
  15
  16 class CSolver;
  17 class SATEncoder;
  18 class Boolean;
  19 class BooleanOrder;
  20 class BooleanVar;
  21 class BooleanLogic;
  22 class BooleanPredicate;
  23 class ASTNode;
  24 class Set;
  25 class MutableSet;
  26
  27 class ElementFunction;
  28 class ElementSet;
  29 class ElementConst;
  30 class Element;
  31
  32 class FunctionOperator;
  33 class FunctionTable;
  34 class Function;
  35
  36 class Predicate;
  37 class PredicateTable;
  38 class PredicateOperator;
  39 class Table;
  40 class Order;
  41 class OrderPair;
  42
  43 class OrderElement;
  44 class IntegerEncodingRecord;
  45 class Transform;
  46 class Pass;
  47 class Transformer;
  48 class AnalysisData;
  49
  50 class ElementEncoding;
  51 class FunctionEncoding;
  52 class OrderEncoding;
  53
  54 class OrderGraph;
  55 class OrderNode;
  56 class OrderEdge;
  57
  58 class AutoTuner;
  59 class SearchTuner;
  60 class TunableSetting;
  61
  62 struct IncrementalSolver;
  63 typedef struct IncrementalSolver IncrementalSolver;
  64
  65 struct TableEntry;
  66 typedef struct TableEntry TableEntry;
  67
  68 class Tuner;
  69 class TunableDesc;
  70
  71 typedef int TunableParam;
  72
  73 typedef unsigned int uint;
  74 typedef long int int64;
  75 typedef uint64_t VarType;
  76 #endif