utilSignal.h File Reference

Go to the source code of this file.

Functions
ABC_NAMESPACE_HEADER_START int	Util_SignalTmpFile (const char *prefix, const char *suffix, char **out_name)
	INCLUDES ///. More...
void	Util_SignalTmpFileRemove (const char *fname, int fLeave)
int	Util_SignalSystem (const char *cmd)
	DECLARATIONS ///. More...

Function Documentation

int Util_SignalSystem

(

const char *

cmd

)

DECLARATIONS ///.

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

FileName [utilSignal.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName []

Synopsis []

Author [Baruch Sterin]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - February 1, 2011.]

Revision [

Id:

utilSignal.c,v 1.00 2011/02/01 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS ///

Definition at line 46 of file utilSignal.c.

{
    return system(cmd);
}

ABC_NAMESPACE_HEADER_START int Util_SignalTmpFile	(	const char *	prefix,
		const char *	suffix,
		char **	out_name
	)

INCLUDES ///.

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

FileName [utilSignal.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Signal handling utilities.]

Synopsis [Signal handling utilities.]

Author [Baruch Sterin]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - February 1, 2011.]

Revision [

Id:

utilSignal.h,v 1.00 2011/02/01 00:00:00 alanmi Exp

]PARAMETERS ///BASIC TYPES ///MACRO DEFINITIONS ///FUNCTION DECLARATIONS ///

Definition at line 53 of file utilSignal.c.

{
    return tmpFile(prefix, suffix, out_name);
}

void Util_SignalTmpFileRemove	(	const char *	fname,
		int	fLeave
	)

Definition at line 58 of file utilSignal.c.

{
    if (! fLeave)
    {
        unlink(fname);
    }
}