espresso.h

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

/* contain.c */	EXTERN int rm_contain ARGS((pset *));
/* contain.c */	EXTERN int rm_equal ARGS((pset *, ESP_PFI));
/* contain.c */	EXTERN int rm_rev_contain ARGS((pset *));
/* contain.c */	EXTERN pset *sf_list ARGS((pset_family));
/* contain.c */	EXTERN pset *sf_sort ARGS((pset_family, ESP_PFI));
/* contain.c */	EXTERN pset_family d1merge ARGS((pset_family, int));
/* contain.c */	EXTERN pset_family dist_merge ARGS((pset_family, pset));
/* contain.c */	EXTERN pset_family sf_contain ARGS((pset_family));
/* contain.c */	EXTERN pset_family sf_dupl ARGS((pset_family));
/* contain.c */	EXTERN pset_family sf_ind_contain ARGS((pset_family, 
   int *));
/* contain.c */	EXTERN pset_family sf_ind_unlist ARGS((pset *, int, int,
   int *, pset));
/* contain.c */	EXTERN pset_family sf_merge ARGS((pset *, pset *, pset *,
   int, int));
/* contain.c */	EXTERN pset_family sf_rev_contain ARGS((pset_family));
/* contain.c */	EXTERN pset_family sf_union ARGS((pset_family, pset_family));
/* contain.c */	EXTERN pset_family sf_unlist ARGS((pset *, int, int));
/* cubestr.c */	EXTERN void cube_setup ARGS(());
/* cubestr.c */	EXTERN void restore_cube_struct ARGS(());
/* cubestr.c */	EXTERN void save_cube_struct ARGS(());
/* cubestr.c */	EXTERN void setdown_cube ARGS(());
/* cvrin.c */	EXTERN int PLA_labels ARGS((pPLA));
/* cvrin.c */	EXTERN char *get_word ARGS((FILE *, char *));
/* cvrin.c */	EXTERN int label_index ARGS((pPLA, char *, int *, int *));
/* cvrin.c */	EXTERN int read_pla ARGS((FILE *, bool, bool, int, pPLA *));
/* cvrin.c */	EXTERN int read_symbolic ARGS((FILE *, pPLA, char *, symbolic_t **));
/* cvrin.c */	EXTERN pPLA new_PLA ARGS(());
/* cvrin.c */	EXTERN void PLA_summary ARGS((pPLA));
/* cvrin.c */	EXTERN void free_PLA ARGS((pPLA));
/* cvrin.c */	EXTERN void parse_pla ARGS((FILE *, pPLA));
/* cvrin.c */	EXTERN void read_cube ARGS((FILE *, pPLA));
/* cvrin.c */	EXTERN void skip_line ARGS((FILE *, FILE *, bool));
/* cvrm.c */	EXTERN int foreach_output_function ARGS((pPLA, ESP_PFI, ESP_PFI ));
/* cvrm.c */	EXTERN int cubelist_partition ARGS((pcube *, pcube **, pcube **,
   unsigned int));
/* cvrm.c */	EXTERN int so_both_do_espresso ARGS((pPLA, int));
/* cvrm.c */	EXTERN int so_both_do_exact ARGS((pPLA, int));
/* cvrm.c */	EXTERN int so_both_save ARGS((pPLA, int));
/* cvrm.c */	EXTERN int so_do_espresso ARGS((pPLA, int));
/* cvrm.c */	EXTERN int so_do_exact ARGS((pPLA, int));
/* cvrm.c */	EXTERN int so_save ARGS((pPLA, int));
/* cvrm.c */	EXTERN pcover cof_output ARGS((pcover, int));
/* cvrm.c */	EXTERN pcover lex_sort ARGS((pcover));
/* cvrm.c */	EXTERN pcover mini_sort ARGS((pcover, ESP_PFI));
/* cvrm.c */	EXTERN pcover random_order ARGS((pcover));
/* cvrm.c */	EXTERN pcover size_sort ARGS((pcover));
/* cvrm.c */	EXTERN pcover sort_reduce ARGS((pcover));
/* cvrm.c */	EXTERN pcover uncof_output ARGS((pcover, int));
/* cvrm.c */	EXTERN pcover unravel ARGS((pcover, int));
/* cvrm.c */	EXTERN pcover unravel_range ARGS((pcover, int, int));
/* cvrm.c */	EXTERN void so_both_espresso ARGS((pPLA, int));
/* cvrm.c */	EXTERN void so_espresso ARGS((pPLA, int));
/* cvrmisc.c */	EXTERN char *fmt_cost ARGS((pcost));
/* cvrmisc.c */	EXTERN char *print_cost ARGS((pcover));
/* cvrmisc.c */	EXTERN void copy_cost ARGS((pcost, pcost));
/* cvrmisc.c */	EXTERN void cover_cost ARGS((pcover, pcost));
/* cvrmisc.c */	EXTERN void fatal ARGS((char *));
/* cvrmisc.c */	EXTERN void print_trace ARGS((pcover, char *, long));
/* cvrmisc.c */	EXTERN void size_stamp ARGS((pcover, char *));
/* cvrmisc.c */	EXTERN void totals ARGS((long, int, pcover, pcost));
/* cvrout.c */	EXTERN char *fmt_cube ARGS((pcube, char *, char *));
/* cvrout.c */	EXTERN char *fmt_expanded_cube ARGS(());
/* cvrout.c */	EXTERN char *pc1 ARGS((pcube));
/* cvrout.c */	EXTERN char *pc2 ARGS((pcube));
/* cvrout.c */	EXTERN char *pc3 ARGS((pcube));
/* cvrout.c */	EXTERN int makeup_labels ARGS((pPLA));
/* cvrout.c */	EXTERN int kiss_output ARGS((FILE *, pPLA));
/* cvrout.c */	EXTERN int kiss_print_cube ARGS((FILE *, pPLA, pcube, char *));
/* cvrout.c */	EXTERN int output_symbolic_constraints ARGS((FILE *, pPLA, int));
/* cvrout.c */	EXTERN void cprint ARGS((pcover));
/* cvrout.c */	EXTERN void debug1_print ARGS((pcover, char *, int));
/* cvrout.c */	EXTERN void sf_debug_print ARGS((pcube *, char *, int));
/* cvrout.c */	EXTERN void eqn_output ARGS((pPLA));
/* cvrout.c */	EXTERN void fpr_header ARGS((FILE *, pPLA, int));
/* cvrout.c */	EXTERN void fprint_pla ARGS((FILE *, pPLA, int));
/* cvrout.c */	EXTERN void pls_group ARGS((pPLA, FILE *));
/* cvrout.c */	EXTERN void pls_label ARGS((pPLA, FILE *));
/* cvrout.c */	EXTERN void pls_output ARGS((pPLA));
/* cvrout.c */	EXTERN void print_cube ARGS((FILE *, pcube, char *));
/* cvrout.c */	EXTERN void print_expanded_cube ARGS((FILE *, pcube, pcube));
/* cvrout.c */	EXTERN void debug_print ARGS((pcube *, char *, int));
/* equiv.c */	EXTERN int  find_equiv_outputs ARGS((pPLA));
/* equiv.c */	EXTERN int check_equiv ARGS((pcover, pcover));
/* espresso.c */	EXTERN pcover espresso ARGS((pcover, pcover, pcover));
/* essen.c */	EXTERN bool essen_cube ARGS((pcover, pcover, pcube));
/* essen.c */	EXTERN pcover cb_consensus ARGS((pcover, pcube));
/* essen.c */	EXTERN pcover cb_consensus_dist0 ARGS((pcover, pcube, pcube));
/* essen.c */	EXTERN pcover essential ARGS((pcover *, pcover *));
/* exact.c */	EXTERN pcover minimize_exact ARGS((pcover, pcover, pcover,
   int));
/* exact.c */	EXTERN pcover minimize_exact_literals ARGS((pcover, pcover,
   pcover, int));
/* expand.c */	EXTERN bool feasibly_covered ARGS((pcover, pcube, pcube,
   pcube));
/* expand.c */	EXTERN int most_frequent ARGS((pcover, pcube));
/* expand.c */	EXTERN pcover all_primes ARGS((pcover, pcover));
/* expand.c */	EXTERN pcover expand ARGS((pcover, pcover, bool));
/* expand.c */	EXTERN pcover find_all_primes ARGS((pcover, pcube, pcube));
/* expand.c */	EXTERN void elim_lowering ARGS((pcover, pcover, pcube, pcube));
/* expand.c */	EXTERN void essen_parts ARGS((pcover, pcover, pcube, pcube));
/* expand.c */	EXTERN void essen_raising ARGS((pcover, pcube, pcube));
/* expand.c */	EXTERN void expand1 ARGS((pcover, pcover, pcube,
   pcube, pcube, pcube, pcube,
   int *, pcube));
/* expand.c */	EXTERN void mincov ARGS((pcover, pcube, pcube));
/* expand.c */	EXTERN void select_feasible ARGS((pcover, pcover,
   pcube, pcube, pcube, int *));
/* expand.c */	EXTERN void setup_BB_CC ARGS((pcover, pcover));
/* gasp.c */	EXTERN pcover expand_gasp ARGS((pcover, pcover, pcover, pcover));
/* gasp.c */	EXTERN pcover irred_gasp ARGS((pcover, pcover, pcover));
/* gasp.c */	EXTERN pcover last_gasp ARGS((pcover, pcover, pcover,
   cost_t *cost));
/* gasp.c */	EXTERN pcover super_gasp ARGS((pcover, pcover, pcover,
   cost_t *cost));
/* gasp.c */	EXTERN void expand1_gasp ARGS((pcover, pcover, pcover,
   pcover, int, pcover *));
/* hack.c */	EXTERN int find_dc_inputs ARGS((pPLA, symbolic_list_t *, int, int, pcover *, pcover *));
/* hack.c */	EXTERN int find_inputs ARGS((pcover, pPLA, symbolic_list_t *,
   int, int, pcover *, pcover *));
/* hack.c */	EXTERN int form_bitvector ARGS((pset, int, int,
   symbolic_list_t *));
/* hack.c */	EXTERN int map_dcset ARGS((pPLA));
/* hack.c */	EXTERN int map_output_symbolic ARGS((pPLA));
/* hack.c */	EXTERN int map_symbolic ARGS((pPLA));
/* hack.c */	EXTERN pcover map_symbolic_cover ARGS((pcover,
   symbolic_list_t *, int));
/* hack.c */	EXTERN int symbolic_hack_labels ARGS((pPLA, symbolic_t*,
   pset, int, int, int));
/* irred.c */	EXTERN bool cube_is_covered ARGS((pcube *, pcube));
/* irred.c */	EXTERN bool taut_special_cases ARGS((pcube *));
/* irred.c */	EXTERN bool tautology ARGS((pcube *));
/* irred.c */	EXTERN pcover irredundant ARGS((pcover, pcover));
/* irred.c */	EXTERN void mark_irredundant ARGS((pcover, pcover));
/* irred.c */	EXTERN void irred_split_cover ARGS((pcover, pcover,
   pcover *, pcover *, pcover *));
/* irred.c */	EXTERN sm_matrix *irred_derive_table ARGS((pcover, pcover,
   pcover));
/* map.c */	EXTERN pset minterms ARGS((pcover));
/* map.c */	EXTERN void explode ARGS((int, int));
/* map.c */	EXTERN void map ARGS((pcover));
/* opo.c */	EXTERN int output_phase_setup ARGS((pPLA, int));
/* opo.c */	EXTERN pPLA set_phase ARGS((pPLA));
/* opo.c */	EXTERN pcover opo ARGS((pcube, pcover, pcover, pcover,
   int));
/* opo.c */	EXTERN pcube find_phase ARGS((pPLA, int, pcube));
/* opo.c */	EXTERN pset_family find_covers ARGS((pcover, pcover, pset, int));
/* opo.c */	EXTERN pset_family form_cover_table ARGS((pcover, pcover,
   pset, int, int));
/* opo.c */	EXTERN pset_family opo_leaf ARGS((pcover, pset, int, int));
/* opo.c */	EXTERN pset_family opo_recur ARGS((pcover, pcover, pcube, int,
   int, int));
/* opo.c */	EXTERN void opoall ARGS((pPLA, int, int, int));
/* opo.c */	EXTERN void phase_assignment ARGS((pPLA, int));
/* opo.c */	EXTERN void repeated_phase_assignment ARGS((pPLA));
/* pair.c */	EXTERN int generate_all_pairs ARGS((ppair, int, pset, ESP_PFI));
/* pair.c */	EXTERN int **find_pairing_cost ARGS((pPLA, int));
/* pair.c */	EXTERN int find_best_cost ARGS((ppair));
/* pair.c */	EXTERN int greedy_best_cost ARGS((int **, ppair *));
/* pair.c */	EXTERN int minimize_pair ARGS((ppair));
/* pair.c */	EXTERN int pair_free ARGS((ppair));
/* pair.c */	EXTERN int pair_all ARGS((pPLA, int));
/* pair.c */	EXTERN pcover delvar ARGS((pcover, bool *));
/* pair.c */	EXTERN pcover pairvar ARGS((pcover, ppair));
/* pair.c */	EXTERN ppair pair_best_cost ARGS((int **));
/* pair.c */	EXTERN ppair pair_new ARGS((int));
/* pair.c */	EXTERN ppair pair_save ARGS((ppair, int));
/* pair.c */	EXTERN int print_pair ARGS((ppair));
/* pair.c */	EXTERN void find_optimal_pairing ARGS((pPLA, int));
/* pair.c */	EXTERN void set_pair ARGS((pPLA));
/* pair.c */	EXTERN void set_pair1 ARGS((pPLA, bool));
/* primes.c */	EXTERN pcover primes_consensus ARGS((pcube *));
/* reduce.c */	EXTERN bool sccc_special_cases ARGS((pcube *, pcube *));
/* reduce.c */	EXTERN pcover reduce ARGS((pcover, pcover));
/* reduce.c */	EXTERN pcube reduce_cube ARGS((pcube *, pcube));
/* reduce.c */	EXTERN pcube sccc ARGS((pcube *));
/* reduce.c */	EXTERN pcube sccc_cube ARGS((pcube, pcube));
/* reduce.c */	EXTERN pcube sccc_merge ARGS((pcube, pcube, pcube, pcube));
/* set.c */	EXTERN bool set_andp ARGS((pset, pset, pset));
/* set.c */	EXTERN bool set_orp ARGS((pset, pset, pset));
/* set.c */	EXTERN bool setp_disjoint ARGS((pset, pset));
/* set.c */	EXTERN bool setp_empty ARGS((pset));
/* set.c */	EXTERN bool setp_equal ARGS((pset, pset));
/* set.c */	EXTERN bool setp_full ARGS((pset, int));
/* set.c */	EXTERN bool setp_implies ARGS((pset, pset));
/* set.c */	EXTERN char *pbv1 ARGS((pset, int));
/* set.c */	EXTERN char *ps1 ARGS((pset));
/* set.c */	EXTERN int *sf_count ARGS((pset_family));
/* set.c */	EXTERN int *sf_count_restricted ARGS((pset_family, pset));
/* set.c */	EXTERN int bit_index ARGS((unsigned int));
/* set.c */	EXTERN int set_dist ARGS((pset, pset));
/* set.c */	EXTERN int set_ord ARGS((pset));
/* set.c */	EXTERN void set_adjcnt ARGS((pset, int *, int));
/* set.c */	EXTERN pset set_and ARGS((pset, pset, pset));
/* set.c */	EXTERN pset set_clear ARGS((pset, int));
/* set.c */	EXTERN pset set_copy ARGS((pset, pset));
/* set.c */	EXTERN pset set_diff ARGS((pset, pset, pset));
/* set.c */	EXTERN pset set_fill ARGS((pset, int));
/* set.c */	EXTERN pset set_merge ARGS((pset, pset, pset, pset));
/* set.c */	EXTERN pset set_or ARGS((pset, pset, pset));
/* set.c */	EXTERN pset set_xor ARGS((pset, pset, pset));
/* set.c */	EXTERN pset sf_and ARGS((pset_family));
/* set.c */	EXTERN pset sf_or ARGS((pset_family));
/* set.c */	EXTERN pset_family sf_active ARGS((pset_family));
/* set.c */	EXTERN pset_family sf_addcol ARGS((pset_family, int, int));
/* set.c */	EXTERN pset_family sf_addset ARGS((pset_family, pset));
/* set.c */	EXTERN pset_family sf_append ARGS((pset_family, pset_family));
/* set.c */	EXTERN pset_family sf_bm_read ARGS((FILE *));
/* set.c */	EXTERN pset_family sf_compress ARGS((pset_family, pset));
/* set.c */	EXTERN pset_family sf_copy ARGS((pset_family, pset_family));
/* set.c */	EXTERN pset_family sf_copy_col ARGS((pset_family, int,
   pset_family, int));
/* set.c */	EXTERN pset_family sf_delc ARGS((pset_family, int, int));
/* set.c */	EXTERN pset_family sf_delcol ARGS((pset_family, int, int));
/* set.c */	EXTERN pset_family sf_inactive ARGS((pset_family));
/* set.c */	EXTERN pset_family sf_join ARGS((pset_family, pset_family));
/* set.c */	EXTERN pset_family sf_new ARGS((int, int));
/* set.c */	EXTERN pset_family sf_permute ARGS((pset_family, int *, int));
/* set.c */	EXTERN pset_family sf_read ARGS((FILE *));
/* set.c */	EXTERN pset_family sf_save ARGS((pset_family));
/* set.c */	EXTERN pset_family sf_transpose ARGS((pset_family));
/* set.c */	EXTERN void set_write ARGS((FILE *, pset));
/* set.c */	EXTERN void sf_bm_print ARGS((pset_family));
/* set.c */	EXTERN void sf_cleanup ARGS(());
/* set.c */	EXTERN void sf_delset ARGS((pset_family, int));
/* set.c */	EXTERN void sf_free ARGS((pset_family));
/* set.c */	EXTERN void sf_print ARGS((pset_family));
/* set.c */	EXTERN void sf_write ARGS((FILE *, pset_family));
/* setc.c */	EXTERN bool ccommon ARGS((pcube, pcube, pcube));
/* setc.c */	EXTERN bool cdist0 ARGS((pcube, pcube));
/* setc.c */	EXTERN bool full_row ARGS((pcube, pcube));
/* setc.c */	EXTERN int ascend ARGS((pset *, pset *));
/* setc.c */	EXTERN int cactive ARGS((pcube));
/* setc.c */	EXTERN int cdist ARGS((pset, pset));
/* setc.c */	EXTERN int cdist01 ARGS((pset, pset));
/* setc.c */	EXTERN int d1_order ARGS((pset *, pset *));
/* setc.c */	EXTERN int desc1 ARGS((pset, pset));
/* setc.c */	EXTERN int descend ARGS((pset *, pset *));
/* setc.c */	EXTERN int lex_order ARGS((pset *, pset *));
/* setc.c */	EXTERN pset force_lower ARGS((pset, pset, pset));
/* setc.c */	EXTERN void consensus ARGS((pcube, pcube, pcube));
/* sharp.c */	EXTERN pcover cb1_dsharp ARGS((pcover, pcube));
/* sharp.c */	EXTERN pcover cb_dsharp ARGS((pcube, pcover));
/* sharp.c */	EXTERN pcover cb_recur_sharp ARGS((pcube, pcover, int, int, int));
/* sharp.c */	EXTERN pcover cb_sharp ARGS((pcube, pcover));
/* sharp.c */	EXTERN pcover cv_dsharp ARGS((pcover, pcover));
/* sharp.c */	EXTERN pcover cv_intersect ARGS((pcover, pcover));
/* sharp.c */	EXTERN pcover cv_sharp ARGS((pcover, pcover));
/* sharp.c */	EXTERN pcover dsharp ARGS((pcube, pcube));
/* sharp.c */	EXTERN pcover make_disjoint ARGS((pcover));
/* sharp.c */	EXTERN pcover sharp ARGS((pcube, pcube));
/* sminterf.c */pset do_sm_minimum_cover ARGS((pset_family));
/* sparse.c */	EXTERN pcover make_sparse ARGS((pcover, pcover, pcover));
/* sparse.c */	EXTERN pcover mv_reduce ARGS((pcover, pcover));
/* unate.c */	EXTERN pcover find_all_minimal_covers_petrick ARGS(());
/* unate.c */	EXTERN pcover map_cover_to_unate ARGS((pcube *));
/* unate.c */	EXTERN pcover map_unate_to_cover ARGS((pset_family));
/* unate.c */	EXTERN pset_family exact_minimum_cover ARGS((pset_family));
/* unate.c */	EXTERN pset_family unate_compl ARGS((pset_family));
/* unate.c */	EXTERN pset_family unate_complement ARGS((pset_family));
/* unate.c */	EXTERN pset_family unate_intersect ARGS((pset_family, pset_family, bool));
/* verify.c */	EXTERN int PLA_permute ARGS((pPLA, pPLA));
/* verify.c */	EXTERN bool PLA_verify ARGS((pPLA, pPLA));
/* verify.c */	EXTERN bool check_consistency ARGS((pPLA));
/* verify.c */	EXTERN bool verify ARGS((pcover, pcover, pcover));
#endif /*_ESPRESSO_INCLUDE*/