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