#include "tptp_trans.h"

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

Public Routines in File tptp_trans.c

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

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