Uses of Interface
tptp_parser.TptpParserOutput

Packages that use TptpParserOutput

Package	Description
tptp_parser

Uses of TptpParserOutput in tptp_parser

Classes in tptp_parser that implement TptpParserOutput

Modifier and Type	Class and Description
class	SimpleTptpParserOutput A simple implementation of the interface TptpParserOutput.

Methods in tptp_parser with parameters of type TptpParserOutput

Modifier and Type	Method and Description
TptpParserOutput.Annotations	TptpParser.annotations(TptpParserOutput out)
LinkedList<TptpParserOutput.Term>	TptpParser.arguments(TptpParserOutput out)
String	TptpParser.atomic_defined_word(TptpParserOutput out)
TptpParserOutput.AtomicFormula	TptpParser.atomic_formula(TptpParserOutput out, boolean[] polarity)
String	TptpParser.atomic_system_word(TptpParserOutput out)
String	TptpParser.atomic_word(TptpParserOutput out)
TptpParserOutput.CnfFormula	TptpParser.cnf_formula(TptpParserOutput out)
String	TptpParser.creator_name(TptpParserOutput out)
TptpParserOutput.Term	TptpParser.defined_term(TptpParserOutput out)
LinkedList<TptpParserOutput.Literal>	TptpParser.disjunction(TptpParserOutput out)
String	TptpParser.file_info(TptpParserOutput out)
String	TptpParser.file_name(TptpParserOutput out)
TptpParserOutput.Source	TptpParser.file_source(TptpParserOutput out)
TptpParserOutput.FofFormula	TptpParser.fof_formula(TptpParserOutput out)
TptpParserOutput.GeneralTerm	TptpParser.formula_data(TptpParserOutput out)
TptpParserOutput.FormulaRole	TptpParser.formula_role(TptpParserOutput out)
List<String>	TptpParser.formula_selection(TptpParserOutput out)
TptpParserOutput.GeneralTerm	TptpParser.general_data(TptpParserOutput out)
TptpParserOutput.GeneralTerm	TptpParser.general_list(TptpParserOutput out)
TptpParserOutput.GeneralTerm	TptpParser.general_term(TptpParserOutput out)
LinkedList<TptpParserOutput.GeneralTerm>	TptpParser.general_terms(TptpParserOutput out)
String	TptpParser.inference_rule(TptpParserOutput out)
TptpParserOutput.InfoItem	TptpParser.info_item(TptpParserOutput out)
LinkedList<TptpParserOutput.InfoItem>	TptpParser.info_items(TptpParserOutput out)
List<TptpParserOutput.InfoItem>	TptpParser.intro_info(TptpParserOutput out)
String	TptpParser.intro_type(TptpParserOutput out)
TptpParserOutput.Literal	TptpParser.literal(TptpParserOutput out)
LinkedList<String>	TptpParser.name_list(TptpParserOutput out)
String	TptpParser.name(TptpParserOutput out)
String	TptpParser.number(TptpParserOutput out)
List<TptpParserOutput.InfoItem>	TptpParser.optional_info(TptpParserOutput out)
TptpParserOutput.GeneralTerm	TptpParser.parent_details(TptpParserOutput out)
TptpParserOutput.ParentInfo	TptpParser.parent_info(TptpParserOutput out)
LinkedList<TptpParserOutput.ParentInfo>	TptpParser.parent_list(TptpParserOutput out)
TptpParserOutput.Term	TptpParser.plain_term(TptpParserOutput out)
TptpParserOutput.FofFormula	TptpParser.quantified_formula(TptpParserOutput out)
TptpParserOutput.Source	TptpParser.source(TptpParserOutput out)
LinkedList<TptpParserOutput.Source>	TptpParser.sources(TptpParserOutput out)
TptpParserOutput.StatusValue	TptpParser.status_value(TptpParserOutput out)
TptpParserOutput.Term	TptpParser.system_term(TptpParserOutput out)
TptpParserOutput.Term	TptpParser.term(TptpParserOutput out)
String	TptpParser.theory_name(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_atom_or_unary_formula(TptpParserOutput out, TptpParserOutput.UnaryConnective connective)
TptpParserOutput.ThfFormula	TptpParser.thf_atom(TptpParserOutput out)
String	TptpParser.thf_conn_term(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_defn_constant(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_formula(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_mapping_type(TptpParserOutput out, TptpParserOutput.ThfFormula formula)
TptpParserOutput.ThfFormula	TptpParser.thf_quantified_formula(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_top_level_type(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_unitary_formula(TptpParserOutput out)
TptpParserOutput.ThfFormula	TptpParser.thf_unitary_type(TptpParserOutput out)
LinkedList<TptpParserOutput.ThfFormula>	TptpParser.thf_variable_list(TptpParserOutput out)
TptpParserOutput.TptpInput	TptpParser.topLevelItem(TptpParserOutput out)
List<TptpParserOutput.TptpInput>	TptpParser.tptp_file(TptpParserOutput out)
TptpParserOutput.TptpInput	TptpParser.tptp_input(TptpParserOutput out)
TptpParserOutput.Literal	TptpParser.tptp_literal(TptpParserOutput out)
TptpParserOutput.CnfFormula	TptpParser.tptp_literals(TptpParserOutput out)
TptpParserOutput.FofFormula	TptpParser.unary_formula(TptpParserOutput out)
TptpParserOutput.FofFormula	TptpParser.unitary_formula(TptpParserOutput out)
List<TptpParserOutput.InfoItem>	TptpParser.useful_info(TptpParserOutput out)
LinkedList<String>	TptpParser.variable_list(TptpParserOutput out)
String	TptpParser.variable(TptpParserOutput out)