Uses of Class
tarau.jinni.Prog

Packages that use Prog

tarau.jinni
tarau.jinnigui

Uses of Prog in tarau.jinni

Fields in tarau.jinni declared as Prog

private Prog	TermCollector.p
private Prog	Prog.parent
private Prog	Unfolder.prog

Methods in tarau.jinni that return Prog

Prog	Prog.getParent()
static Prog	Prog.new_engine(Term X, Term G)

Methods in tarau.jinni with parameters of type Prog

protected int	Term.exec(Prog p) Executed when a builtin is called.
protected void	Fluent.trailMe(Prog p) Adds this Fluent to the parent Solver's trail, which will eventually call the undo method of the Fluent on backtracking.
int	Fun.putArg(int i, Term T, Prog p)
static Term	Prog.ask_engine(Prog p)
protected void	Unfolder.trailMe(Prog p) Overrides default trailing by empty action
abstract int	ConstBuiltin.exec(Prog p)
int	true_.exec(Prog p)
int	fail_.exec(Prog p)
abstract int	FunBuiltin.exec(Prog p)
(package private) void	MultiVar.set(Term T, Prog p)
int	is_builtin.exec(Prog p)
int	halt.exec(Prog p)
int	system.exec(Prog p)
int	file_char_reader.exec(Prog p)
int	file_clause_reader.exec(Prog p)
int	char_file_writer.exec(Prog p)
int	clause_file_writer.exec(Prog p)
int	get_stdin.exec(Prog p)
int	get_stdout.exec(Prog p)
int	get_arity.exec(Prog p)
int	stack_dump.exec(Prog p)
int	ctime.exec(Prog p)
int	set_max_answers.exec(Prog p)
int	reconsult.exec(Prog p)
int	consult.exec(Prog p)
int	reconsult_again.exec(Prog p)
int	get_default_db.exec(Prog p)
int	new_db.exec(Prog p)
int	db_add.exec(Prog p)
int	db_remove.exec(Prog p)
int	db_collect.exec(Prog p)
int	db_source.exec(Prog p)
int	at_key.exec(Prog p)
int	pred_to_string.exec(Prog p)
int	db_to_string.exec(Prog p)
int	arg.exec(Prog p)
int	new_fun.exec(Prog p)
int	name_to_chars.exec(Prog p)
int	chars_to_name.exec(Prog p)
int	numbervars.exec(Prog p)
int	compute.exec(Prog p)
int	set_trace.exec(Prog p)
int	source_list.exec(Prog p)
int	list_source.exec(Prog p)
int	term_source.exec(Prog p)
int	integer_source.exec(Prog p)
int	source_loop.exec(Prog p)
int	source_term.exec(Prog p)
int	answer_source.exec(Prog p)
int	unfolder_source.exec(Prog p)
int	get.exec(Prog p)
int	put.exec(Prog p)
int	stop.exec(Prog p)
int	split_source.exec(Prog p)
int	merge_sources.exec(Prog p)
int	discharge.exec(Prog p)
int	collect.exec(Prog p)
int	term_string_collector.exec(Prog p)
int	term_collector.exec(Prog p)
int	string_char_reader.exec(Prog p)
int	string_clause_reader.exec(Prog p)
int	def.exec(Prog p)
int	set.exec(Prog p)
int	val.exec(Prog p)
int	set_persistent.exec(Prog p)
int	get_persistent.exec(Prog p)
int	source_lazy_list.exec(Prog p)
int	lazy_head.exec(Prog p)
int	lazy_tail.exec(Prog p)

Constructors in tarau.jinni with parameters of type Prog

Fluent.Fluent(Prog p)

Sink.Sink(Prog p)

TermCollector.TermCollector(Prog p)

Source.Source(Prog p)

CharReader.CharReader(java.io.Reader reader, Prog p)

CharReader.CharReader(java.lang.String f, Prog p)

CharReader.CharReader(Term t, Prog p)

CharReader.CharReader(Prog p)

Prog.Prog(Clause goal, Prog parent)
Creates a Prog starting execution with argument "goal"

JavaSource.JavaSource(Prog p)

JavaSource.JavaSource(java.util.Enumeration e, Prog p)

JavaSource.JavaSource(java.util.Vector V, Prog p)

Unfolder.Unfolder(Clause g, Prog p)
Creates an Unfolder based on goal clause g for resolution step in program p

TermSource.TermSource(Nonvar val, Prog p)

CharWriter.CharWriter(java.lang.String f, Prog p)

CharWriter.CharWriter(Prog p)

ClauseWriter.ClauseWriter(java.lang.String f, Prog p)

ClauseWriter.ClauseWriter(Prog p)

ClauseReader.ClauseReader(java.io.Reader reader, Prog p)

ClauseReader.ClauseReader(java.lang.String f, Prog p)

ClauseReader.ClauseReader(Prog p)

ClauseReader.ClauseReader(Term t, Prog p)
parses from a string representation of a term

StringSink.StringSink(Prog p)

IntegerSource.IntegerSource(long fuel, long a, long x, long b, Prog p)

ListSource.ListSource(Const Xs, Prog p)

SourceMerger.SourceMerger(Const Xs, Prog p)

SourceLoop.SourceLoop(Source s, Prog p)

MultiVar.MultiVar(Term T, Prog p)

Uses of Prog in tarau.jinnigui

Fields in tarau.jinnigui declared as Prog

private Prog

JinniButton.prog

Methods in tarau.jinnigui with parameters of type Prog

int	new_frame.exec(Prog p)
int	new_button.exec(Prog p)
int	new_label.exec(Prog p)
int	set_label.exec(Prog p)
int	dialog.exec(Prog p)
int	file_dialog.exec(Prog p)
int	new_panel.exec(Prog p)
int	new_text.exec(Prog p)
int	get_text.exec(Prog p)
int	clear_text.exec(Prog p)
int	add_text.exec(Prog p)
int	new_color.exec(Prog p)
int	set_fg.exec(Prog p)
int	set_color.exec(Prog p)
int	set_bg.exec(Prog p)
int	add_to.exec(Prog p)
int	remove_from.exec(Prog p)
int	destroy.exec(Prog p)
int	remove_all.exec(Prog p)
int	set_layout.exec(Prog p)
int	show.exec(Prog p)
int	resize.exec(Prog p)
int	move.exec(Prog p)
int	new_console.exec(Prog p)
int	get_applet.exec(Prog p)
int	new_image.exec(Prog p)
int	new_canvas.exec(Prog p)
int	draw.exec(Prog p)