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 class Constraint;
  17 class IncrementalSolver;
  18 class Set;
  19 class MutableSet;
  20 class Element;
  21 class Function;
  22 class Predicate;
  23 class Table;
  24 class Order;
  25
  26 typedef unsigned int uint;
  27 typedef uint64_t VarType;
  28 #endif