absPth.c File Reference

#include "abs.h"
#include "proof/pdr/pdr.h"
#include "proof/ssw/ssw.h"

Include dependency graph for absPth.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START void	Gia_GlaProveAbsracted (Gia_Man_t *p, int fSimpProver, int fVerbose)
	DECLARATIONS ///.
void	Gia_GlaProveCancel (int fVerbose)
int	Gia_GlaProveCheck (int fVerbose)

Function Documentation

Gia_GlaProveAbsracted()

ABC_NAMESPACE_IMPL_START void Gia_GlaProveAbsracted	(	Gia_Man_t *	p,
		int	fSimpProver,
		int	fVerbose )

DECLARATIONS ///.

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

FileName [absPth.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Abstraction package.]

Synopsis [Interface to pthreads.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id

absPth.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 45 of file absPth.c.

{}

Here is the caller graph for this function:

Gia_GlaProveCancel()

void Gia_GlaProveCancel

(

int

fVerbose

)

Definition at line 46 of file absPth.c.

{}

Here is the caller graph for this function:

Gia_GlaProveCheck()

int Gia_GlaProveCheck

(

int

fVerbose

)

Definition at line 47 of file absPth.c.

{ return 0; }

Here is the caller graph for this function: