Files

tptp_parser

git

[Terry N.] fix mains for running

Feb 21, 2025

a56cfa6 · Feb 21, 2025

Name		Name	Last commit message	Last commit date
parent directory ..
CNFVisitor.java		CNFVisitor.java	[Terry N.] bring up to source 11. var dec. out of loops, static var dec.	Feb 5, 2025
DefaultTreeListener.java		DefaultTreeListener.java	[Terry N.] bring up to source 11. var dec. out of loops, static var dec.	Feb 5, 2025
FileTest.java		FileTest.java	[Terry N.] fix mains for running	Feb 21, 2025
Main.java		Main.java	[Terry N.] fix mains for running	Feb 21, 2025
ParseContext.java		ParseContext.java	[Terry N.] bring up to source 11. var dec. out of loops, static var dec.	Feb 5, 2025
ParseException.java		ParseException.java	[Terry N.] bring up to source 11. var dec. out of loops, static var dec.	Feb 5, 2025
SimpleTest.java		SimpleTest.java	[Terry N.] fix mains for running	Feb 21, 2025
TFFVisitor.java		TFFVisitor.java	[Terry N.] bring up to source 11. var dec. out of loops, static var dec.	Feb 5, 2025
THFVisitor.java		THFVisitor.java	[Terry N.] bring up to source 11. var dec. out of loops, static var dec.	Feb 5, 2025
TPTPFormula.java		TPTPFormula.java	[Terry N.] use equals	Feb 21, 2025
TPTPVisitor.java		TPTPVisitor.java	[Terry N.] fix for Issue #13	Feb 21, 2025
ThfAstGen.java		ThfAstGen.java	update of Steen&Gleissner's ANTLR TPTP grammar	Dec 12, 2021
TptpBaseListener.java		TptpBaseListener.java	update of Steen&Gleissner's ANTLR TPTP grammar	Dec 12, 2021
TptpLexer.java		TptpLexer.java	update of Steen&Gleissner's ANTLR TPTP grammar	Dec 12, 2021
TptpListener.java		TptpListener.java	update of Steen&Gleissner's ANTLR TPTP grammar	Dec 12, 2021
TptpParser.java		TptpParser.java	update of Steen&Gleissner's ANTLR TPTP grammar	Dec 12, 2021