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 #include "hashset.h"
  13 #include "mymemory.h"
  14 #include <inttypes.h>
  15
  16 struct Constraint;
  17 typedef struct Constraint Constraint;
  18
  19 struct Boolean;
  20 typedef struct Boolean Boolean;
  21
  22 struct IncrementalSolver;
  23 typedef struct IncrementSolver IncrementalSolver;
  24
  25 struct Set;
  26 typedef struct Set Set;
  27
  28 typedef struct Set MutableSet;
  29
  30 struct Element;
  31 typedef struct Element Element;
  32
  33 struct Function;
  34 typedef struct Function Function;
  35
  36 struct Predicate;
  37 typedef struct Predicat Predicate;
  38
  39 struct Table;
  40 typedef struct Table Table;
  41
  42 struct Order;
  43 typedef struct Order Order;
  44
  45 typedef unsigned int uint;
  46 typedef uint64_t VarType;
  47 #endif