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

- x -

• xSAT_FileRead() : xsatCnfReader.c
• 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_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
• Xyz_ManPerform() : dauCore.c, template.c
• Xyz_ManTryAlloc() : dauCore.c, template.c
• Xyz_ManTryFree() : dauCore.c, template.c