ivy.h

# #include "ivy.h"

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

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File ivy.c

#### Index

expand_proof_ivy | sb_ivy_write_clause_jmap | sb_ivy_write_just |

#### Details

    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);

## Public Definitions in File ivy.h

## Introduction