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 #define bool int
  16 #define true 1
  17 #define false 0
  18
  19 struct CSolver;
  20 typedef struct CSolver CSolver;
  21
  22 struct Constraint;
  23 typedef struct Constraint Constraint;
  24
  25 struct Boolean;
  26 typedef struct Boolean Boolean;
  27
  28 struct IncrementalSolver;
  29 typedef struct IncrementalSolver IncrementalSolver;
  30
  31 struct Set;
  32 typedef struct Set Set;
  33
  34 typedef struct Set MutableSet;
  35
  36 struct Element;
  37 typedef struct Element Element;
  38
  39 struct Function;
  40 typedef struct Function Function;
  41
  42 struct Predicate;
  43 typedef struct Predicate Predicate;
  44
  45 struct Table;
  46 typedef struct Table Table;
  47
  48 struct Order;
  49 typedef struct Order Order;
  50
  51 struct ElementEncoder;
  52 typedef struct ElementEncoder ElementEncoder;
  53
  54 struct FunctionEncoder;
  55 typedef struct FunctionEncoder FunctionEncoder;
  56
  57 typedef unsigned int uint;
  58 typedef uint64_t VarType;
  59 #endif