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

- x -

• XAIG_VERBOSE : giaAiger.c
• xdbl : utilDouble.h
• xFloat_t : utilFloat.h
• XOR_GATE : congruence.c
• xSAT_BQueue_t : xsatBQueue.h
• xSAT_Clause_t : xsatClause.h
• xSAT_FileRead() : xsatCnfReader.c
• xSAT_Heap_t : xsatHeap.h
• xSAT_Mem_t : xsatMemory.h
• xSAT_Solver_t : xsat.h
• xSAT_SolverAddClause() : xsat.h, xsatSolverAPI.c
• xSAT_SolverAddVariable() : xsatSolverAPI.c
• xSAT_SolverCancelUntil() : xsatSolver.c, xsatSolver.h
• xSAT_SolverClaNew() : xsatSolver.c, xsatSolver.h
• xSAT_SolverClaRealloc() : xsatSolver.c
• xSAT_SolverCreate() : xsat.h, xsatSolverAPI.c
• xSAT_SolverDestroy() : xsat.h, xsatSolverAPI.c
• xSAT_SolverEnqueue() : xsatSolver.c, xsatSolver.h
• xSAT_SolverGarbageCollect() : xsatSolver.c, xsatSolver.h
• xSAT_SolverOptions_t : xsatSolver.h
• xSAT_SolverParseDimacs() : xsat.h, xsatCnfReader.c
• xSAT_SolverPrintStats() : xsat.h, xsatSolverAPI.c
• xSAT_SolverPropagate() : xsatSolver.c, xsatSolver.h
• xSAT_SolverRebuildOrderHeap() : xsatSolver.c, xsatSolver.h
• xSAT_SolverReduceDB() : xsatSolver.c
• xSAT_SolverSearch() : xsatSolver.c, xsatSolver.h
• xSAT_SolverSimplify() : xsat.h, xsatSolverAPI.c
• xSAT_SolverSolve() : xsat.h, xsatSolverAPI.c
• xSAT_Stats_t : xsatSolver.h
• xSAT_VecWatchList_t : xsatWatchList.h
• xSAT_Watcher_t : xsatWatchList.h
• xSAT_WatchList_t : xsatWatchList.h
• XVS0 : abcXsim.c
• XVS1 : abcXsim.c
• XVSX : abcXsim.c
• Xyz_ManPerform() : dauCore.c, template.c
• Xyz_ManTry_t : dauCore.c
• Xyz_ManTryAlloc() : dauCore.c, template.c
• Xyz_ManTryFree() : dauCore.c, template.c
• Xyz_ParTry_t : dauCore.c