abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
fraigPrime.c File Reference
#include "fraigInt.h"

Go to the source code of this file.

Variables

ABC_NAMESPACE_IMPL_START int s_FraigPrimes [FRAIG_MAX_PRIMES]
 DECLARATIONS ///. More...
 

Variable Documentation

DECLARATIONS ///.

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

FileName [fraigPrime.c]

PackageName [FRAIG: Functionally reduced AND-INV graphs.]

Synopsis [The table of the first 1000 primes.]

Author [Alan Mishchenko alanm.nosp@m.i@ee.nosp@m.cs.be.nosp@m.rkel.nosp@m.ey.ed.nosp@m.u]

Affiliation [UC Berkeley]

Date [Ver. 2.0. Started - October 1, 2004]

Revision [

Id:
fraigPrime.c,v 1.4 2005/07/08 01:01:32 alanmi Exp

]

Definition at line 30 of file fraigPrime.c.