src/tbl/tblAigEntryUtil.c

Go to the documentation of this file.

#include "tblInt.h"
#include "baig.h"

static char rcsid[] UNUSED = "$Id: tblAigEntryUtil.c,v 1.4 2005/04/17 14:37:23 awedh Exp $";

/*---------------------------------------------------------------------------*/
/* Static function prototypes                                                */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Definition of exported functions                                          */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Definition of internal functions                                          */
/*---------------------------------------------------------------------------*/

mAigEdge_t
TblEntryNormalConstructAig(
    mAig_Manager_t *manager,
    Tbl_Entry_t    *entry,
    array_t        *mAigArray)
{
  lsGen gen;
  Tbl_Range_t *range;
  int i;
  mAigEdge_t result, temp, x;
    
  result = mAig_Zero;
  lsForEachItem(entry->EntryData.listOfRanges, gen, range) {
    for (i=range->begin; i< (range->end +1); i++) {
      temp = result;
      x = MvfAig_FunctionReadComponent(mAigArray,i);
      result = mAig_Or(manager, temp, x);
    }
  }
  return result;
}

mAigEdge_t 
TblEntryEqualConstructMAig(
    mAig_Manager_t    * manager,
    Tbl_Entry_t       * entry,
    MvfAig_Function_t * mAigArray,
    MvfAig_Function_t * mEigArray)
{
  lsGen        gen;
  Tbl_Range_t *range;
  int          i;
  mAigEdge_t   result, temp, x;

  assert(entry->type == Tbl_EntryNormal_c);
  result = mAig_Zero;
  lsForEachItem(entry->EntryData.listOfRanges, gen, range) {
    for (i=range->begin; i< (range->end +1); i++) {
      temp = result;
      x = MvfAig_FunctionReadComponent(mAigArray,i);
      result = mAig_Or(manager, temp, x);
      temp = result;
      x = MvfAig_FunctionReadComponent(mAigArray,i);
      result = mAig_Or(manager, temp, x);
    }
  }
  return result;
}