ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
plaMerge.c File Reference
#include "pla.h"
Include dependency graph for plaMerge.c:

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START int Pla_ManDist1Merge (Pla_Man_t *p)
 DECLARATIONS ///.
 

Function Documentation

◆ Pla_ManDist1Merge()

ABC_NAMESPACE_IMPL_START int Pla_ManDist1Merge ( Pla_Man_t * p)

DECLARATIONS ///.

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

FileName [plaMerge.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [SOP manager.]

Synopsis [Scalable SOP transformations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - March 18, 2015.]

Revision [

Id
plaMerge.c,v 1.00 2014/09/12 00:00:00 alanmi Exp

] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 44 of file plaMerge.c.

45{
46 return 0;
47}