Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
TPTPParser Member List

This is the complete list of members for TPTPParser, including all inherited members.

clear()TPTPParser
comment_blocksTPTPParserprivate
conjecture_present() constTPTPParser
equality_used()TPTPParser
file_contentsTPTPParserprivate
fipTPTPParserprivate
fof_conjecture_is_false() constTPTPParser
fof_conjecture_is_missing() constTPTPParser
fof_conjecture_is_true() constTPTPParser
fof_has_axioms() constTPTPParser
fof_negated_conjecture_removed() constTPTPParser
get_defined_items()TPTPParser
get_equals_predicate() constTPTPParser
get_problem_status()TPTPParser
get_system_items()TPTPParser
get_tptp_conversion_string() constTPTPParserinline
matrixTPTPParserprivate
negated_conjecture_present() constTPTPParser
no_conjecture_clause() constTPTPParser
number_of_fof_formulas() constTPTPParser
parse_tptp_from_file(const string &)TPTPParser
pipTPTPParserprivate
problem_is_cnf_only() constTPTPParser
read_tptp_from_file(const string &)TPTPParserprivate
show_file_includes()TPTPParser
simplified_fof_has_axioms() constTPTPParser
tipTPTPParserprivate
tptp_conversion_stringTPTPParserprivate
TPTPParser()=deleteTPTPParser
TPTPParser(VariableIndex *, FunctionIndex *, TermIndex *, PredicateIndex *, Matrix *)TPTPParser
vipTPTPParserprivate