#include <ctype.h>
#include "misc/util/abc_global.h"
#include "misc/vec/vecInt.h"
#include "xsatSolver.h"

Include dependency graph for xsatCnfReader.c:

Functions
ABC_NAMESPACE_IMPL_START char *	xSAT_FileRead (FILE *pFile)
	INCLUDES ///.

int	xSAT_SolverParseDimacs (FILE pFile, xSAT_Solver_t *p)
	FUNCTION DECLARATIONS ///.

Function Documentation

◆ xSAT_FileRead()

ABC_NAMESPACE_IMPL_START char * xSAT_FileRead ( FILE * pFile )

INCLUDES ///.

CFile****************************************************************

FileName [xsatCnfReader.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [xSAT - A SAT solver written in C. Read the license file for more info.]

Synopsis [CNF DIMACS file format parser.]

Author [Bruno Schmitt bosch.nosp@m.mitt.nosp@m.@inf..nosp@m.ufrg.nosp@m.s.br]

Affiliation [UC Berkeley / UFRGS]

Date [Ver. 1.0. Started - November 10, 2016.]

Revision [] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis [Read the file into the internal buffer.]

Description []

SideEffects []

SeeAlso []

Definition at line 49 of file xsatCnfReader.c.

{
    int nFileSize;
    char * pBuffer;
    int RetValue;
    // get the file size, in bytes
    fseek( pFile, 0, SEEK_END );
    nFileSize = ftell( pFile );
    // move the file current reading position to the beginning
    rewind( pFile );
    // load the contents of the file into memory
    pBuffer = ABC_ALLOC( char, nFileSize + 3 );
    RetValue = fread( pBuffer, nFileSize, 1, pFile );
    // terminate the string with '\0'
    pBuffer[ nFileSize + 0] = '\n';
    pBuffer[ nFileSize + 1] = '\0';
    return pBuffer;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xSAT_SolverParseDimacs()

int xSAT_SolverParseDimacs	(	FILE *	pFile,
		xSAT_Solver_t **	p )

FUNCTION DECLARATIONS ///.

Function*************************************************************

Synopsis [Starts the solver and reads the DIMAC file.]

Description [Returns FALSE upon immediate conflict.]