From d7a048d738381651b53340684e26f06b78b8a78c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 24 Apr 2009 08:01:00 -0700 Subject: Version abc90424 --- src/aig/gia/giaAig.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/aig/gia/giaAig.h') diff --git a/src/aig/gia/giaAig.h b/src/aig/gia/giaAig.h index 0c0ee598..507e5143 100644 --- a/src/aig/gia/giaAig.h +++ b/src/aig/gia/giaAig.h @@ -47,8 +47,10 @@ /*=== giaAig.c =============================================================*/ extern Gia_Man_t * Gia_ManFromAig( Aig_Man_t * p ); +extern Gia_Man_t * Gia_ManFromAigSimple( Aig_Man_t * p ); extern Gia_Man_t * Gia_ManFromAigSwitch( Aig_Man_t * p ); extern Aig_Man_t * Gia_ManToAig( Gia_Man_t * p, int fChoices ); +extern void Gia_ManReprToAigRepr( Aig_Man_t * p, Gia_Man_t * pGia ); #ifdef __cplusplus } -- cgit v1.2.3