min_int.h

主要进行大规模的电路综合

/*
 * Revision Control Information
 *
 * $Source: /projects/mvsis/Repository/mvsis-1.3/src/sis/minimize/min_int.h,v $
 * $Author: wjiang $
 * $Revision: 1.1.1.1 $
 * $Date: 2003/02/24 22:24:10 $
 *
 */
#include "ros.h"

/* Functions defined in  minimize.c */

/* minimize.c */ extern pcover nocomp();
/* minimize.c */ extern pcover snocomp();
/* minimize.c */ extern pset_family ncp_unate_compl();
/* minimize.c */ extern pset_family ncp_unate_complement();
/* minimize.c */ extern void ncp_compl_special_cases();
/* minimize.c */ extern pcover nc_super_gasp();
/* minimize.c */ extern pcover nc_all_primes();
/* minimize.c */ extern pcover nc_make_sparse();
/* minimize.c */ extern pcover nc_expand_gasp();
/* minimize.c */ extern void nc_expand1_gasp();
/* minimize.c */ extern pcover nc_last_gasp();
/* minimize.c */ extern pcover nc_reduce_gasp();
/* minimize.c */ extern pcover nc_reduce();
/* minimize.c */ extern pcover nc_random_order();
/* minimize.c */ extern pcover nc_permute();
/* minimize.c */ extern pcover nc_mini_sort();
/* minimize.c */ extern pcube nc_reduce_cube();
/* minimize.c */ extern pcube nc_sccc();
/* minimize.c */ extern bool nc_sccc_special_cases();
/* minimize.c */ extern pcover ncp_expand();
/* minimize.c */ extern void ncp_expand1();
/* minimize.c */ extern pcover nc_first_expand();
/* minimize.c */ extern void rem_unnec_r_cubes();
/* dcsimp.c */ extern pcover dcsimp();