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