Small edit
[satune.git] / 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 typedef uint64_t VarType;
30 typedef unsigned int uint;
31
32 #endif