tptp_trans.h

# #include "tptp_trans.h"

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

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File tptp_trans.c

#### Index

declare_tptp_parse_types | map_for_bad_tptp_syms | syms_in_form |
ladr_list_to_tptp_list | replace_bad_tptp_syms_form | tptp_input_to_ladr_formula |

#### Details

    void declare_tptp_parse_types(void);

    Plist ladr_list_to_tptp_list(Plist in, char *name, char *type);

    I2list map_for_bad_tptp_syms(Ilist syms);

    Term replace_bad_tptp_syms_form(Term t, BOOL clausal, I2list map);

    Ilist syms_in_form(Term t, BOOL clausal);

    Formula tptp_input_to_ladr_formula(Term t);

## Public Definitions in File tptp_trans.h

## Introduction