Uses of Class
tarau.jinni.Fluent

Packages that use Fluent

tarau.jinni

Uses of Fluent in tarau.jinni

Subclasses of Fluent in tarau.jinni

(package private) class	CharReader Builds Jinni Fluents from Java Streams
(package private) class	CharWriter Writer
(package private) class	ClauseReader Builds Jinni Fluents from Java Streams
(package private) class	ClauseWriter Writer
(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
(package private) class	MultiVar Varable-like entity, with a multiple values, in stack order.
class	Prog Basic toplevel Prolog Engine.
class	Sink
class	Source
(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	StringSink Builds Jinni Fluents from Java Streams
(package private) class	TermCollector Builds Jinni Fluents from Java Streams
(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.