org.openqed.parser.tptp
Class TptpParser

java.lang.Object
  org.openqed.parser.tptp.TptpParser

public class TptpParser
extends java.lang.Object

Method Summary

static TptpParser	createFromCharSequence(java.lang.CharSequence charSequence)
static TptpParser	createFromFile(java.io.File inputFile)
static TptpParser	createFromFileName(java.lang.String inputFileName)
static TptpParser	createFromReader(java.io.Reader reader)
TptpHeader	getHeader()
Sentence	parseNextSentence()
SentenceList	parseSentenceList()
static SentenceList	parseSentenceListFromCharSequence(java.lang.CharSequence charSequence)
static SentenceList	parseSentenceListFromFile(java.io.File inputFile)
static SentenceList	parseSentenceListFromFileName(java.lang.String inputFileName)
static SentenceList	parseSentenceListFromReader(java.io.Reader reader)

Methods inherited from class java.lang.Object

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

Method Detail

createFromCharSequence

public static TptpParser createFromCharSequence(java.lang.CharSequence charSequence)

createFromReader

public static TptpParser createFromReader(java.io.Reader reader)

createFromFileName

public static TptpParser createFromFileName(java.lang.String inputFileName)

createFromFile

public static TptpParser createFromFile(java.io.File inputFile)

getHeader

public TptpHeader getHeader()

parseNextSentence

public Sentence parseNextSentence()

parseSentenceList

public SentenceList parseSentenceList()

parseSentenceListFromCharSequence

public static SentenceList parseSentenceListFromCharSequence(java.lang.CharSequence charSequence)

parseSentenceListFromReader

public static SentenceList parseSentenceListFromReader(java.io.Reader reader)

parseSentenceListFromFileName

public static SentenceList parseSentenceListFromFileName(java.lang.String inputFileName)

parseSentenceListFromFile

public static SentenceList parseSentenceListFromFile(java.io.File inputFile)