Uses of Class
tarau.jinni.SystemObject

Packages that use SystemObject

tarau.jinni

Uses of SystemObject in tarau.jinni

Subclasses of SystemObject 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	Copier Term Copier agent.
class	Fluent A Fluent is a Jinni Object which has its own state, subject to changes over time.
(package private) class	IntegerSource creates a source of integers based on x=a*x+b formula
class	JavaObject A JavaObject is a Jinni SystemObject with a val slot which containing a wrapped Java object
(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.
(package private) class	VarNumberer Used in implementing uniform replacement of variables with new constants.