 
   July 1, 1994                                                        SIS(1)
 
   resub [-a] [-b] [-d] [node-list]
 
     Resubstitute each node in the node-list into all the nodes in the net-
     work.  The resubstitution will try to use both the _p_o_s_i_t_i_v_e and _n_e_g_a_t_i_v_e
     phase of the node.  If node-list is not specified, the resubstitution
     will be done for every node in the network and this operation will keep
     looping until no more changes of the network can be made.  Note the
     difference between resub * and resub.  The former will apply the resub-
     stitution to each node only once.
 
     The -a (default) option uses algebraic division when substituting one
     node into another.  The division is performed on both the divisor and
     its complement.
 
     The -b option uses Boolean division when substituting one node into
     another.  NOTE: Boolean resubstitution has not yet been implemented.
 
     The -d option directs resub not to use the complement of a given node in
     algebraic resubstitutions.
 
                                                                            1
