Uses of Class
tarau.jinni.Nonvar

Packages that use Nonvar

tarau.jinni
tarau.jinnigui

Uses of Nonvar in tarau.jinni

Subclasses of Nonvar in tarau.jinni

(package private) class	answer_source When called as answer_source(X,G,R), it builds a new clause and maps it to an AnswerSource LD-resolution interpreter which will return one answer at a time of the form "the(X)" using G as initial resolvent and "no" when no more answers are available.
(package private) class	arg arg(I,Term,X) unifies X with the I-the argument of functor T
(package private) class	at_key collects all matching terms in a (possibly empty) list
(package private) class	barToken
(package private) class	char_file_writer opens a writer which puts characters to a file one by one
(package private) class	CharReader Builds Jinni Fluents from Java Streams
(package private) class	chars_to_name converts a name to a list of chars
(package private) class	CharWriter Writer
class	Clause Datatype for a Prolog clause (H:-B) having a head H and a body b
(package private) class	clause_file_writer opens a writer which puts characters to a file one by one
(package private) class	ClauseReader Builds Jinni Fluents from Java Streams
(package private) class	ClauseWriter Writer
(package private) class	collect Collects a reference to or the content of a Sink
(package private) class	commaToken
(package private) class	compute Performs simple arithmetic operations like compute('+',1,2,Result)
class	Conj
class	Cons List Constructor.
class	Const Symbolic constant, of arity 0.
class	ConstBuiltin Template for builtins of arity 0
(package private) class	constToken
(package private) class	consult consults a file of clauses while adding clauses to existing predicate definitions
(package private) class	Copier Term Copier agent.
(package private) class	ctime returns the real time spent up to now
(package private) class	db_add Puts a term on the local blackboard
(package private) class	db_collect collects all matching terms in a (possibly empty) list
(package private) class	db_remove removes a matching term if available, fails otherwise
(package private) class	db_source Maps a DataBase to a Source enumerating its elements
(package private) class	db_to_string lists all the local blackboard to a string (Linda terms + clauses)
(package private) class	def def(Var,Val) Initializes a Multi_Variable Var to a value Val.
(package private) class	discharge Flushes to a Sink the content of a Source Fluent
(package private) class	eocToken
(package private) class	eofToken
(package private) class	fail_ Always fails
(package private) class	file_char_reader opens a reader returning the content of a file char by char
(package private) class	file_clause_reader opens a reader returning clauses from a file
class	Fluent A Fluent is a Jinni Object which has its own state, subject to changes over time.
class	Fun Implements compound terms
class	FunBuiltin Template for builtins of arity >0
(package private) class	funToken
(package private) class	get generic Source advancement step, similar to an iterator's nextElement operation, gets one element from the Source
(package private) class	get_arity gets an arity for any term: n>0 for f(A1,...,An) 0 for a constant like a -1 for a variable like X -2 for an integer like 13 -3 for real like 3.14 -4 for a wrapped JavaObject;
(package private) class	get_default_db gets default database
(package private) class	get_persistent Gets the yes/no persistentcy value of a Fluent.
(package private) class	get_stdin get the standard output (a reader)
(package private) class	get_stdout get standard output (a writer)
(package private) class	halt does its best to halt the program:-) to be thoroughly tested with Applets
(package private) class	iffToken
class	Int
(package private) class	integer_source Creates an Integer Source which advances at most Fuel (infinite if Fule==0) Steps computing each time x:= a*x+b.
(package private) class	IntegerSource creates a source of integers based on x=a*x+b formula
(package private) class	intToken
(package private) class	is_builtin checks if something is a builtin
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	lazy_head returns the first element of a lazy list
(package private) class	lazy_tail returns the tail if a lazy list after making it grow, if possible
class	LazyList Lazy List: produces Cons-like sequences, based on a Source.
(package private) class	lbraToken
(package private) class	list_source maps a List to a Source
(package private) class	ListSource Builds an iterator from a list
(package private) class	lparToken
(package private) class	merge_sources Merges all Sources contained in a List into one Source.
(package private) class	MultiVar Varable-like entity, with a multiple values, in stack order.
(package private) class	name_to_chars converts a name to a list of chars
(package private) class	new_db creates new database
(package private) class	new_fun new_fun(F,N,T) creates a term T based on functor F with arity N and new free varables as arguments
class	Nil Special constant terminating a list
class	Num Abstract numeric class, part of the Term hierarchy
(package private) class	numbervars returns a copy of a Term with variables uniformly replaced with constants
(package private) class	pred_to_string Returns a representation of predicate as a string constant
class	Prog Basic toplevel Prolog Engine.
(package private) class	PseudoVar Special constants, used to Name variables
(package private) class	put generic Sink advancement step, sends one element to the Sink
(package private) class	rbraToken
class	Real Part of the Term hierarchy, implementing double float point numbers.
(package private) class	realToken
(package private) class	reconsult reconsults a file of clauses while overwriting old predicate definitions
(package private) class	reconsult_again shorthand for reconsulting the last file
(package private) class	rparToken
(package private) class	set set(Var,Val) Sets a Multi_Variable Var to a value Val.
(package private) class	set_max_answers sets max answer counter for toplevel query if == 0, it will prompt the user for more answers if > 0 it will not print more than IO.maxAnswers if < 0 it will print them out all
(package private) class	set_persistent set_persistent(Fluent,yes) makes a Fluent persistent - i.e.
(package private) class	set_trace controls trace levels for debugging
class	Sink
class	Source
(package private) class	source_lazy_list Converts Source into a Lazy List which will memorize its elements as it grows.
(package private) class	source_list Explores a finite iterator and return its successive values as a list.
(package private) class	source_loop Builds a Looping Source from a Source.
(package private) class	source_term Builds a Source from a Term
(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	split_source Splits a (finite) Source in two new ones which inherit the current state of the parent.
(package private) class	stack_dump Dumps the current Java Stack
(package private) class	stop frees a Fluent's resources and ensures it cannot produce/consume any new values
(package private) class	string_char_reader Creates a char reader from a String.
(package private) class	string_clause_reader Creates a clause reader from a String.
(package private) class	StringSink Builds Jinni Fluents from Java Streams
(package private) class	stringToken
(package private) class	system Calls an external program
(package private) class	SystemObject A SystemObject is a Jinni Nonvar with system assigned name
(package private) class	term_collector Builds a TermCollector Sink which accumulates Terms with put/1 and the return them with collect/1
(package private) class	term_source maps a Term to a Source
(package private) class	term_string_collector Builds a StringSink which concatenates String representations of Terms with put/1 and the return their concatenation with collect/1
(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	Token
(package private) class	true_ Always succeeds
(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	unfolder_source Builds a new clause H:-B and maps it to an iterator
(package private) class	val val(Var,Val) gets the value Val of Multi_Variable Var.
(package private) class	VarNumberer Used in implementing uniform replacement of variables with new constants.
(package private) class	varToken

Fields in tarau.jinni declared as Nonvar

private Nonvar

TermSource.val

Methods in tarau.jinni that return Nonvar

(package private) static Nonvar	Term.stringToChars(java.lang.String s)
Nonvar	Term.toChars()

Methods in tarau.jinni with parameters of type Nonvar

(package private) static java.lang.String

Term.charsToString(Nonvar Cs) Converts a list of character codes to a String.

Constructors in tarau.jinni with parameters of type Nonvar

TermSource.TermSource(Nonvar val, Prog p)

Uses of Nonvar in tarau.jinnigui

Subclasses of Nonvar in tarau.jinnigui

(package private) class	add_text add_text
(package private) class	add_to add_to(Container,What,Where) adds component What at a place Where.
(package private) class	clear_text add_text
(package private) class	destroy
(package private) class	dialog dialog(Query,X,Y,Answer): ask a question and collects trhe answer through a modal dialog in a window at X,Y
(package private) class	draw
(package private) class	file_dialog
(package private) class	get_applet detects if applet and gets applet container
(package private) class	get_text get_text(JinniText,Answer): collects the cpntent of thext area to new constant Answer
(package private) class	move
(package private) class	new_button new_button(JinniContainer,Name,Action,Button): creates a Button with label Name and attaches to it an action Action
(package private) class	new_canvas
(package private) class	new_color
(package private) class	new_console
(package private) class	new_frame
(package private) class	new_image
(package private) class	new_label
(package private) class	new_panel
(package private) class	new_text new(ParentContainer,oldText,JavaObject): initialises a textArea with oldText and returns a handle to it ARGS: 1=Parent Container 2=initial text content 3=rows 4=cols 5=returned handles
(package private) class	remove_all
(package private) class	remove_from
(package private) class	resize
(package private) class	set_bg
(package private) class	set_color
(package private) class	set_fg
(package private) class	set_label
(package private) class	set_layout
(package private) class	show