src/classes.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 CLASSES_H
  11 #define CLASSES_H
  12
  13 #include "mymemory.h"
  14 #include <inttypes.h>
  15
  16 class SATEncoder;
  17 class CSolver;
  18 class Boolean;
  19 class Element;
  20 class Predicate;
  21 class Table;
  22 class Order;
  23 class MutableSet;
  24 class Function;
  25 class Tuner;
  26 class Transformer;
  27 class Set;
  28 class BooleanLogic;
  29 class Serializer;
  30
  31 typedef uint64_t VarType;
  32 typedef unsigned int uint;
  33
  34 #endif