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 #define bool int
  16 #define true 1
  17 #define false 0
  18
  19 class CSolver;
  20 struct SATEncoder;
  21 typedef struct SATEncoder SATEncoder;
  22
  23 class Boolean;
  24 class BooleanOrder;
  25 class BooleanVar;
  26 class BooleanLogic;
  27 class BooleanPredicate;
  28 class ASTNode;
  29 class Set;
  30 typedef class Set MutableSet;
  31
  32 class ElementFunction;
  33 class ElementSet;
  34 class ElementConst;
  35 class Element;
  36
  37 class FunctionOperator;
  38 class FunctionTable;
  39 class Function;
  40
  41 class Predicate;
  42 class PredicateTable;
  43 class PredicateOperator;
  44 class Table;
  45 class Order;
  46
  47 struct IncrementalSolver;
  48 typedef struct IncrementalSolver IncrementalSolver;
  49
  50 struct OrderPair;
  51 typedef struct OrderPair OrderPair;
  52
  53 struct OrderElement;
  54 typedef struct OrderElement OrderElement;
  55
  56 struct ElementEncoding;
  57 typedef struct ElementEncoding ElementEncoding;
  58
  59 struct FunctionEncoding;
  60 typedef struct FunctionEncoding FunctionEncoding;
  61
  62 struct OrderEncoding;
  63 typedef struct OrderEncoding OrderEncoding;
  64
  65 struct TableEntry;
  66 typedef struct TableEntry TableEntry;
  67
  68 struct OrderGraph;
  69 typedef struct OrderGraph OrderGraph;
  70
  71 struct OrderNode;
  72 typedef struct OrderNode OrderNode;
  73
  74 struct OrderEdge;
  75 typedef struct OrderEdge OrderEdge;
  76
  77 struct OrderEncoder;
  78 typedef struct OrderEncoder OrderEncoder;
  79
  80 struct Tuner;
  81 typedef struct Tuner Tuner;
  82 struct TunableDesc;
  83 typedef struct TunableDesc TunableDesc;
  84 typedef int TunableParam;
  85
  86 typedef unsigned int uint;
  87 typedef long int int64;
  88 typedef uint64_t VarType;
  89 #endif