Uses of Class
jtp.fol.parser.ParsingException

Packages that use ParsingException

jtp.fol.kif
jtp.fol.parser

Uses of ParsingException in jtp.fol.kif

Methods in jtp.fol.kif that throw ParsingException

ClauseIterator	KIF2CNF.parse(URL url)
ClauseIterator	KIF2CNF.parse(URL actualLocation, URL publicLocation)

Uses of ParsingException in jtp.fol.parser

Methods in jtp.fol.parser that throw ParsingException

boolean	ClauseIterator.hasNext() checks if there are more clauses available from this iterator.
Clause	ClauseIterator.next() Returns the next clause in the iterator.
ClauseIterator	FirstOrderLogicParser.parse(Reader rdr) parses the contents extracted from the given Reader
ClauseIterator	FirstOrderLogicParser.parse(Reader rdr, URL url) parses the contents extracted from the given Reader.
ClauseIterator	FirstOrderLogicParser.parse(URL url) parses the contents retrieved from the given URL
ClauseIterator	FirstOrderLogicParser.parse(URL url, URL publicLocation) parses the contents retrieved from the given URL