#include "ivy.h"

This page has information from files ivy.h and ivy.c.

Public Routines in File ivy.c

Plist expand_proof_ivy(Plist proof);

void sb_ivy_write_clause_jmap(String_buf sb, Topform c, I3list map);

void sb_ivy_write_just(String_buf sb, Ivyjust j, I3list map);