Uses of Class
tarau.jinni.Const

Packages that use Const

tarau.jinni
tarau.jinnigui

Uses of Const in tarau.jinni

Subclasses of Const 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	chars_to_name converts a name to a list of chars
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	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	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	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	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
(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	intToken
(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
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	lparToken
(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
class	Nil Special constant terminating a list
(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	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
(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
(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	stringToken
(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	Token
(package private) class	true_ Always succeeds
(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	varToken

Fields in tarau.jinni declared as Const

static Const	Const.aTrue
static Const	Const.aFail
static Const	Const.aYes
static Const	Const.aNo
static Const	Const.anEof
private static Const	DataBase.yes
private static Const	DataBase.no
(package private) static Const	Copier.anAnswer Extracts the free variables of a Term, using a generic action/reaction mechanism which takes care of recursing over its structure.

Methods in tarau.jinni that return Const

(package private) Const	Nonvar.listify() returns a list representation of the object
(package private) Const	Source.toList()
static Const	Const.the(Term X)
(package private) Const	Const.toBuiltin() creates a ConstBuiltin from a Const known to be registered as being a builtin while returning its argument unchanged if it is just a plain Prolog constant with no builtin code attached to it
(package private) Const	Fun.listify()
(package private) Const	Fun.toBuiltin()
Const	LazyList.getNull()
(package private) Const	Builtins.newBuiltin(Const S) Creates a new builtin

Methods in tarau.jinni with parameters of type Const

(package private) static java.util.Vector	Copier.ConsToVector(Const Xs)
(package private) static Term	Copier.toFun(Const c, java.util.Enumeration e) Converts a reified Enumeration to functor based on name of Const c and args being the elements of the Enumeration.
void	Builtins.register(Const proto) registers a symbol as name of a builtin
(package private) Const	Builtins.newBuiltin(Const S) Creates a new builtin

Constructors in tarau.jinni with parameters of type Const

ListSource.ListSource(Const Xs, Prog p)

varToken.varToken(Var X, Const C, Int I)

constToken.constToken(Const c)

SourceMerger.SourceMerger(Const Xs, Prog p)

Uses of Const in tarau.jinnigui

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