satProof2.h File Reference

#include "misc/vec/vec.h"

Include dependency graph for satProof2.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Prf_Man_t_

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Prf_Man_t_	Prf_Man_t
	INCLUDES ///.

Typedef Documentation

Prf_Man_t

typedef typedefABC_NAMESPACE_HEADER_START struct Prf_Man_t_ Prf_Man_t

INCLUDES ///.

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

FileName [satProof2.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [SAT solver.]

Synopsis [Proof logging.]

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. 1.0. Started - January 1, 2004.]

Revision [

Id

satProof2.h,v 1.0 2004/01/01 1:00:00 alanmi Exp

] PARAMETERS /// STRUCTURE DEFINITIONS ///

Definition at line 40 of file satProof2.h.