Uses of Class
tarau.jinni.Source

Packages that use Source

tarau.jinni

Uses of Source in tarau.jinni

Subclasses of Source in tarau.jinni

(package private) class	CharReader Builds Jinni Fluents from Java Streams
(package private) class	ClauseReader Builds Jinni Fluents from Java Streams
(package private) class	IntegerSource creates a source of integers based on x=a*x+b formula
(package private) class	JavaSource Builds Jinni Iterators from Java Sequences and Iterator type classes
(package private) class	ListSource Builds an iterator from a list
class	Prog Basic toplevel Prolog Engine.
(package private) class	SourceLoop An Infinite Source.
(package private) class	SourceMerger Merges a List of Sources into a new Source which (fairly) iterates over them breadth first.
(package private) class	TermSource Maps a Term to an Source for iterating over its arguments
(package private) class	Unfolder For a given clause g= A0:-,A1,A2...,An, used as resolvent iterates over its possible unfoldings (LD-resolution steps) with clauses of the form B0:-B1,...,Bm in the default database.

Fields in tarau.jinni declared as Source

private Source	LazyList.source
(package private) Source	SourceLoop.s

Constructors in tarau.jinni with parameters of type Source

LazyList.LazyList(Term head, Source source, Trail trail)

SourceLoop.SourceLoop(Source s, Prog p)