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
  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 struct SATEncoder;
  22 typedef struct SATEncoder SATEncoder;
  23
  24 typedef struct BooleanOrder BooleanOrder;
  25 typedef struct BooleanVar BooleanVar;
  26 typedef struct BooleanLogic BooleanLogic;
  27 typedef struct BooleanPredicate BooleanPredicate;
  28
  29 struct ASTNode;
  30 typedef struct ASTNode ASTNode;
  31
  32 struct Boolean;
  33 typedef struct Boolean Boolean;
  34
  35 struct IncrementalSolver;
  36 typedef struct IncrementalSolver IncrementalSolver;
  37
  38 struct Set;
  39 typedef struct Set Set;
  40 typedef struct Set MutableSet;
  41
  42 typedef struct ElementFunction ElementFunction;
  43 typedef struct ElementSet ElementSet;
  44
  45 struct Element;
  46 typedef struct Element Element;
  47
  48 typedef struct FunctionOperator FunctionOperator;
  49 typedef struct FunctionTable FunctionTable;
  50
  51 struct Function;
  52 typedef struct Function Function;
  53
  54 struct Predicate;
  55 typedef struct Predicate Predicate;
  56
  57 struct PredicateTable;
  58 typedef struct PredicateTable PredicateTable;
  59
  60 struct PredicateOperator;
  61 typedef struct PredicateOperator PredicateOperator;
  62
  63 struct Table;
  64 typedef struct Table Table;
  65
  66 struct Order;
  67 typedef struct Order Order;
  68
  69 struct OrderPair;
  70 typedef struct OrderPair OrderPair;
  71
  72 struct ElementEncoding;
  73 typedef struct ElementEncoding ElementEncoding;
  74
  75 struct FunctionEncoding;
  76 typedef struct FunctionEncoding FunctionEncoding;
  77
  78 struct OrderEncoding;
  79 typedef struct OrderEncoding OrderEncoding;
  80
  81 struct TableEntry;
  82 typedef struct TableEntry TableEntry;
  83
  84 typedef unsigned int uint;
  85 typedef uint64_t VarType;
  86 #endif