Logo Search packages:      
Sourcecode: otter version File versions  Download package

linkhyp.c

/*
 *  linkhyp.c -- linked hyperresolution
 *
 */

#include "header.h"

/*************
 *
 *    linked_hyper_res(giv_cl)
 *
 *************/

void linked_hyper_res(struct clause *giv_cl)
{
  printf("linked hyper not implemented yet.\n");
}  /* linked_hyper_res */


Generated by  Doxygen 1.6.0   Back to index