Uses of Class
tarau.jinni.FunBuiltin

Packages that use FunBuiltin

tarau.jinni
tarau.jinnigui

Uses of FunBuiltin in tarau.jinni

Subclasses of FunBuiltin 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	char_file_writer opens a writer which puts characters to a file one by one
(package private) class	chars_to_name converts a name to a list of chars
(package private) class	clause_file_writer opens a writer which puts characters to a file one by one
(package private) class	collect Collects a reference to or the content of a Sink
(package private) class	compute Performs simple arithmetic operations like compute('+',1,2,Result)
(package private) class	consult consults a file of clauses while adding clauses to existing predicate definitions
(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	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
(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	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	is_builtin checks if something is a builtin
(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
(package private) class	list_source maps a List to a Source
(package private) class	merge_sources Merges all Sources contained in a List into one Source.
(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
(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
(package private) class	put generic Sink advancement step, sends one element to the Sink
(package private) class	reconsult reconsults a file of clauses while overwriting old predicate definitions
(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
(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	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	system Calls an external program
(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	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.

Uses of FunBuiltin in tarau.jinnigui

Subclasses of FunBuiltin 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