Here is a list of all typedefs with links to the files they belong to:

- x -

• xFloat_t : utilFloat.h
• xSAT_BQueue_t : xsatBQueue.h
• xSAT_Clause_t : xsatClause.h
• xSAT_Heap_t : xsatHeap.h
• xSAT_Mem_t : xsatMemory.h
• xSAT_Solver_t : xsat.h
• xSAT_SolverOptions_t : xsatSolver.h
• xSAT_Stats_t : xsatSolver.h
• xSAT_VecWatchList_t : xsatWatchList.h
• xSAT_Watcher_t : xsatWatchList.h
• xSAT_WatchList_t : xsatWatchList.h
• Xyz_ManTry_t : dauCore.c
• Xyz_ParTry_t : dauCore.c