Uses of Interface
jtp.fol.parser.ClauseIterator

Packages that use ClauseIterator

jtp.context	Provides a basic configuration and interface for JTP.
jtp.fol.kif
jtp.fol.parser

Uses of ClauseIterator in jtp.context

Methods in jtp.context with parameters of type ClauseIterator

void	BasicReasoningContext.loadClauses(ClauseIterator cit, URL publicLocation) Feeds a sequence of clauses to the telling reasoner.

Uses of ClauseIterator in jtp.fol.kif

Methods in jtp.fol.kif that return ClauseIterator

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

Uses of ClauseIterator in jtp.fol.parser

Methods in jtp.fol.parser that return ClauseIterator

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