tptp_parser

Class TptpParser

java.lang.Object

antlr.Parser

antlr.LLkParser

tptp_parser.TptpParser

All Implemented Interfaces:

TptpTokenTypes

public class TptpParser
extends antlr.LLkParser
implements TptpTokenTypes

Field Summary

Fields

Modifier and Type	Field and Description
static String[]	_tokenNames
static antlr.collections.impl.BitSet	_tokenSet_0
static antlr.collections.impl.BitSet	_tokenSet_1

Fields inherited from class antlr.Parser

astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, traceDepth

Fields inherited from interface tptp_parser.TptpTokenTypes

ALL, AND, APPLY, ASSIGN, BIGPI, BIGSIGMA, CHOICE, COLON, COMMA, DESCRIPTION, DISEQUIVALENCE, DISTINCT_OBJECT, DOLLAR_DOLLAR_WORD, DOLLAR_WORD, DOT, EOF, EQUAL, EQUIVALENCE, EXIST, IMPLICATION, INTEGER, LAMBDA, LOWER_WORD, LPR, LSB, MANY_LINE_COMMENT, MAP, MINUSMINUS, NOT_AND, NOT_OR, NOTEQUAL, NULL_TREE_LOOKAHEAD, ONE_LINE_COMMENT, PLUS, PLUSPLUS, RATIONAL, REAL, REVERSE_IMPLICATION, RPR, RSB, SEQUENT, SINGLE_QUOTED, SMALLPI, SMALLSIGMA, STAR, SUBTYPE, TILDA, UNSIGNED_INTEGER, UPPER_WORD, VLINE, WHITESPACE

Constructor Summary

Constructors

Modifier	Constructor and Description
	TptpParser(antlr.ParserSharedInputState state)
	TptpParser(antlr.TokenBuffer tokenBuf)
protected	TptpParser(antlr.TokenBuffer tokenBuf, int k)
	TptpParser(antlr.TokenStream lexer)
protected	TptpParser(antlr.TokenStream lexer, int k)

Method Summary

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

Methods inherited from class antlr.LLkParser

consume, LA, LT, traceIn, traceOut

Methods inherited from class antlr.Parser

addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, defaultDebuggingSetup, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, match, match, matchNot, panic, recover, removeMessageListener, removeParserListener, removeParserMatchListener, removeParserTokenListener, removeSemanticPredicateListener, removeSyntacticPredicateListener, removeTraceListener, reportError, reportError, reportWarning, rewind, setASTFactory, setASTNodeClass, setASTNodeType, setDebugMode, setFilename, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_tokenNames

public static final String[] _tokenNames

_tokenSet_0

public static final antlr.collections.impl.BitSet _tokenSet_0

_tokenSet_1

public static final antlr.collections.impl.BitSet _tokenSet_1

Constructor Detail

TptpParser

protected TptpParser(antlr.TokenBuffer tokenBuf,
                     int k)

TptpParser

public TptpParser(antlr.TokenBuffer tokenBuf)

TptpParser

protected TptpParser(antlr.TokenStream lexer,
                     int k)

TptpParser

public TptpParser(antlr.TokenStream lexer)

TptpParser

public TptpParser(antlr.ParserSharedInputState state)

Method Detail

topLevelItem

public final TptpParserOutput.TptpInput topLevelItem(TptpParserOutput out)
                                              throws antlr.RecognitionException,
                                                     antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

tptp_input

public final TptpParserOutput.TptpInput tptp_input(TptpParserOutput out)
                                            throws antlr.RecognitionException,
                                                   antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

number

public final String number(TptpParserOutput out)
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

name

public final String name(TptpParserOutput out)
                  throws antlr.RecognitionException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

atomic_word

public final String atomic_word(TptpParserOutput out)
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

atomic_defined_word

public final String atomic_defined_word(TptpParserOutput out)
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

atomic_system_word

public final String atomic_system_word(TptpParserOutput out)
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_conn_term

public final String thf_conn_term(TptpParserOutput out)
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

term

public final TptpParserOutput.Term term(TptpParserOutput out)
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

plain_term

public final TptpParserOutput.Term plain_term(TptpParserOutput out)
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

defined_term

public final TptpParserOutput.Term defined_term(TptpParserOutput out)
                                         throws antlr.RecognitionException,
                                                antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

system_term

public final TptpParserOutput.Term system_term(TptpParserOutput out)
                                        throws antlr.RecognitionException,
                                               antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

variable

public final String variable(TptpParserOutput out)
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

arguments

public final LinkedList<TptpParserOutput.Term> arguments(TptpParserOutput out)
                                                  throws antlr.RecognitionException,
                                                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

atomic_formula

public final TptpParserOutput.AtomicFormula atomic_formula(TptpParserOutput out,
                                                           boolean[] polarity)
                                                    throws antlr.RecognitionException,
                                                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_formula

public final TptpParserOutput.ThfFormula thf_formula(TptpParserOutput out)
                                              throws antlr.RecognitionException,
                                                     antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_unitary_formula

public final TptpParserOutput.ThfFormula thf_unitary_formula(TptpParserOutput out)
                                                      throws antlr.RecognitionException,
                                                             antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_pair_connective

public final TptpParserOutput.BinaryConnective thf_pair_connective()
                                                            throws antlr.RecognitionException,
                                                                   antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_mapping_type

public final TptpParserOutput.ThfFormula thf_mapping_type(TptpParserOutput out,
                                                          TptpParserOutput.ThfFormula formula)
                                                   throws antlr.RecognitionException,
                                                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_top_level_type

public final TptpParserOutput.ThfFormula thf_top_level_type(TptpParserOutput out)
                                                     throws antlr.RecognitionException,
                                                            antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

binary_connective

public final TptpParserOutput.BinaryConnective binary_connective()
                                                          throws antlr.RecognitionException,
                                                                 antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_quantified_formula

public final TptpParserOutput.ThfFormula thf_quantified_formula(TptpParserOutput out)
                                                         throws antlr.RecognitionException,
                                                                antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_atom_or_unary_formula

public final TptpParserOutput.ThfFormula thf_atom_or_unary_formula(TptpParserOutput out,
                                                                   TptpParserOutput.UnaryConnective connective)
                                                            throws antlr.RecognitionException,
                                                                   antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_atom

public final TptpParserOutput.ThfFormula thf_atom(TptpParserOutput out)
                                           throws antlr.RecognitionException,
                                                  antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_quantifier

public final TptpParserOutput.Quantifier thf_quantifier()
                                                 throws antlr.RecognitionException,
                                                        antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_variable_list

public final LinkedList<TptpParserOutput.ThfFormula> thf_variable_list(TptpParserOutput out)
                                                                throws antlr.RecognitionException,
                                                                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_unitary_type

public final TptpParserOutput.ThfFormula thf_unitary_type(TptpParserOutput out)
                                                   throws antlr.RecognitionException,
                                                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

thf_defn_constant

public final TptpParserOutput.ThfFormula thf_defn_constant(TptpParserOutput out)
                                                    throws antlr.RecognitionException,
                                                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

fof_formula

public final TptpParserOutput.FofFormula fof_formula(TptpParserOutput out)
                                              throws antlr.RecognitionException,
                                                     antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

unitary_formula

public final TptpParserOutput.FofFormula unitary_formula(TptpParserOutput out)
                                                  throws antlr.RecognitionException,
                                                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

quantified_formula

public final TptpParserOutput.FofFormula quantified_formula(TptpParserOutput out)
                                                     throws antlr.RecognitionException,
                                                            antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

unary_formula

public final TptpParserOutput.FofFormula unary_formula(TptpParserOutput out)
                                                throws antlr.RecognitionException,
                                                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

quantifier

public final TptpParserOutput.Quantifier quantifier()
                                             throws antlr.RecognitionException,
                                                    antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

variable_list

public final LinkedList<String> variable_list(TptpParserOutput out)
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

cnf_formula

public final TptpParserOutput.CnfFormula cnf_formula(TptpParserOutput out)
                                              throws antlr.RecognitionException,
                                                     antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

disjunction

public final LinkedList<TptpParserOutput.Literal> disjunction(TptpParserOutput out)
                                                       throws antlr.RecognitionException,
                                                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

literal

public final TptpParserOutput.Literal literal(TptpParserOutput out)
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

tptp_literals

public final TptpParserOutput.CnfFormula tptp_literals(TptpParserOutput out)
                                                throws antlr.RecognitionException,
                                                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

tptp_literal

public final TptpParserOutput.Literal tptp_literal(TptpParserOutput out)
                                            throws antlr.RecognitionException,
                                                   antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

tptp_sign

public final boolean tptp_sign()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

general_term

public final TptpParserOutput.GeneralTerm general_term(TptpParserOutput out)
                                                throws antlr.RecognitionException,
                                                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

general_data

public final TptpParserOutput.GeneralTerm general_data(TptpParserOutput out)
                                                throws antlr.RecognitionException,
                                                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

general_list

public final TptpParserOutput.GeneralTerm general_list(TptpParserOutput out)
                                                throws antlr.RecognitionException,
                                                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

general_terms

public final LinkedList<TptpParserOutput.GeneralTerm> general_terms(TptpParserOutput out)
                                                             throws antlr.RecognitionException,
                                                                    antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

formula_data

public final TptpParserOutput.GeneralTerm formula_data(TptpParserOutput out)
                                                throws antlr.RecognitionException,
                                                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

optional_info

public final List<TptpParserOutput.InfoItem> optional_info(TptpParserOutput out)
                                                    throws antlr.RecognitionException,
                                                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

useful_info

public final List<TptpParserOutput.InfoItem> useful_info(TptpParserOutput out)
                                                  throws antlr.RecognitionException,
                                                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

info_items

public final LinkedList<TptpParserOutput.InfoItem> info_items(TptpParserOutput out)
                                                       throws antlr.RecognitionException,
                                                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

info_item

public final TptpParserOutput.InfoItem info_item(TptpParserOutput out)
                                          throws antlr.RecognitionException,
                                                 antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

status_value

public final TptpParserOutput.StatusValue status_value(TptpParserOutput out)
                                                throws antlr.RecognitionException,
                                                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

name_list

public final LinkedList<String> name_list(TptpParserOutput out)
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

file_source

public final TptpParserOutput.Source file_source(TptpParserOutput out)
                                          throws antlr.RecognitionException,
                                                 antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

source

public final TptpParserOutput.Source source(TptpParserOutput out)
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

sources

public final LinkedList<TptpParserOutput.Source> sources(TptpParserOutput out)
                                                  throws antlr.RecognitionException,
                                                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

inference_rule

public final String inference_rule(TptpParserOutput out)
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

parent_list

public final LinkedList<TptpParserOutput.ParentInfo> parent_list(TptpParserOutput out)
                                                          throws antlr.RecognitionException,
                                                                 antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

intro_type

public final String intro_type(TptpParserOutput out)
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

file_name

public final String file_name(TptpParserOutput out)
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

file_info

public final String file_info(TptpParserOutput out)
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

creator_name

public final String creator_name(TptpParserOutput out)
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

theory_name

public final String theory_name(TptpParserOutput out)
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

parent_info

public final TptpParserOutput.ParentInfo parent_info(TptpParserOutput out)
                                              throws antlr.RecognitionException,
                                                     antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

parent_details

public final TptpParserOutput.GeneralTerm parent_details(TptpParserOutput out)
                                                  throws antlr.RecognitionException,
                                                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

intro_info

public final List<TptpParserOutput.InfoItem> intro_info(TptpParserOutput out)
                                                 throws antlr.RecognitionException,
                                                        antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

tptp_file

public final List<TptpParserOutput.TptpInput> tptp_file(TptpParserOutput out)
                                                 throws antlr.RecognitionException,
                                                        antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

formula_role

public final TptpParserOutput.FormulaRole formula_role(TptpParserOutput out)
                                                throws antlr.RecognitionException,
                                                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

annotations

public final TptpParserOutput.Annotations annotations(TptpParserOutput out)
                                               throws antlr.RecognitionException,
                                                      antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

formula_selection

public final List<String> formula_selection(TptpParserOutput out)
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException