/* FILE       : gen_graph.h
   WRITTEN BY : Craig Morgenstern
*/
     
void 	Gne();
void    Und();
void    Gnp();
void    Gknp();
void 	LeightonGraph();
int	LeightonProof();