$ A B C D E F G H I J K L M N O P Q R S T U V W X Y _ 

$

$append_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
$call_1(Term) - Method in class alice.tuprolog.BuiltIn
It is the same as call/1, but it is not opaque to cut.
$find_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
$fromlist_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
$load_library_1(Term) - Method in class alice.tuprolog.BuiltIn
 
$op_3(Term, Term, Term) - Method in class alice.tuprolog.BuiltIn
 
$retract_1(Term) - Method in class alice.tuprolog.BuiltIn
 
$s_next0_3(Term, Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
$tolist_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
$wt_unify_3(Term, Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
$wt_unify_6(Term, Term, Term, Term, Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 

A

abolish(Struct) - Method in class alice.tuprolog.TheoryManager
removing from dbase all the clauses corresponding to the predicate indicator passed as a parameter
abolish_1(Term) - Method in class alice.tuprolog.BuiltIn
 
AboutFrame - Class in alice.tuprologx.ide
 
AboutFrame(JFrame) - Constructor for class alice.tuprologx.ide.AboutFrame
 
abs() - Method in class alice.util.V2d
 
abs_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
AbstractDynamicClassLoader - Class in alice.util
 
AbstractDynamicClassLoader() - Constructor for class alice.util.AbstractDynamicClassLoader
 
AbstractDynamicClassLoader(URL[]) - Constructor for class alice.util.AbstractDynamicClassLoader
 
AbstractDynamicClassLoader(URL[], ClassLoader) - Constructor for class alice.util.AbstractDynamicClassLoader
 
AbstractSocket - Class in alice.tuprolog
 
AbstractSocket() - Constructor for class alice.tuprolog.AbstractSocket
 
AbstractSubGoalTree - Class in alice.tuprolog
 
AbstractSubGoalTree() - Constructor for class alice.tuprolog.AbstractSubGoalTree
 
accept(TermVisitor) - Method in class alice.tuprolog.AbstractSocket
 
accept(TermVisitor) - Method in class alice.tuprolog.Number
 
accept(TermVisitor) - Method in class alice.tuprolog.Struct
 
accept(TermVisitor) - Method in class alice.tuprolog.Term
Visitor pattern
accept(TermVisitor) - Method in class alice.tuprolog.Var
 
acceptSolution() - Method in interface alice.tuprologx.ide.Console
 
acceptSolution() - Method in class alice.tuprologx.ide.ConsoleDialog
 
acceptSolution() - Method in class alice.tuprologx.ide.ConsoleManager
 
actionPerformed(ActionEvent) - Method in class alice.tuprologx.spyframe.SpyFrame
Continues the prolog process and sets the number of steps to be skipped.
actionPerformed(ActionEvent) - Method in class alice.tuprologx.spyframe.TermFrame
 
actionPerformed(ActionEvent) - Method in class alice.tuprologx.spyframe.TermPanel
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.backspace
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.backspace_word
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.copy
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.cut
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.delete
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.delete_word
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.document_end
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.document_home
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.end
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.home
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.insert_break
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.insert_char
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.insert_tab
 
actionPerformed(ActionListener, String) - Method in interface alice.util.jedit.InputHandler.MacroRecorder
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.next_char
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.next_line
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.next_page
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.next_word
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.overwrite
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.paste
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.prev_char
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.prev_line
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.prev_page
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.prev_word
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.repeat
 
actionPerformed(ActionEvent) - Method in class alice.util.jedit.InputHandler.toggle_rect
 
add(ChoicePointContext) - Method in class alice.tuprolog.ChoicePointStore
 
add(String, byte) - Method in class alice.util.jedit.KeywordMap
Adds a key-value mapping.
add(E) - Method in class alice.util.ReadOnlyLinkedList
 
add(int, E) - Method in class alice.util.ReadOnlyLinkedList
 
add_theory_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
adds a new theory provided as a text
addAll(Collection<? extends E>) - Method in class alice.util.ReadOnlyLinkedList
 
addAll(int, Collection<? extends E>) - Method in class alice.util.ReadOnlyLinkedList
 
addCaretListener(CaretListener) - Method in class alice.util.jedit.JEditTextArea
Adds a caret change listener to this text area.
addChild(Term) - Method in class alice.tuprolog.SubGoalTree
 
addChild() - Method in class alice.tuprolog.SubGoalTree
 
addCustomHighlight(TextAreaPainter.Highlight) - Method in class alice.util.jedit.TextAreaPainter
Adds a custom highlight painter.
addDefaultKeyBindings() - Method in class alice.util.jedit.DefaultInputHandler
Sets up the default key bindings.
addDefaultKeyBindings() - Method in class alice.util.jedit.InputHandler
Adds the default key bindings to this input handler.
addExceptionListener(ExceptionListener) - Method in interface alice.tuprolog.interfaces.IProlog
Adds a listener to exception events
addExceptionListener(ExceptionListener) - Method in class alice.tuprolog.Prolog
Adds a listener to exception events
addGoalToHistory() - Method in class alice.tuprologx.ide.JavaInputField
 
addInformationToDisplayListener(InformationToDisplayListener) - Method in class alice.tuprologx.ide.ConsoleManager
 
addKeyBinding(String, ActionListener) - Method in class alice.util.jedit.DefaultInputHandler
Adds a key binding to this input handler.
addKeyBinding(String, ActionListener) - Method in class alice.util.jedit.InputHandler
Adds a key binding to this input handler.
addLast(OneWayList<E>) - Method in class alice.util.OneWayList
 
addLibrary(String) - Method in class alice.tuprologx.ide.LibraryDialogFrame
Add a library from the dialog to the manager.
addLibrary(String, File) - Method in class alice.tuprologx.ide.LibraryDialogFrame
Add a library from file chooser path.
addLibrary(String) - Method in class alice.tuprologx.ide.LibraryManager
Add a library to the manager.
addLibrary(String, File) - Method in class alice.tuprologx.ide.LibraryManager
Add a library to the manager.
addLibraryListener(LibraryListener) - Method in class alice.tuprolog.Prolog
Adds a listener to library events
addOutputListener(OutputListener) - Method in class alice.tuprolog.Agent
Adds a listener to ouput events
addOutputListener(OutputListener) - Method in interface alice.tuprolog.interfaces.IProlog
Adds a listener to ouput events
addOutputListener(OutputListener) - Method in class alice.tuprolog.Prolog
Adds a listener to ouput events
addPropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.ConsoleDialog
 
addPropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.JavaEditArea
 
addPropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.PrologConfigFrame
 
addPropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.TheoryEditor
 
addPropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.ToolBar
 
addQueryListener(QueryListener) - Method in class alice.tuprolog.Prolog
Adds a listener to theory events
addSpyListener(SpyListener) - Method in interface alice.tuprolog.interfaces.IProlog
Adds a listener to spy events
addSpyListener(SpyListener) - Method in class alice.tuprolog.Prolog
Adds a listener to spy events
addStartGoal(Struct) - Method in class alice.tuprolog.TheoryManager
add a goal eventually defined by last parsed theory.
addTab(String, Component) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
addTab(String, Component, Icon) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
addTheory(Theory) - Method in interface alice.tuprolog.interfaces.IProlog
Adds (appends) a theory
addTheory(Theory) - Method in class alice.tuprolog.Prolog
Adds (appends) a theory
addTheory(Theory) - Method in class alice.tuprologx.pj.engine.PJProlog
 
addTheory(Theory) - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
addTheory(Theory) - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
addTheory(Theory) - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
addTheory(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
addTheory(Theory) - Method in class alice.tuprologx.runtime.tcp.Proxy
 
addTheoryListener(TheoryListener) - Method in class alice.tuprolog.Prolog
Adds a listener to theory events
addToken(int, byte) - Method in class alice.util.jedit.TokenMarker
Adds a token to the token list.
addUndoableEdit(UndoableEdit) - Method in class alice.util.jedit.SyntaxDocument
Adds an undoable edit to this document's undo list.
addUrl(URL) - Method in class alice.util.AssemblyCustomClassLoader
 
addURLs(URL[]) - Method in class alice.util.AbstractDynamicClassLoader
 
addWarningListener(WarningListener) - Method in class alice.tuprolog.Prolog
Adds a listener to warning events
Agent - Class in alice.tuprolog
Provides a prolog virtual machine embedded in a separate thread.
Agent(String) - Constructor for class alice.tuprolog.Agent
Builds a prolog agent providing it a theory
Agent(String, String) - Constructor for class alice.tuprolog.Agent
Builds a prolog agent providing it a theory and a goal
Agent(InputStream) - Constructor for class alice.tuprolog.Agent
Constructs the Agent with a theory provided by an input stream
Agent(InputStream, String) - Constructor for class alice.tuprolog.Agent
Constructs the Agent with a theory provided by an input stream and a goal
agent_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
spawns a separate prolog agent providing it a theory text
agent_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
spawns a separate prolog agent providing it a theory text and a goal
agetVarValue(String) - Method in interface alice.tuprolog.ISolution
 
alice.tuprolog - package alice.tuprolog
 
alice.tuprolog.event - package alice.tuprolog.event
 
alice.tuprolog.interfaces - package alice.tuprolog.interfaces
 
alice.tuprolog.lib - package alice.tuprolog.lib
 
alice.tuprologx.ide - package alice.tuprologx.ide
 
alice.tuprologx.pj.annotations - package alice.tuprologx.pj.annotations
 
alice.tuprologx.pj.annotations.parser - package alice.tuprologx.pj.annotations.parser
 
alice.tuprologx.pj.annotations.processing - package alice.tuprologx.pj.annotations.processing
 
alice.tuprologx.pj.engine - package alice.tuprologx.pj.engine
 
alice.tuprologx.pj.lib - package alice.tuprologx.pj.lib
 
alice.tuprologx.pj.meta - package alice.tuprologx.pj.meta
 
alice.tuprologx.pj.model - package alice.tuprologx.pj.model
 
alice.tuprologx.runtime.corba - package alice.tuprologx.runtime.corba
 
alice.tuprologx.runtime.rmi - package alice.tuprologx.runtime.rmi
 
alice.tuprologx.runtime.tcp - package alice.tuprologx.runtime.tcp
 
alice.tuprologx.spyframe - package alice.tuprologx.spyframe
 
alice.util - package alice.util
 
alice.util.jedit - package alice.util.jedit
 
all_solutions_predicates_guard_3(Term, Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
AndroidDynamicClassLoader - Class in alice.util
 
AndroidDynamicClassLoader() - Constructor for class alice.util.AndroidDynamicClassLoader
 
AndroidDynamicClassLoader(URL[]) - Constructor for class alice.util.AndroidDynamicClassLoader
 
AndroidDynamicClassLoader(URL[], ClassLoader) - Constructor for class alice.util.AndroidDynamicClassLoader
 
annotations - Variable in class alice.tuprologx.pj.annotations.parser.PrologTree.VariableExpr
 
append(Term) - Method in class alice.tuprolog.Struct
Appends an element to this structure supposed to be a list
append(Theory) - Method in class alice.tuprolog.Theory
Adds (appends) a theory to this.
append(Z) - Method in class alice.tuprologx.pj.model.Cons
 
appendTheory(Theory) - Method in class alice.tuprologx.pj.model.Theory
 
Applet - Class in alice.tuprologx.ide
A class for serving tuProlog as an applet.
Applet() - Constructor for class alice.tuprologx.ide.Applet
 
apply() - Method in class alice.tuprologx.pj.engine.TheoryFilter
 
approveSelection() - Method in class alice.tuprologx.ide.PrologFileChooser
 
aread_from_socket_2(Term, Struct) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
aread_from_socket_2(Term, Struct) - Method in class alice.tuprolog.lib.SocketLibrary
Asynchronous read from Socket.
areTypesCompatible(Class<?>[], Class<?>[]) - Static method in class alice.util.InspectionUtils
Returns true if all classes in the sources list are assignment compatible with the targets list.
arg_guard_3(Term, Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
argType - Variable in class alice.util.Automaton
arguments class eventually associated to state transition
arguments - Variable in class alice.util.Automaton
arguments value eventually associated to state transition
arity() - Method in class alice.tuprologx.pj.model.Compound
 
arity() - Method in class alice.tuprologx.pj.model.Cons
 
arity() - Method in class alice.tuprologx.pj.model.JavaTerm
 
arity() - Method in class alice.tuprologx.pj.model.Nil
 
AssemblyCustomClassLoader - Class in alice.util
 
AssemblyCustomClassLoader(cli.System.Reflection.Assembly, URL[]) - Constructor for class alice.util.AssemblyCustomClassLoader
 
assertA(Struct, boolean, String, boolean) - Method in class alice.tuprolog.TheoryManager
inserting of a clause at the head of the dbase
asserta_1(Term) - Method in class alice.tuprolog.BuiltIn
 
assertClause(PrologObject, Term) - Static method in class alice.tuprologx.pj.engine.PJ
 
assertZ(Struct, boolean, String, boolean) - Method in class alice.tuprolog.TheoryManager
inserting of a clause at the end of the dbase
assertz_1(Term) - Method in class alice.tuprolog.BuiltIn
 
at_end_of_stream_0() - Method in class alice.tuprolog.lib.ISOIOLibrary
 
at_end_of_stream_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
atan_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
Atom - Class in alice.tuprologx.pj.model
 
Atom(String) - Constructor for class alice.tuprologx.pj.model.Atom
 
atom_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
atom_chars_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
atom_length_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
atomic_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
Automaton - Class in alice.util
this abstract class is the base class for implementing automaton abstraction automaton state behaviour is expressed in public method and the become method allows to move computation from state to state method representing state must be public (to allow correct behaviour of reflection)
Automaton() - Constructor for class alice.util.Automaton
 

B

BACKSPACE - Static variable in class alice.util.jedit.InputHandler
 
BACKSPACE_WORD - Static variable in class alice.util.jedit.InputHandler
 
backTo(SubGoalId) - Method in class alice.tuprolog.SubGoalStore
Ripristina ClauseStore allo stato i-esimo
BasicLibrary - Class in alice.tuprolog.lib
This class defines a set of basic built-in predicates for the tuProlog engine Library/Theory dependency: none
BasicLibrary() - Constructor for class alice.tuprolog.lib.BasicLibrary
 
become(String) - Method in class alice.util.Automaton
 
become(String, Object[]) - Method in class alice.util.Automaton
 
beginStructEdit() - Method in class alice.util.jedit.SyntaxDocument
Starts a compound edit that can be undone in one operation.
bgcolor - Variable in class alice.tuprologx.spyframe.Node
 
biasLeft - Variable in class alice.util.jedit.JEditTextArea
 
bindDynamicObject(Term, Object) - Method in class alice.tuprolog.lib.JavaLibrary
Tries to bind specified id to a provided java object.
bindDynamicObject(Term, Object) - Method in class alice.tuprologx.pj.lib.PJLibrary
Tries to bind specified id to a provided java object.
blink - Variable in class alice.util.jedit.JEditTextArea
 
blinkCaret() - Method in class alice.util.jedit.JEditTextArea
Blinks the caret.
blockCaret - Variable in class alice.util.jedit.TextAreaDefaults
 
blockCaret - Variable in class alice.util.jedit.TextAreaPainter
 
Bool - Class in alice.tuprologx.pj.model
 
Bool(Boolean) - Constructor for class alice.tuprologx.pj.model.Bool
 
boot() - Method in class alice.tuprologx.ide.CUIConsole
 
boot() - Method in class alice.util.Automaton
boot state of automaton
border - Variable in class alice.tuprologx.spyframe.Tree
Space between text and border of a node.
bordercolor - Variable in class alice.tuprologx.spyframe.Node
 
BOTTOM - Static variable in class alice.util.jedit.JEditTextArea
 
bracketHighlight - Variable in class alice.util.jedit.TextAreaDefaults
 
bracketHighlight - Variable in class alice.util.jedit.TextAreaPainter
 
bracketHighlightColor - Variable in class alice.util.jedit.TextAreaDefaults
 
bracketHighlightColor - Variable in class alice.util.jedit.TextAreaPainter
 
bracketLine - Variable in class alice.util.jedit.JEditTextArea
 
bracketPosition - Variable in class alice.util.jedit.JEditTextArea
 
build(Term, List<Var>, List<ClauseInfo>) - Static method in class alice.tuprolog.ClauseStore
Carica una famiglia di clausole Reviewed by Paolo Contessi: OneWayList.transform(List) -> OneWayList.transform2(List)
buildGoal(Object[]) - Method in class alice.tuprologx.pj.engine.PrologInvocationContext
 
BuiltIn - Class in alice.tuprolog
Library of built-in predicates
BuiltIn(Prolog) - Constructor for class alice.tuprolog.BuiltIn
 

C

call(Object, Method, Object[], boolean) - Static method in class alice.tuprologx.pj.engine.PJ
External interface for calling a Prolog method - if a call is reentrant (e.g.
call_guard_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
cancel() - Method in class alice.tuprologx.ide.PrologConfigFrame
 
caretBlinks - Variable in class alice.util.jedit.JEditTextArea
 
caretBlinks - Variable in class alice.util.jedit.TextAreaDefaults
 
caretColor - Variable in class alice.util.jedit.TextAreaDefaults
 
caretColor - Variable in class alice.util.jedit.TextAreaPainter
 
caretEvent - Variable in class alice.util.jedit.JEditTextArea
 
caretTimer - Static variable in class alice.util.jedit.JEditTextArea
 
caretVisible - Variable in class alice.util.jedit.JEditTextArea
 
caretVisible - Variable in class alice.util.jedit.TextAreaDefaults
 
ceiling_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
CENTER - Static variable in class alice.util.jedit.JEditTextArea
 
changeRowStatus(int) - Method in class alice.tuprologx.ide.PrologTable
 
char_code_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
ChoicePointContext - Class in alice.tuprolog
 
ChoicePointContext() - Constructor for class alice.tuprolog.ChoicePointContext
 
ChoicePointStore - Class in alice.tuprolog
 
ChoicePointStore() - Constructor for class alice.tuprolog.ChoicePointStore
 
classCache - Variable in class alice.util.AbstractDynamicClassLoader
 
classLoaderProvider - Variable in class alice.tuprologx.pj.engine.J2PProxyFactory
A provider used by createClass() for obtaining a class loader.
clause - Variable in exception alice.tuprolog.InvalidTheoryException
 
Clause<H extends Term<?>,B extends Term<?>> - Class in alice.tuprologx.pj.model
 
Clause(H, B) - Constructor for class alice.tuprologx.pj.model.Clause
Creates a new instance of Clause
Clause(Struct) - Constructor for class alice.tuprologx.pj.model.Clause
 
clause_guard_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
ClauseInfo - Class in alice.tuprolog
This class mantains information about a clause creation (clause copy, final time T after renaming, validity stillValid Flag).
ClauseStore - Class in alice.tuprolog
A list of clauses belonging to the same family as a goal.
clear() - Method in class alice.tuprolog.TermQueue
 
clear() - Method in class alice.tuprolog.TheoryManager
Clears the clause dbase.
clear() - Method in class alice.tuprologx.ide.ConsoleDialog
 
clear() - Method in class alice.tuprologx.ide.DebugAreaFrame
Clear the debug area.
clear() - Method in class alice.util.ReadOnlyLinkedList
 
clearCache() - Method in class alice.util.AbstractDynamicClassLoader
 
clearResults() - Method in class alice.tuprologx.ide.ConsoleDialog
 
clearRetractDB() - Method in class alice.tuprolog.TheoryManager
 
clearSinfoSetOf() - Method in class alice.tuprolog.EngineManager
 
clearSinfoSetOf() - Method in class alice.tuprolog.EngineRunner
 
clearTheory() - Method in interface alice.tuprolog.interfaces.IProlog
Clears current theory
clearTheory() - Method in class alice.tuprolog.Prolog
Clears current theory
clearTheory() - Method in class alice.tuprologx.runtime.corba._PrologStub
 
clearTheory() - Method in class alice.tuprologx.runtime.corba.PrologImpl
managing theory theory
clearTheory() - Method in interface alice.tuprologx.runtime.corba.PrologOperations
 
clearTheory() - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
clearTheory() - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
clearTheory() - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
clearTheory(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
clearTheory() - Method in class alice.tuprologx.runtime.tcp.Proxy
 
Client_Socket - Class in alice.tuprolog
 
Client_Socket(Socket) - Constructor for class alice.tuprolog.Client_Socket
 
clone() - Method in interface alice.tuprolog.interfaces.IOperatorManager
 
clone() - Method in class alice.tuprolog.OperatorManager
 
close_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
close_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
closeLibraryDialog() - Method in class alice.tuprologx.ide.LibraryDialogFrame
 
collapseAll() - Method in class alice.tuprologx.ide.DebugAreaFrame
 
collapseSelectedNodes() - Method in class alice.tuprologx.ide.DebugAreaFrame
 
cols - Variable in class alice.util.jedit.TextAreaDefaults
 
cols - Variable in class alice.util.jedit.TextAreaPainter
 
comma_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
COMMENT1 - Static variable in class alice.util.jedit.Token
Comment 1 token id.
COMMENT2 - Static variable in class alice.util.jedit.Token
Comment 2 token id.
compareTo(Number) - Method in class alice.tuprolog.Double
 
compareTo(Number) - Method in class alice.tuprolog.Float
 
compareTo(Number) - Method in class alice.tuprolog.Int
 
compareTo(Number) - Method in class alice.tuprolog.Long
 
Compound<X extends Compound<?>> - Class in alice.tuprologx.pj.model
 
Compound() - Constructor for class alice.tuprologx.pj.model.Compound
 
Compound1<X1 extends Term<?>> - Class in alice.tuprologx.pj.model
 
Compound1(String, X1) - Constructor for class alice.tuprologx.pj.model.Compound1
 
Compound2<X1 extends Term<?>,X2 extends Term<?>> - Class in alice.tuprologx.pj.model
 
Compound2(String, X1, X2) - Constructor for class alice.tuprologx.pj.model.Compound2
 
Compound3<X1 extends Term<?>,X2 extends Term<?>,X3 extends Term<?>> - Class in alice.tuprologx.pj.model
 
Compound3(String, X1, X2, X3) - Constructor for class alice.tuprologx.pj.model.Compound3
 
compound_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
configure() - Method in class alice.tuprologx.ide.ToolBar
 
Cons<H extends Term<?>,R extends Compound<?>> - Class in alice.tuprologx.pj.model
 
Cons(String, H) - Constructor for class alice.tuprologx.pj.model.Cons
 
Cons(String, List<Term<?>>) - Constructor for class alice.tuprologx.pj.model.Cons
 
Cons(String, Term<?>[]) - Constructor for class alice.tuprologx.pj.model.Cons
 
Console - Interface in alice.tuprologx.ide
 
ConsoleDialog - Class in alice.tuprologx.ide
 
ConsoleDialog(Console) - Constructor for class alice.tuprologx.ide.ConsoleDialog
 
consoleExecution - Static variable in class alice.tuprolog.lib.IOLibrary
Added the variable consoleExecution and graphicExecution
ConsoleManager - Class in alice.tuprologx.ide
 
ConsoleManager(IDE) - Constructor for class alice.tuprologx.ide.ConsoleManager
 
constant_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
consult(Theory, boolean, String) - Method in class alice.tuprolog.TheoryManager
Consults a theory.
consumeChar() - Method in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
contains(String) - Method in class alice.tuprologx.ide.LibraryManager
Check if a library is contained in the manager.
contains(Object) - Method in class alice.util.ReadOnlyLinkedList
 
containsAll(Collection<?>) - Method in class alice.util.ReadOnlyLinkedList
 
containsTerm(String, int) - Method in interface alice.tuprolog.interfaces.IPrimitiveManager
 
containsTerm(String, int) - Method in class alice.tuprolog.PrimitiveManager
 
contexts2tree - Static variable in class alice.tuprologx.spyframe.SpyFrame
An anonymous singleton instance building a tree out of a list of ExecutionContexts.
copy(int) - Method in class alice.tuprolog.Number
gets a copy of this term.
copy() - Method in class alice.tuprolog.SubGoalTree
 
copy() - Method in class alice.util.jedit.DefaultInputHandler
Returns a copy of this input handler that shares the same key bindings.
COPY - Static variable in class alice.util.jedit.InputHandler
 
copy() - Method in class alice.util.jedit.InputHandler
Returns a copy of this input handler that shares the same key bindings.
copy() - Method in class alice.util.jedit.JEditTextArea
Places the selected text into the clipboard.
copy_term_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
copyGoal(AbstractMap<Var, Var>, int) - Method in class alice.tuprolog.Term
gets a engine's copy of this term.
copyResult(Collection<Var>, List<Var>) - Method in class alice.tuprolog.Term
gets a copy of this term for the output
cos_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
create(Class[], Object[], MethodHandler) - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
Creates a proxy class and returns an instance of that class.
create(Class[], Object[]) - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
Creates a proxy class and returns an instance of that class.
createClass() - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
Generates a proxy class.
createLock(String) - Method in class alice.tuprolog.EngineManager
 
createNumber(String) - Static method in class alice.tuprolog.Number
 
createParser(String) - Static method in class alice.tuprolog.interfaces.ParserFactory
Creating a parser with default operator interpretation
createParser(String, HashMap<Term, Integer>) - Static method in class alice.tuprolog.interfaces.ParserFactory
creating a parser with default operator interpretation
createParser(IOperatorManager, String) - Static method in class alice.tuprolog.interfaces.ParserFactory
creating a Parser specifing how to handle operators and what text to parse
createParser(IOperatorManager, String, HashMap<Term, Integer>) - Static method in class alice.tuprolog.interfaces.ParserFactory
creating a Parser specifing how to handle operators and what text to parse
createProlog() - Static method in class alice.tuprolog.interfaces.PrologFactory
Builds a prolog engine with default libraries loaded.
createQueue(String) - Method in class alice.tuprolog.EngineManager
 
createTerm(String) - Static method in class alice.tuprolog.Term
Static service to create a Term from a string.
createTerm(String, OperatorManager) - Static method in class alice.tuprolog.Term
Static service to create a Term from a string, providing an external operator manager.
CUIConsole - Class in alice.tuprologx.ide
 
CUIConsole(String[]) - Constructor for class alice.tuprologx.ide.CUIConsole
 
cut(ChoicePointContext) - Method in class alice.tuprolog.ChoicePointStore
 
CUT - Static variable in class alice.util.jedit.InputHandler
 
cut() - Method in class alice.util.jedit.JEditTextArea
Deletes the selected text from the text area and places it into the clipboard.
cut_0() - Method in class alice.tuprolog.BuiltIn
 

D

Daemon - Class in alice.tuprologx.runtime.corba
 
Daemon() - Constructor for class alice.tuprologx.runtime.corba.Daemon
 
Daemon - Class in alice.tuprologx.runtime.rmi
 
Daemon() - Constructor for class alice.tuprologx.runtime.rmi.Daemon
 
Daemon - Class in alice.tuprologx.runtime.tcp
 
Daemon(Prolog) - Constructor for class alice.tuprologx.runtime.tcp.Daemon
 
Daemon(Prolog, int) - Constructor for class alice.tuprologx.runtime.tcp.Daemon
 
Datagram_Socket - Class in alice.tuprolog
 
Datagram_Socket(DatagramSocket) - Constructor for class alice.tuprolog.Datagram_Socket
 
DCGLibrary - Class in alice.tuprolog.lib
Library for managing DCGs.
DCGLibrary() - Constructor for class alice.tuprolog.lib.DCGLibrary
 
DebugAreaFrame - Class in alice.tuprologx.ide
 
DebugAreaFrame() - Constructor for class alice.tuprologx.ide.DebugAreaFrame
 
decFontDimension() - Method in interface alice.tuprologx.ide.FontDimensionHandler
Increment the font dimension of the IDE's editor
decFontDimension() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
DEFAULT_PORT - Static variable in class alice.tuprologx.runtime.tcp.Daemon
 
defaultfont - Static variable in class alice.tuprologx.spyframe.Tree
 
DefaultInputHandler - Class in alice.util.jedit
The default input handler.
DefaultInputHandler() - Constructor for class alice.util.jedit.DefaultInputHandler
Creates a new input handler with no key bindings defined.
DefaultSubGoalId - Class in alice.tuprolog
Identifier of single subGoal during the demo.
defineFlag(String, Struct, Term, boolean, String) - Method in class alice.tuprolog.Prolog
Defines a new flag
delete(K, ClauseInfo) - Method in class alice.tuprolog.RBTree
 
DELETE - Static variable in class alice.util.jedit.InputHandler
 
delete_guard_3(Term, Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
DELETE_WORD - Static variable in class alice.util.jedit.InputHandler
 
deleteLines(int, int) - Method in class alice.util.jedit.TokenMarker
Informs the token marker that line have been deleted from the document.
destroy_object_1(Term) - Method in class alice.tuprolog.lib.JavaLibrary
Destroy the link to a java object - called not directly, but from predicate java_object (as second choice, for backtracking)
destroy_object_1(Term) - Method in class alice.tuprologx.pj.lib.PJLibrary
Destroy the link to a java object - called not directly, but from predicate java_object (as second choice, for backtracking)
destroyLock(String) - Method in class alice.tuprolog.EngineManager
 
destroyQueue(String) - Method in class alice.tuprolog.EngineManager
 
detach(int) - Method in class alice.tuprolog.EngineManager
 
detach() - Method in class alice.tuprolog.EngineRunner
 
deunify_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
DIRECTIVE - Static variable in class alice.tuprolog.PrimitiveInfo
 
dismiss() - Method in class alice.tuprolog.lib.JavaLibrary
 
dismiss() - Method in class alice.tuprolog.Library
method invoked by prolog engine when library is going to be removed
dismiss() - Method in class alice.tuprologx.pj.lib.PJLibrary
 
dismissAll() - Method in class alice.tuprolog.lib.JavaLibrary
 
dismissAll() - Method in class alice.tuprologx.pj.lib.PJLibrary
 
dispatch(PJProlog, Object[]) - Method in class alice.tuprologx.pj.engine.PrologInvocationContext
 
div_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
document - Variable in class alice.util.jedit.JEditTextArea
 
document - Variable in class alice.util.jedit.TextAreaDefaults
 
DOCUMENT_END - Static variable in class alice.util.jedit.InputHandler
 
DOCUMENT_HOME - Static variable in class alice.util.jedit.InputHandler
 
documentChanged(DocumentEvent) - Method in class alice.util.jedit.JEditTextArea
 
documentHandler - Variable in class alice.util.jedit.JEditTextArea
 
domain_error(EngineManager, int, String, Term) - Static method in class alice.tuprolog.PrologError
 
Double - Class in alice.tuprolog
Double class represents the double prolog data type
Double(double) - Constructor for class alice.tuprolog.Double
 
Double - Class in alice.tuprologx.pj.model
 
Double(Double) - Constructor for class alice.tuprologx.pj.model.Double
 
doubleValue() - Method in class alice.tuprolog.Double
Returns the value of the Double as double
doubleValue() - Method in class alice.tuprolog.Float
Returns the value of the Float as double
doubleValue() - Method in class alice.tuprolog.Int
Returns the value of the Integer as double
doubleValue() - Method in class alice.tuprolog.Long
Returns the value of the Integer as double
doubleValue() - Method in class alice.tuprolog.Number
Returns the value of the number as double

E

EDCGLibrary - Class in alice.tuprolog.lib
Library for managing DCGs.
EDCGLibrary() - Constructor for class alice.tuprolog.lib.EDCGLibrary
 
editable - Variable in class alice.util.jedit.JEditTextArea
 
editable - Variable in class alice.util.jedit.TextAreaDefaults
 
electricScroll - Variable in class alice.util.jedit.JEditTextArea
 
electricScroll - Variable in class alice.util.jedit.TextAreaDefaults
 
element_guard_3(Term, Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
empty - Static variable in class alice.tuprologx.spyframe.Node
An always empty array.
enableSolutionCommands(boolean) - Method in class alice.tuprologx.ide.ConsoleDialog
 
enableStopButton(boolean) - Method in class alice.tuprologx.ide.ConsoleDialog
 
enableStopButton(boolean) - Method in class alice.tuprologx.ide.ConsoleManager
 
enableTheoryCommands(boolean) - Method in interface alice.tuprologx.ide.Console
 
enableTheoryCommands(boolean) - Method in class alice.tuprologx.ide.ConsoleDialog
 
enableTheoryCommands(boolean) - Method in class alice.tuprologx.ide.ConsoleManager
 
enableTheoryCommands(boolean) - Method in class alice.tuprologx.ide.JavaIDE
 
enableTheoryCommands(boolean) - Method in class alice.tuprologx.ide.TheoryEditor
Enable or disable theory-related buttons.
enableTheoryCommands(boolean) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
enableTheoryCommands(boolean) - Method in class alice.tuprologx.ide.ToolBar
Enable or disable theory-related buttons.
end() - Method in class alice.util.Automaton
shutdown state
END - Static variable in class alice.util.jedit.InputHandler
 
END - Static variable in class alice.util.jedit.Token
The token type, that along with a length of 0 marks the end of the token list.
endStructEdit() - Method in class alice.util.jedit.SyntaxDocument
Ends a compound edit that can be undone in one operation.
Engine - Class in alice.tuprolog
 
Engine(EngineRunner, Term) - Constructor for class alice.tuprolog.Engine
 
engine - Variable in class alice.tuprolog.Library
prolog core which loaded the library
engine - Variable in class alice.tuprologx.pj.engine.PJProlog
 
EngineManager - Class in alice.tuprolog
 
EngineManager() - Constructor for class alice.tuprolog.EngineManager
 
engineManager - Variable in class alice.tuprolog.lib.ThreadLibrary
 
EngineRunner - Class in alice.tuprolog
 
EngineRunner(int) - Constructor for class alice.tuprolog.EngineRunner
 
EngineStatus - Class in alice.tuprologx.ide
 
EngineStatus() - Constructor for class alice.tuprologx.ide.EngineStatus
 
EngineThread - Class in alice.tuprologx.ide
 
EngineThread(Prolog, String, ConsoleManager) - Constructor for class alice.tuprologx.ide.EngineThread
 
EngineThread(Prolog) - Constructor for class alice.tuprologx.ide.EngineThread
 
ensureCapacity(int) - Method in class alice.util.jedit.TokenMarker
Ensures that the lineInfo array can contain the specified index.
eolMarkerColor - Variable in class alice.util.jedit.TextAreaDefaults
 
eolMarkerColor - Variable in class alice.util.jedit.TextAreaPainter
 
eolMarkers - Variable in class alice.util.jedit.TextAreaDefaults
 
eolMarkers - Variable in class alice.util.jedit.TextAreaPainter
 
equals(Object) - Method in class alice.tuprolog.Term
Tests for the equality of two object terms The comparison follows the same semantic of the isEqual method.
equals(Object) - Method in class alice.tuprologx.pj.annotations.parser.PrologTree.VariableExpr
 
equals(Object) - Method in class alice.tuprologx.pj.lib.MethodFinder
ERR_ARG_BAD_TYPE - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_BAD_ITEM_IN_MAPPING - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_BAD_TYPE_IN_VAR_INIT - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_BAD_VAR_INIT - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_CANT_CHECK_TYPES - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_KEEP_SUBST_DEFAULTS_TRUE - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_MAPPING_WRONG - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_PARAMS_NUMBER_WRONG - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_PREDICATE_MALFORMED - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_PROLOG_CLASS_NOT_ALLOWED - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_PROLOG_METHOD_NOT_ALLOWED - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_RET_BAD_TYPE - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_RETURN_MULTIPLE_REQUIRED - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_RETURN_TYPE_REQUIRED - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_SELECT_EMPTY - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_SELECT_TOO_MANY - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_SIGNATURE_MALFORMED - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_THEORY_INVALID - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_THROW_MISSING - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
ERR_TVAR_BAD_BOUND - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
error() - Method in class alice.util.Automaton
error state
evalAsDirective(Struct) - Method in class alice.tuprolog.PrimitiveInfo
evaluates the primitive as a directive
evalAsDirective(Struct) - Method in class alice.tuprolog.PrimitiveManager
 
evalAsFunctor(Struct) - Method in class alice.tuprolog.PrimitiveInfo
evaluates the primitive as a functor
evalAsPredicate(Struct) - Method in class alice.tuprolog.PrimitiveInfo
evaluates the primitive as a predicate
evalExpression(Term) - Method in class alice.tuprolog.Library
Evaluates an expression.
evaluation_error(EngineManager, int, String) - Static method in class alice.tuprolog.PrologError
 
exception(String) - Method in class alice.tuprolog.Prolog
Notifies a exception information event
ExceptionEvent - Class in alice.tuprolog.event
 
ExceptionEvent(Object, String) - Constructor for class alice.tuprolog.event.ExceptionEvent
 
ExceptionListener - Interface in alice.tuprolog.event
 
executeAction(ActionListener, Object, String) - Method in class alice.util.jedit.InputHandler
Executes the specified action, repeating and recording it as necessary.
ExecutionContext - Class in alice.tuprolog
 
existChoicePoint() - Method in class alice.tuprolog.ChoicePointStore
Check if a choice point exists in the store.
existCompatibleClause() - Method in class alice.tuprolog.ClauseStore
Verify if there is a term in compatibleGoals compatible with goal.
existence_error(EngineManager, int, String, Term, Term) - Static method in class alice.tuprolog.PrologError
 
exp_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
expandAll() - Method in class alice.tuprologx.ide.DebugAreaFrame
 
expandSelectedNodes() - Method in class alice.tuprologx.ide.DebugAreaFrame
 
exportCSV() - Method in class alice.tuprologx.ide.ConsoleDialog
 
expression_bitwise_and_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_bitwise_not_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_bitwise_or_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_bitwise_shift_left_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_bitwise_shift_right_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_div_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_equality_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_greater_or_equal_than_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_greater_than_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_integer_div_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_less_or_equal_than_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_less_than_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_minus_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_minus_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_multiply_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_plus_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_plus_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
expression_pow_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
extract(Any) - Static method in class alice.tuprologx.runtime.corba.PrologHelper
 
extract(Any) - Static method in class alice.tuprologx.runtime.corba.SolveInfoHelper
 

F

fail_0() - Method in class alice.tuprolog.BuiltIn
 
FALSE - Static variable in class alice.tuprolog.EngineRunner
 
FALSE - Static variable in class alice.tuprolog.Term
 
fetch() - Method in class alice.tuprolog.ChoicePointStore
Return the correct choice-point
fetch() - Method in class alice.tuprolog.ClauseStore
Restituisce la clausola da caricare
fetch() - Method in class alice.tuprolog.SubGoalStore
Restituisce la clausola da caricare
FileEditArea - Interface in alice.tuprologx.ide
 
FileIDE - Class in alice.tuprologx.ide
 
FileIDE(String, String) - Constructor for class alice.tuprologx.ide.FileIDE
 
fileIDE - Variable in class alice.tuprologx.ide.ToolBar
 
files - Variable in class alice.tuprolog.lib.ISOIOLibrary
 
find(Term) - Method in class alice.tuprolog.TheoryManager
Returns a family of clauses with functor and arity equals to the functor and arity of the term passed as a parameter Reviewed by Paolo Contessi: modified according to new ClauseDatabase implementation
find(String, int) - Method in class alice.tuprologx.pj.model.Theory
 
find_property_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
findClass(String) - Method in class alice.util.AndroidDynamicClassLoader
 
findClass(String) - Method in class alice.util.JavaDynamicClassLoader
 
findConstructor(Class<?>[]) - Method in class alice.tuprologx.pj.lib.MethodFinder
Returns the most specific public constructor in my target class that accepts the number and type of parameters in the given Class array in a reflective invocation.
findMatchingBracket(Document, int) - Static method in class alice.util.jedit.TextUtilities
Returns the offset of the bracket matching the one at the specified offset of the document, or -1 if the bracket is unmatched (or if the character is not a bracket).
findMethod(String, Class<?>[]) - Method in class alice.tuprologx.pj.lib.MethodFinder
Returns the most specific public method in my target class that has the given name and accepts the number and type of parameters in the given Class array in a reflective invocation.
findVar(Struct, ArrayList<String>) - Method in class alice.tuprolog.StateEnd
 
findWordEnd(String, int, String) - Static method in class alice.util.jedit.TextUtilities
Locates the end of the word at the specified position.
findWordStart(String, int, String) - Static method in class alice.util.jedit.TextUtilities
Locates the start of the word at the specified position.
fireCaretEvent() - Method in class alice.util.jedit.JEditTextArea
 
fireInsertUpdate(DocumentEvent) - Method in class alice.util.jedit.SyntaxDocument
We overwrite this method to update the token marker state immediately so that any event listeners get a consistent token marker.
fireRemoveUpdate(DocumentEvent) - Method in class alice.util.jedit.SyntaxDocument
We overwrite this method to update the token marker state immediately so that any event listeners get a consistent token marker.
firstLine - Variable in class alice.util.jedit.JEditTextArea
 
firstToken - Variable in class alice.util.jedit.TokenMarker
The first token in the list.
flag_4(Term, Term, Term, Term) - Method in class alice.tuprolog.BuiltIn
 
flag_list_1(Term) - Method in class alice.tuprolog.BuiltIn
 
Float - Class in alice.tuprolog
Float class represents the float prolog data type
Float(float) - Constructor for class alice.tuprolog.Float
 
float_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
float_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
float_fractional_part_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
float_integer_part_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
floatValue() - Method in class alice.tuprolog.Double
Returns the value of the Double as float
floatValue() - Method in class alice.tuprolog.Float
Returns the value of the Float as float
floatValue() - Method in class alice.tuprolog.Int
Returns the value of the Integer as float
floatValue() - Method in class alice.tuprolog.Long
Returns the value of the Integer as float
floatValue() - Method in class alice.tuprolog.Number
Returns the value of the number as float
floor_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
flush_output_0() - Method in class alice.tuprolog.lib.ISOIOLibrary
 
flush_output_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
fm - Variable in class alice.util.jedit.TextAreaPainter
 
focusedComponent - Static variable in class alice.util.jedit.JEditTextArea
 
font - Variable in class alice.tuprologx.spyframe.Tree
The font to be used for rendering the tree nodes.
FontDimensionHandler - Interface in alice.tuprologx.ide
 
free() - Method in class alice.tuprolog.AbstractSocket
 
free() - Method in class alice.tuprolog.Number
 
free() - Method in class alice.tuprolog.Struct
dummy method
free() - Method in class alice.tuprolog.Term
Unlink variables inside the term
free() - Method in class alice.tuprolog.Var
De-unify the variable
free(List<Var>) - Static method in class alice.tuprolog.Var
De-unify the variables of list
fromJava(Object) - Static method in class alice.tuprologx.pj.model.Term
 
FUNCTOR - Static variable in class alice.tuprolog.PrimitiveInfo
 

G

generateFreshId() - Method in class alice.tuprolog.lib.JavaLibrary
Generates a fresh numeric identifier
generateFreshId() - Method in class alice.tuprologx.pj.lib.PJLibrary
Generates a fresh numeric identifier
GenericFrame - Class in alice.tuprologx.ide
 
GenericFrame() - Constructor for class alice.tuprologx.ide.GenericFrame
 
GenericFrame(String) - Constructor for class alice.tuprologx.ide.GenericFrame
 
GenericFrame(String, JFrame, int, int) - Constructor for class alice.tuprologx.ide.GenericFrame
 
GenericFrame(String, JFrame, int, int, boolean) - Constructor for class alice.tuprologx.ide.GenericFrame
 
GenericFrame(String, JFrame, int, int, boolean, boolean) - Constructor for class alice.tuprologx.ide.GenericFrame
 
get(Term, Prolog, EngineRunner) - Method in class alice.tuprolog.TermQueue
 
get(ProxyFactory) - Method in interface alice.tuprologx.pj.engine.J2PProxyFactory.ClassLoaderProvider
Returns a class loader.
get(int) - Method in class alice.util.OneWayList
 
get(int) - Method in class alice.util.ReadOnlyLinkedList
 
get0() - Method in class alice.tuprologx.pj.model.Compound1
 
get0() - Method in class alice.tuprologx.pj.model.Compound2
 
get0() - Method in class alice.tuprologx.pj.model.Compound3
 
get0_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
get1() - Method in class alice.tuprologx.pj.model.Compound2
 
get1() - Method in class alice.tuprologx.pj.model.Compound3
 
get2() - Method in class alice.tuprologx.pj.model.Compound3
 
get_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
get_byte_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
get_byte_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
get_char_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
get_classpath_1(Term) - Method in class alice.tuprolog.lib.JavaLibrary
 
get_code_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
get_code_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
get_operators_list_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
get_prolog_flag_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
get_theory_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
gets current theory text
getAction(String) - Static method in class alice.util.jedit.InputHandler
Returns a named text area action.
getActions() - Static method in class alice.util.jedit.InputHandler
Returns an enumeration of all available actions.
getAddress() - Method in class alice.tuprolog.AbstractSocket
 
getAddress() - Method in class alice.tuprolog.Client_Socket
 
getAddress() - Method in class alice.tuprolog.Datagram_Socket
 
getAddress() - Method in class alice.tuprolog.Server_Socket
 
getAddress(String) - Static method in class alice.util.IPIdentifier
 
getAddress_2(Term, Term) - Method in class alice.tuprolog.lib.SocketLibrary
 
getArg(int) - Method in class alice.tuprolog.Struct
Gets the i-th element of this structure No bound check is done
getArg(String) - Method in class alice.tuprolog.Struct
Gets an argument inside this structure, given its name
getArity() - Method in class alice.tuprolog.Struct
Gets the number of elements of this structure
getArity() - Method in class alice.tuprologx.pj.meta.PrologMetaMethod
 
getBagOFbag() - Method in class alice.tuprolog.EngineManager
 
getBagOFBag() - Method in class alice.tuprolog.EngineRunner
 
getBagOFgoal() - Method in class alice.tuprolog.EngineManager
 
getBagOFgoal() - Method in class alice.tuprolog.EngineRunner
 
getBagOFres() - Method in class alice.tuprolog.EngineManager
 
getBagOFres() - Method in class alice.tuprolog.EngineRunner
 
getBagOFresString() - Method in class alice.tuprolog.EngineManager
 
getBagOFresString() - Method in class alice.tuprolog.EngineRunner
 
getBagOFvarSet() - Method in class alice.tuprolog.EngineManager
 
getBagOFvarSet() - Method in class alice.tuprolog.EngineRunner
 
getBindingVars() - Method in interface alice.tuprolog.ISolution
 
getBindingVars() - Method in class alice.tuprolog.SolveInfo
Gets the list of the variables in the solution.
getBindingVars() - Method in class alice.tuprologx.pj.engine.PrologSolution
 
getBody() - Method in class alice.tuprologx.pj.model.Clause
 
getBracketHighlightColor() - Method in class alice.util.jedit.TextAreaPainter
Returns the bracket highlight color.
getBracketLine() - Method in class alice.util.jedit.JEditTextArea
Returns the line of the highlighted bracket (the bracket matching the one before the caret)
getBracketPosition() - Method in class alice.util.jedit.JEditTextArea
Returns the position of the highlighted bracket (the bracket matching the one before the caret)
getCaretColor() - Method in class alice.util.jedit.TextAreaPainter
Returns the caret color.
getCaretLine() - Method in class alice.tuprologx.ide.JavaEditArea
 
getCaretLine() - Method in class alice.util.jedit.JEditTextArea
Returns the caret line.
getCaretPosition() - Method in class alice.util.jedit.JEditTextArea
Returns the caret position.
getChar(int) - Method in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
getChild(int) - Method in class alice.tuprolog.SubGoalTree
 
getChoice() - Method in class alice.tuprologx.ide.CUIConsole
 
getChoicePoints() - Method in class alice.tuprolog.ChoicePointStore
 
getChoicePointStore() - Method in class alice.tuprolog.Engine
 
getClassLoader() - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
 
getClassLoader0() - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
 
getClause() - Method in class alice.tuprolog.ExecutionContext
 
getClauses() - Method in class alice.tuprolog.ClauseStore
 
getClauses() - Method in class alice.tuprologx.pj.meta.PrologMetaMethod
 
getColor() - Method in class alice.util.jedit.SyntaxStyle
Returns the color specified in this style.
getCompatibleGoals() - Method in class alice.tuprolog.ChoicePointContext
 
getCompleteVersion() - Static method in class alice.util.VersionInfo
 
getCompletions(Element, AnnotationMirror, ExecutableElement, String) - Method in class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 
getConsoleManager() - Static method in class alice.tuprologx.ide.JavaIDE
 
getContent() - Method in class alice.tuprologx.ide.FileIDE
 
getCurrentDirectory() - Method in class alice.tuprolog.Prolog
Gets the last Element of the path list
getCurrentGoal() - Method in class alice.tuprolog.ExecutionContext
 
getCurrentGoalId() - Method in class alice.tuprolog.SubGoalStore
Indice del correntemente in esecuzione
getCurrentLibraries() - Method in interface alice.tuprolog.interfaces.IProlog
Gets the list of current libraries loaded
getCurrentLibraries() - Method in class alice.tuprolog.LibraryManager
Gets the list of current libraries loaded
getCurrentLibraries() - Method in class alice.tuprolog.Prolog
Gets the list of current libraries loaded
getCurrentLine() - Method in interface alice.tuprolog.interfaces.IParser
 
getCurrentLine() - Method in class alice.tuprolog.Parser
 
getCurrentOffset() - Method in interface alice.tuprolog.interfaces.IParser
 
getCurrentOffset() - Method in class alice.tuprolog.Parser
 
getCurrentOperatorList() - Method in class alice.tuprolog.Prolog
Gets the list of the operators currently defined
getCurSGId() - Method in class alice.tuprolog.SubGoalStore
 
getDefaults() - Static method in class alice.util.jedit.TextAreaDefaults
Returns a new TextAreaDefaults object with the default values filled in.
getDefaultSyntaxStyles() - Static method in class alice.util.jedit.SyntaxUtilities
Returns the default style table.
getDepth() - Method in class alice.tuprolog.ExecutionContext
 
getDialog() - Method in class alice.tuprologx.ide.ConsoleManager
 
getDocument() - Method in class alice.util.jedit.JEditTextArea
Returns the document this text area is editing.
getDocumentLength() - Method in class alice.util.jedit.JEditTextArea
Returns the length of the document.
getDomain() - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
 
getEditableCopy() - Method in class alice.util.ReadOnlyLinkedList
Returns a copy of the wrapped list, useful for destructive navigation
getEditorContent() - Method in class alice.tuprologx.ide.JavaIDE
 
getEditorContent() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
getEditorContentTabName() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
getElectricScroll() - Method in class alice.util.jedit.JEditTextArea
Returns the number of lines from the top and button of the text area that are always visible.
getEnclosingMeta() - Method in class alice.tuprologx.pj.meta.PrologMetaField
 
getEnclosingMeta() - Method in class alice.tuprologx.pj.meta.PrologMetaMethod
 
getEngine() - Method in class alice.tuprolog.Library
Gets the engine to which the library is bound
getEngine() - Method in class alice.tuprologx.ide.LibraryManager
Get the engine referenced by the library manager.
getEngine() - Method in class alice.tuprologx.ide.TheoryEditor
Get the Prolog engine referenced by the editor.
getEngine() - Method in class alice.tuprologx.ide.ToolBar
Get the Prolog engine referenced by the toolbar.
getEngineMan() - Method in class alice.tuprolog.EngineRunner
 
getEngineManager() - Method in class alice.tuprolog.Prolog
Gets the component managing engine
getEngineTheory() - Method in class alice.tuprologx.ide.TheoryEditor
Get the theory currently contained in the tuProlog engine referenced by the editor and display it in the edit area.
getEngineVersion() - Static method in class alice.util.VersionInfo
 
getEOLMarkerColor() - Method in class alice.util.jedit.TextAreaPainter
Returns the EOL marker color.
getEOLMarkersPainted() - Method in class alice.util.jedit.TextAreaPainter
Returns true if EOL markers are drawn, false otherwise.
getError() - Method in class alice.tuprolog.PrologError
 
getError() - Method in class alice.tuprologx.ide.EngineStatus
 
getException() - Method in class alice.tuprolog.JavaException
 
getExceptionListenerList() - Method in class alice.tuprolog.Prolog
Gets a copy of current listener list to exception events
getExecutionContext() - Method in class alice.tuprolog.ChoicePointContext
 
getExecutionStack() - Method in class alice.tuprolog.Engine
 
getExtension() - Method in class alice.tuprologx.ide.FileIDE
 
getExternalLibraryURL(String) - Method in class alice.tuprolog.LibraryManager
 
getExternalLibraryURL(String) - Method in class alice.tuprologx.ide.LibraryManager
 
getFatherGoalId() - Method in class alice.tuprolog.ExecutionContext
 
getFetched() - Method in class alice.tuprolog.SubGoalStore
 
getFileIDE() - Method in class alice.tuprologx.ide.ToolBar
 
getFileManager() - Method in class alice.tuprologx.ide.ToolBar
Get the file manager used by the toolbar.
getFileName() - Method in class alice.tuprologx.ide.FileIDE
 
getFilePath() - Method in class alice.tuprologx.ide.FileIDE
 
getFirstLine() - Method in class alice.util.jedit.JEditTextArea
Returns the line displayed at the text area's origin.
getFlagManager() - Method in class alice.tuprolog.Prolog
Gets the component managing flags
getFontDimension() - Method in interface alice.tuprologx.ide.FontDimensionHandler
 
getFontDimension() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
getFontMetrics(Font) - Method in class alice.util.jedit.SyntaxStyle
Returns the font metrics for the styled font.
getFontMetrics() - Method in class alice.util.jedit.TextAreaPainter
Returns the font metrics used by this component.
getFrameIcon() - Method in class alice.tuprologx.ide.GenericFrame
 
getGoal() - Method in interface alice.tuprologx.ide.Console
 
getGoal() - Method in class alice.tuprologx.ide.ConsoleManager
 
getGoal() - Method in class alice.tuprologx.ide.JavaInputField
 
getHead() - Method in class alice.tuprologx.pj.model.Cons
 
getHead() - Method in class alice.tuprologx.pj.model.List
 
getHead() - Method in class alice.util.OneWayList
 
getHeadClause() - Method in class alice.tuprolog.ExecutionContext
 
getHorizontalOffset() - Method in class alice.util.jedit.JEditTextArea
Returns the horizontal offset of drawn lines.
getHost(String) - Static method in class alice.util.IPAddress
 
getHost(String) - Static method in class alice.util.IPIdentifier
 
getId() - Method in class alice.tuprolog.EngineRunner
 
getId() - Method in class alice.tuprolog.ExecutionContext
 
getIgnoreCase() - Method in class alice.util.jedit.KeywordMap
Returns true if the keyword map is set to be case insensitive, false otherwise.
getIndexBack() - Method in class alice.tuprolog.ChoicePointContext
 
getIndexNextSubGoal() - Method in class alice.tuprolog.SubGoalStore
 
getInfo() - Method in class alice.tuprologx.ide.EngineStatus
 
getInput() - Method in class alice.tuprolog.lib.UserContextInputStream
 
getInputHandler() - Method in class alice.util.jedit.JEditTextArea
Returns the input handler.
getInterfaces() - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
Obtains the interfaces set by setInterfaces.
getInvalidLinesPainted() - Method in class alice.util.jedit.TextAreaPainter
Returns true if invalid lines are painted as red tildes (~), false otherwise.
getIsBorderedCellArray() - Method in class alice.tuprologx.ide.PrologTable
 
getIsExpandedCellArray() - Method in class alice.tuprologx.ide.PrologTable
 
getIterator(String) - Static method in class alice.tuprolog.Term
Gets an iterator providing a term stream from a source text
getJavaClass() - Method in class alice.tuprologx.pj.meta.PrologMetaClass
 
getJavaEditAreaAt(int) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
getJavaField() - Method in class alice.tuprologx.pj.meta.PrologMetaField
 
getJavaMethod() - Method in class alice.tuprologx.pj.meta.PrologMetaMethod
 
getJavaObject(Struct) - Method in class alice.tuprologx.pj.engine.PJProlog
 
getKey() - Method in class alice.tuprolog.PrimitiveInfo
 
getKeywords() - Static method in class alice.tuprologx.ide.PrologTokenMarker
 
getKlass() - Method in class alice.tuprologx.pj.model.JavaTerm
 
getLastConsultedTheory() - Method in class alice.tuprolog.Prolog
Gets last consulted theory, with the original textual format
getLastConsultedTheory() - Method in class alice.tuprolog.TheoryManager
Gets last consulted theory
getLibraries() - Method in class alice.tuprologx.ide.LibraryManager
Get the libraries managed by the library manager.
getLibrary(String) - Method in interface alice.tuprolog.interfaces.IProlog
Gets the reference to a loaded library
getLibrary(String) - Method in class alice.tuprolog.LibraryManager
Gets the reference to a loaded library
getLibrary(String) - Method in class alice.tuprolog.Prolog
Gets the reference to a loaded library
getLibraryFunctor(String, int) - Method in class alice.tuprolog.Prolog
 
getLibraryListenerList() - Method in class alice.tuprolog.Prolog
Gets a copy of current listener list to library events
getLibraryManager() - Method in class alice.tuprolog.Prolog
Gets the component managing libraries
getLibraryManager() - Method in class alice.tuprologx.ide.ToolBar
Get the library manager
getLibraryName() - Method in class alice.tuprolog.event.LibraryEvent
Gets the library name (loaded or unloaded).
getLibraryName() - Method in exception alice.tuprolog.InvalidLibraryException
 
getLibraryPredicate(String, int) - Method in class alice.tuprolog.Prolog
 
getLine() - Method in exception alice.tuprolog.InvalidLibraryException
 
getLineCount() - Method in class alice.util.jedit.JEditTextArea
Returns the number of lines in the document.
getLineCount() - Method in class alice.util.jedit.TokenMarker
Returns the number of lines in this token marker.
getLineEndOffset(int) - Method in class alice.util.jedit.JEditTextArea
Returns the end offset of the specified line.
getLineHighlightColor() - Method in class alice.util.jedit.TextAreaPainter
Returns the line highlight color.
getLineLength(int) - Method in class alice.util.jedit.JEditTextArea
Returns the length of the specified line.
getLineOfOffset(int) - Method in class alice.util.jedit.JEditTextArea
Returns the line containing the specified offset.
getLineStartOffset(int) - Method in class alice.util.jedit.JEditTextArea
Returns the start offset of the specified line.
getLineText(int) - Method in class alice.util.jedit.JEditTextArea
Returns the text on the specified line.
getLineText(int, Segment) - Method in class alice.util.jedit.JEditTextArea
Copies the text on the specified line into a segment.
getLink() - Method in class alice.tuprolog.Var
Gets the term which is direct referred by the variable.
getListSize() - Method in class alice.tuprologx.ide.InformationToDisplayEvent
 
getLoadedClasses() - Method in class alice.util.AbstractDynamicClassLoader
 
getMacroRecorder() - Method in class alice.util.jedit.InputHandler
Returns the macro recorder.
getMagicCaretPosition() - Method in class alice.util.jedit.JEditTextArea
Returns the `magic' caret position.
getMarkLine() - Method in class alice.util.jedit.JEditTextArea
Returns the mark line.
getMarkPosition() - Method in class alice.util.jedit.JEditTextArea
Returns the mark position.
getMatchGoal() - Method in class alice.tuprolog.ClauseStore
 
getMessage() - Method in exception alice.tuprolog.InvalidLibraryException
 
getMetaPrologClass() - Method in interface alice.tuprologx.pj.engine.PrologObject
 
getMillsStopEngine() - Method in class alice.tuprologx.ide.PrologConfigFrame
 
getMinimumSize() - Method in class alice.util.jedit.TextAreaPainter
Returns the painter's minimum size.
getMsg(int, Term) - Method in class alice.tuprolog.EngineManager
 
getMsg(String, Term) - Method in class alice.tuprolog.EngineManager
 
getMsg(Term) - Method in class alice.tuprolog.EngineRunner
 
getMsg() - Method in class alice.tuprolog.event.ExceptionEvent
 
getMsg() - Method in class alice.tuprolog.event.OutputEvent
 
getMsg() - Method in class alice.tuprolog.event.SpyEvent
 
getMsg() - Method in class alice.tuprolog.event.WarningEvent
 
getName() - Method in class alice.tuprolog.lib.TheoryLibrary
 
getName() - Method in class alice.tuprolog.Library
Gets the name of the library.
getName() - Method in class alice.tuprolog.Struct
Gets the functor name of this structure
getName() - Method in class alice.tuprolog.Var
Gets the name of the variable
getName() - Method in class alice.tuprologx.pj.model.Compound
 
getName() - Method in class alice.tuprologx.pj.model.Cons
 
getName() - Method in class alice.tuprologx.pj.model.JavaTerm
 
getName() - Method in class alice.tuprologx.pj.model.Nil
 
getName() - Method in class alice.tuprologx.pj.model.Var
 
getName(String) - Static method in class alice.util.IPIdentifier
 
getNewTheory() - Method in class alice.tuprolog.event.TheoryEvent
Gets the new theory
getNextSolution() - Method in interface alice.tuprologx.ide.Console
 
getNextSolution() - Method in class alice.tuprologx.ide.ConsoleDialog
 
getNextSolution() - Method in class alice.tuprologx.ide.ConsoleManager
 
getNextStateName() - Method in class alice.tuprolog.Engine
 
getNormalized() - Method in class alice.util.V2d
 
getNumDemoSteps() - Method in class alice.tuprolog.Engine
 
getOldTheory() - Method in class alice.tuprolog.event.TheoryEvent
Gets the old theory
getOperationName(ActionListener) - Static method in class alice.util.jedit.InputHandler
Returns the name of the specified text area action.
getOperatorManager() - Method in interface alice.tuprolog.interfaces.IProlog
Gets the component managing operators
getOperatorManager() - Method in class alice.tuprolog.Prolog
Gets the component managing operators
getOperators() - Method in class alice.tuprolog.OperatorManager
Gets the list of the operators currently defined
getOpt(String[], String) - Static method in class alice.util.Tools
give a command line argument list, this method gets the option of the specified prefix
getOptimizedDirectory() - Method in class alice.tuprolog.LibraryManager
 
getOriginalName() - Method in class alice.tuprolog.Var
Gets the name of the variable
getOutputListenerList() - Method in class alice.tuprolog.Prolog
Gets a copy of current listener list to output events
getOutputStream() - Method in class alice.tuprolog.lib.IOLibrary
 
getPainter() - Method in class alice.util.jedit.JEditTextArea
Returns the object responsible for painting this text area.
getParameterTypesFrom(Object[]) - Static method in class alice.tuprologx.pj.lib.MethodFinder
 
getParameterTypesFrom(String[]) - Static method in class alice.tuprologx.pj.lib.MethodFinder
 
getParameterTypesFrom(String[], ClassLoader) - Static method in class alice.tuprologx.pj.lib.MethodFinder
 
getPath() - Static method in class alice.tuprologx.ide.ToolBar
 
getPid() - Method in class alice.tuprolog.EngineRunner
 
getPJLibrary() - Method in class alice.tuprologx.pj.engine.PJProlog
 
getPlatform() - Static method in class alice.util.VersionInfo
 
getPointer() - Method in class alice.tuprolog.ChoicePointStore
Return the actual choice-point store
getPort(String) - Static method in class alice.util.IPAddress
 
getPort(String) - Static method in class alice.util.IPIdentifier
 
getPos() - Method in exception alice.tuprolog.InvalidLibraryException
 
getPredicateName() - Method in class alice.tuprologx.pj.meta.PrologMetaMethod
 
getPreferredSize() - Method in class alice.util.jedit.TextAreaPainter
Returns the painter's preferred size.
getPrimitive() - Method in class alice.tuprolog.Struct
Get primitive behaviour associated at structure
getPrimitiveManager() - Method in interface alice.tuprolog.interfaces.IProlog
Gets the component managing primitives
getPrimitiveManager() - Method in class alice.tuprolog.Prolog
Gets the component managing primitives
getPrimitives() - Method in interface alice.tuprolog.IPrimitives
gets the list of primitives defined in the library
getPrimitives() - Method in class alice.tuprolog.Library
gets the list of predicates defined in the library
getPrologField(Field) - Method in class alice.tuprologx.pj.meta.PrologMetaClass
 
getPrologFields() - Method in class alice.tuprologx.pj.meta.PrologMetaClass
 
getPrologMethod(Method) - Method in class alice.tuprologx.pj.meta.PrologMetaClass
 
getPrologMethods() - Method in class alice.tuprologx.pj.meta.PrologMetaClass
 
getQuery() - Method in class alice.tuprolog.Engine
 
getQuery() - Method in interface alice.tuprolog.ISolution
 
getQuery() - Method in class alice.tuprolog.SolveInfo
Gets the query
getQuery() - Method in class alice.tuprologx.pj.engine.PrologSolution
 
getQueryListenerList() - Method in class alice.tuprolog.Prolog
Gets a copy of current listener list to query events
getQueryResult() - Method in class alice.tuprologx.ide.InformationToDisplayEvent
 
getQueryResults() - Method in class alice.tuprologx.ide.InformationToDisplayEvent
 
getQueryResultsString() - Method in class alice.tuprologx.ide.InformationToDisplayEvent
 
getRegisteredDynamicObject(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
Gets a registered dynamic object (returns null if not presents)
getRegisteredDynamicObject(Struct) - Method in class alice.tuprologx.pj.lib.PJLibrary
Gets a registered dynamic object (returns null if not presents)
getRegisteredJavaObject(Struct) - Static method in class alice.tuprologx.pj.engine.PJ
 
getRegisteredObject(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
Gets the reference to an object previously registered
getRegisteredObject(Struct) - Method in class alice.tuprologx.pj.lib.PJLibrary
Gets the reference to an object previously registered
getRelinkVar() - Method in class alice.tuprolog.EngineManager
 
getRelinkVar() - Method in class alice.tuprolog.EngineRunner
 
getRepeatCount() - Method in class alice.util.jedit.InputHandler
Returns the number of times the next action will be repeated.
getRest() - Method in class alice.tuprologx.pj.model.Cons
 
getResultDemo() - Method in class alice.tuprolog.StateEnd
 
getResultGoal() - Method in class alice.tuprolog.StateEnd
 
getResultVars() - Method in class alice.tuprolog.StateEnd
 
getRightClickPopup() - Method in class alice.util.jedit.JEditTextArea
Returns the right click popup menu.
getSegmentMapKey(Segment, int, int) - Method in class alice.util.jedit.KeywordMap
 
getSelectDisplayModality() - Method in class alice.tuprologx.ide.PrologConfigFrame
 
getSelectedFileEditArea() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
getSelectedJavaEditArea() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
getSelectedText() - Method in class alice.util.jedit.JEditTextArea
Returns the selected text, or null if no selection is active.
getSelectedTheoryEditArea() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
getSelectionColor() - Method in class alice.util.jedit.TextAreaPainter
Returns the selection color.
getSelectionEnd() - Method in class alice.util.jedit.JEditTextArea
Returns the selection end offset.
getSelectionEnd(int) - Method in class alice.util.jedit.JEditTextArea
Returns the offset where the selection ends on the specified line.
getSelectionEndLine() - Method in class alice.util.jedit.JEditTextArea
Returns the selection end line.
getSelectionStart() - Method in class alice.util.jedit.JEditTextArea
Returns the selection start offset.
getSelectionStart(int) - Method in class alice.util.jedit.JEditTextArea
Returns the offset where the selection starts on the specified line.
getSelectionStartLine() - Method in class alice.util.jedit.JEditTextArea
Returns the selection start line.
getSetOfSolution() - Method in class alice.tuprolog.EngineManager
 
getSetOfSolution() - Method in class alice.tuprolog.EngineRunner
 
getSetOfSolution() - Method in class alice.tuprolog.SolveInfo
 
getSnapshot() - Method in class alice.tuprolog.event.SpyEvent
 
getSocket() - Method in class alice.tuprolog.AbstractSocket
 
getSocket() - Method in class alice.tuprolog.Client_Socket
 
getSocket() - Method in class alice.tuprolog.Datagram_Socket
 
getSocket() - Method in class alice.tuprolog.Server_Socket
 
getSolution() - Method in class alice.tuprolog.EngineRunner
 
getSolution() - Method in interface alice.tuprolog.ISolution
 
getSolution() - Method in class alice.tuprolog.SolveInfo
Gets the solution of the request
getSolution() - Method in class alice.tuprologx.pj.engine.PrologSolution
 
getSolveInfo() - Method in class alice.tuprolog.event.QueryEvent
Gets information about the query result.
getSolveType() - Method in class alice.tuprologx.ide.ConsoleManager
 
getSolveType() - Method in class alice.tuprologx.ide.InformationToDisplayEvent
 
getSource() - Method in class alice.tuprolog.PrimitiveInfo
 
getSpecificVersion() - Static method in class alice.util.VersionInfo
 
getSpyListenerList() - Method in class alice.tuprolog.Prolog
Gets a copy of current listener list to spy events
getStandardInputStream() - Method in class alice.tuprolog.lib.IOLibrary
 
getStatusMessage() - Method in class alice.tuprologx.ide.ConsoleDialog
 
getStatusMessage() - Method in class alice.tuprologx.ide.ToolBar
Get the toolbar status as a java.lang.String message.
getStream() - Method in class alice.tuprolog.event.ReadEvent
 
getStringMapKey(String) - Method in class alice.util.jedit.KeywordMap
 
getStyledFont(Font) - Method in class alice.util.jedit.SyntaxStyle
Returns the specified font, but with the style's bold and italic flags applied.
getStyles() - Method in class alice.util.jedit.TextAreaPainter
Returns the syntax styles used to paint colorized text.
getSubGoals() - Method in class alice.tuprolog.SubGoalStore
 
getSubGoalStore() - Method in class alice.tuprolog.ExecutionContext
 
getSuperclass() - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
Obtains the super class set by setSuperclass().
getSupportedAnnotationTypes() - Method in class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 
getSupportedOptions() - Method in class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 
getSupportedSourceVersion() - Method in class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 
getSynonymMap() - Method in class alice.tuprolog.BuiltIn
Defines some synonyms
getSynonymMap() - Method in class alice.tuprolog.lib.BasicLibrary
Defines some synonyms
getSynonymMap() - Method in class alice.tuprolog.Library
Gets the synonym mapping, as array of elements like { synonym, original name}
getTableCellRendererComponent(JTable, Object, boolean, boolean, int, int) - Method in class alice.tuprologx.ide.TextAreaRenderer
 
getTail() - Method in class alice.tuprologx.pj.model.List
 
getTail() - Method in class alice.util.OneWayList
 
getTerm() - Method in class alice.tuprolog.AbstractSocket
 
getTerm(String) - Method in interface alice.tuprolog.ISolution
 
getTerm() - Method in class alice.tuprolog.Number
Gets the actual term referred by this Term.
getTerm(String) - Method in class alice.tuprolog.SolveInfo
Gets the value of a variable in the substitution.
getTerm(int) - Method in class alice.tuprolog.Struct
Gets the i-th element of this structure No bound check is done.
getTerm() - Method in class alice.tuprolog.Struct
 
getTerm() - Method in class alice.tuprolog.Term
Gets the actual term referred by this Term. if the Term is a bound variable, the method gets the Term linked to the variable
getTerm() - Method in class alice.tuprolog.Var
Gets the term which is referred by the variable.
getTerm() - Method in class alice.tuprologx.pj.engine.PrologArg
 
getTerm(String) - Method in class alice.tuprologx.pj.engine.PrologSolution
 
getText() - Method in class alice.util.jedit.JEditTextArea
Returns the entire text of this text area.
getText(int, int) - Method in class alice.util.jedit.JEditTextArea
Returns the specified substring of the document.
getText(int, int, Segment) - Method in class alice.util.jedit.JEditTextArea
Copies the specified substring of the document into a segment.
getTextArea(EventObject) - Static method in class alice.util.jedit.InputHandler
Returns the text area that fired the specified event.
getTextMapping() - Method in class alice.tuprolog.Parser
 
getTheory() - Method in interface alice.tuprolog.interfaces.IProlog
Gets current theory
getTheory() - Method in class alice.tuprolog.lib.BasicLibrary
 
getTheory() - Method in class alice.tuprolog.lib.DCGLibrary
 
getTheory() - Method in class alice.tuprolog.lib.EDCGLibrary
 
getTheory() - Method in class alice.tuprolog.lib.IOLibrary
 
getTheory() - Method in class alice.tuprolog.lib.ISOIOLibrary
 
getTheory() - Method in class alice.tuprolog.lib.ISOLibrary
library theory
getTheory() - Method in class alice.tuprolog.lib.JavaLibrary
 
getTheory() - Method in class alice.tuprolog.lib.SocketLibrary
 
getTheory() - Method in class alice.tuprolog.lib.TheoryLibrary
 
getTheory() - Method in class alice.tuprolog.lib.ThreadLibrary
 
getTheory() - Method in class alice.tuprolog.Library
Gets the theory provided with the library Empty theory is provided by default.
getTheory(int) - Method in class alice.tuprolog.Library
 
getTheory() - Method in class alice.tuprolog.Prolog
Gets current theory
getTheory(boolean) - Method in class alice.tuprolog.TheoryManager
Gets current theory
getTheory() - Method in class alice.tuprologx.ide.JavaEditArea
 
getTheory() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
getTheory() - Method in class alice.tuprologx.pj.engine.PJProlog
 
getTheory() - Method in interface alice.tuprologx.pj.engine.PrologObject
 
getTheory() - Method in class alice.tuprologx.pj.lib.PJLibrary
library theory
getTheory() - Method in class alice.tuprologx.pj.lib.PJLibraryNew
library theory
getTheory() - Method in class alice.tuprologx.pj.meta.PrologMetaClass
 
getTheory() - Method in class alice.tuprologx.pj.meta.PrologMetaField
 
getTheory() - Method in class alice.tuprologx.pj.meta.PrologMetaMethod
 
getTheory() - Method in class alice.tuprologx.runtime.corba._PrologStub
 
getTheory() - Method in class alice.tuprologx.runtime.corba.PrologImpl
 
getTheory() - Method in interface alice.tuprologx.runtime.corba.PrologOperations
 
getTheory() - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
getTheory() - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
getTheory() - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
getTheory(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
getTheory() - Method in class alice.tuprologx.runtime.tcp.Proxy
 
getTheoryListenerList() - Method in class alice.tuprolog.Prolog
Gets a copy of current listener list to theory events
getTheoryManager() - Method in class alice.tuprolog.Prolog
Gets the component managing theory
getTheoryTitleNamesAt(int) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
getTime() - Method in class alice.tuprolog.event.PrologEvent
Gets the VM time of event occurrence.
getTokenMarker() - Method in class alice.util.jedit.JEditTextArea
Returns the document's token marker.
getTokenMarker() - Method in class alice.util.jedit.SyntaxDocument
Returns the token marker that is to be used to split lines of this document up into tokens.
getToolTipText(MouseEvent) - Method in class alice.util.jedit.TextAreaPainter
Returns the tool tip to display at the specified location.
getToolTipText(MouseEvent) - Method in interface alice.util.jedit.TextAreaPainter.Highlight
Returns the tool tip to display at the specified location.
getTrailingVars() - Method in class alice.tuprolog.ExecutionContext
 
getType() - Method in class alice.tuprolog.PrimitiveInfo
 
getURLs() - Method in class alice.util.AbstractDynamicClassLoader
 
getUserContextInputStream() - Method in class alice.tuprolog.lib.IOLibrary
Mirco Mastrovito - Input da Console
getValue() - Method in exception alice.tuprolog.HaltException
 
getValue() - Method in class alice.tuprolog.SubGoalElement
 
getValue(PrologObject) - Method in class alice.tuprologx.pj.meta.PrologMetaField
 
getValue() - Method in class alice.tuprologx.pj.model.Var
 
getVarsForMatch() - Method in class alice.tuprolog.ClauseStore
 
getVarsToDeunify() - Method in class alice.tuprolog.ChoicePointContext
 
getVarValue(String) - Method in class alice.tuprolog.SolveInfo
Gets the value of a variable in the substitution.
getVarValue(String) - Method in class alice.tuprologx.pj.engine.PrologSolution
 
getVersion() - Static method in class alice.tuprolog.Prolog
Gets the current version of the tuProlog system
getVisibleLines() - Method in class alice.util.jedit.JEditTextArea
Returns the number of lines visible in this text area.
getWarningListenerList() - Method in class alice.tuprolog.Prolog
Gets a copy of current listener list to warning events
goalRequest() - Method in class alice.tuprologx.ide.CUIConsole
 
grabAction - Variable in class alice.util.jedit.InputHandler
 
grabNextKeyStroke(ActionListener) - Method in class alice.util.jedit.InputHandler
Grabs the next key typed event and invokes the specified action with the key as a the action command.
graphicExecution - Static variable in class alice.tuprolog.lib.IOLibrary
 
ground_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
GUILauncher - Class in alice.tuprologx.ide
The GUI launcher chooses the GUI to execute (the Java2 or .NET version) based on the version of the Java Platform tuProlog is executed on.
GUILauncher() - Constructor for class alice.tuprologx.ide.GUILauncher
 

H

HALT - Static variable in class alice.tuprolog.EngineRunner
 
halt - Variable in class alice.tuprologx.runtime.corba.SolveInfo
 
halt_0() - Method in class alice.tuprolog.BuiltIn
 
halt_1(Term) - Method in class alice.tuprolog.BuiltIn
 
haltCode - Variable in class alice.tuprologx.runtime.corba.SolveInfo
 
HaltException - Exception in alice.tuprolog
This exception is raised when an halt code is requested and no halt predicate has been issued
HaltException() - Constructor for exception alice.tuprolog.HaltException
 
HaltException(int) - Constructor for exception alice.tuprolog.HaltException
 
handleGrabAction(KeyEvent) - Method in class alice.util.jedit.InputHandler
If a key is being grabbed, this method should be called with the appropriate key event.
hasAlternatives() - Method in class alice.tuprologx.ide.EngineStatus
 
hasAlternatives(boolean) - Method in class alice.tuprologx.ide.EngineStatus
 
hashCode() - Method in class alice.tuprologx.pj.lib.MethodFinder
hashtable - Static variable in class alice.tuprologx.pj.model.JavaTerm
 
hasMultipleOutput() - Method in class alice.tuprologx.pj.meta.PrologMetaMethod
 
hasNext(int) - Method in class alice.tuprolog.EngineManager
 
hasOpenAlternatives() - Method in interface alice.tuprolog.interfaces.IProlog
Asks for the presence of open alternatives to be explored in current demostration process.
hasOpenAlternatives() - Method in interface alice.tuprolog.ISolution
 
hasOpenAlternatives() - Method in class alice.tuprolog.Prolog
Asks for the presence of open alternatives to be explored in current demostration process.
hasOpenAlternatives() - Method in class alice.tuprolog.SolveInfo
Checks if the solve request was halted
hasOpenAlternatives() - Method in interface alice.tuprologx.ide.Console
 
hasOpenAlternatives() - Method in class alice.tuprologx.ide.ConsoleManager
 
hasOpenAlternatives() - Method in class alice.tuprologx.pj.engine.PrologSolution
 
hasOpenAlternatives() - Method in class alice.tuprologx.runtime.corba._PrologStub
 
hasOpenAlternatives() - Method in class alice.tuprologx.runtime.corba.PrologImpl
 
hasOpenAlternatives() - Method in interface alice.tuprologx.runtime.corba.PrologOperations
 
hasOpenAlternatives() - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
hasOpenAlternatives() - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
hasOpenAlternatives() - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
hasOpenAlternatives(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
hasOpenAlternatives() - Method in class alice.tuprologx.runtime.tcp.Proxy
 
haveAlternatives() - Method in class alice.tuprolog.ClauseStore
 
haveSubGoals() - Method in class alice.tuprolog.SubGoalStore
 
height() - Method in class alice.tuprologx.spyframe.Tree
The height of the whole tree touching the outer bounds of the component.
highlights - Variable in class alice.util.jedit.TextAreaPainter
 
HOME - Static variable in class alice.util.jedit.InputHandler
 
horizontal - Variable in class alice.util.jedit.JEditTextArea
 
horizontalOffset - Variable in class alice.util.jedit.JEditTextArea
 

I

id() - Static method in class alice.tuprologx.runtime.corba.PrologHelper
 
id() - Static method in class alice.tuprologx.runtime.corba.SolveInfoHelper
 
id - Variable in class alice.util.jedit.Token
The id of this token.
ID_COUNT - Static variable in class alice.util.jedit.Token
The total number of defined token ids.
identify(Term) - Method in class alice.tuprolog.EngineManager
 
identifyDirective(Term) - Method in class alice.tuprolog.PrimitiveManager
Identifies the term passed as argument.
identifyFunctor(Term) - Method in class alice.tuprolog.PrimitiveManager
 
identifyFunctor(Term) - Method in class alice.tuprolog.Prolog
Identify functors
identifyPredicate(Term) - Method in class alice.tuprolog.PrimitiveManager
 
idle() - Method in class alice.util.Automaton
idle state
IEngine - Interface in alice.tuprolog.interfaces
 
incFontDimension() - Method in interface alice.tuprologx.ide.FontDimensionHandler
Increment the font dimension of the IDE's editor
incFontDimension() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
include_1(Term) - Method in class alice.tuprolog.BuiltIn
 
indexOf(Object) - Method in class alice.util.ReadOnlyLinkedList
 
InformationToDisplayEvent - Class in alice.tuprologx.ide
This class represents events concerning information to display in the console.
InformationToDisplayEvent(Prolog, ArrayList<QueryEvent>, ArrayList<String>, int) - Constructor for class alice.tuprologx.ide.InformationToDisplayEvent
 
InformationToDisplayListener - Interface in alice.tuprologx.ide
Listener for information to display in the console events
init() - Method in class alice.tuprologx.ide.Applet
 
init(ProcessingEnvironment) - Method in class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 
init(PrologObject) - Method in class alice.tuprologx.pj.meta.PrologMetaField
 
init(JEditTextArea, TextAreaPainter.Highlight) - Method in interface alice.util.jedit.TextAreaPainter.Highlight
Called after the highlight painter has been added.
initComponent() - Method in class alice.tuprologx.ide.InputDialog
 
initialization_1(Term) - Method in class alice.tuprolog.BuiltIn
 
initialize(Prolog) - Method in class alice.tuprolog.EngineManager
 
initialize(Prolog) - Method in class alice.tuprolog.TheoryManager
 
initTheory() - Method in class alice.tuprologx.pj.meta.PrologMetaClass
 
input - Variable in class alice.tuprolog.lib.IOLibrary
 
InputDialog - Class in alice.tuprologx.ide
This class has been changed from JDialog to JPanel to be inserted inside the ConsoleDialog
InputDialog(UserContextInputStream) - Constructor for class alice.tuprologx.ide.InputDialog
 
InputHandler - Class in alice.util.jedit
An input handler converts the user's key strokes into concrete actions.
InputHandler() - Constructor for class alice.util.jedit.InputHandler
 
inputHandler - Variable in class alice.util.jedit.JEditTextArea
 
inputHandler - Variable in class alice.util.jedit.TextAreaDefaults
 
InputHandler.backspace - Class in alice.util.jedit
 
InputHandler.backspace() - Constructor for class alice.util.jedit.InputHandler.backspace
 
InputHandler.backspace_word - Class in alice.util.jedit
 
InputHandler.backspace_word() - Constructor for class alice.util.jedit.InputHandler.backspace_word
 
InputHandler.copy - Class in alice.util.jedit
 
InputHandler.copy() - Constructor for class alice.util.jedit.InputHandler.copy
 
InputHandler.cut - Class in alice.util.jedit
 
InputHandler.cut() - Constructor for class alice.util.jedit.InputHandler.cut
 
InputHandler.delete - Class in alice.util.jedit
 
InputHandler.delete() - Constructor for class alice.util.jedit.InputHandler.delete
 
InputHandler.delete_word - Class in alice.util.jedit
 
InputHandler.delete_word() - Constructor for class alice.util.jedit.InputHandler.delete_word
 
InputHandler.document_end - Class in alice.util.jedit
 
InputHandler.document_end(boolean) - Constructor for class alice.util.jedit.InputHandler.document_end
 
InputHandler.document_home - Class in alice.util.jedit
 
InputHandler.document_home(boolean) - Constructor for class alice.util.jedit.InputHandler.document_home
 
InputHandler.end - Class in alice.util.jedit
 
InputHandler.end(boolean) - Constructor for class alice.util.jedit.InputHandler.end
 
InputHandler.home - Class in alice.util.jedit
 
InputHandler.home(boolean) - Constructor for class alice.util.jedit.InputHandler.home
 
InputHandler.insert_break - Class in alice.util.jedit
 
InputHandler.insert_break() - Constructor for class alice.util.jedit.InputHandler.insert_break
 
InputHandler.insert_char - Class in alice.util.jedit
 
InputHandler.insert_char() - Constructor for class alice.util.jedit.InputHandler.insert_char
 
InputHandler.insert_tab - Class in alice.util.jedit
 
InputHandler.insert_tab() - Constructor for class alice.util.jedit.InputHandler.insert_tab
 
InputHandler.MacroRecorder - Interface in alice.util.jedit
Macro recorder.
InputHandler.next_char - Class in alice.util.jedit
 
InputHandler.next_char(boolean) - Constructor for class alice.util.jedit.InputHandler.next_char
 
InputHandler.next_line - Class in alice.util.jedit
 
InputHandler.next_line(boolean) - Constructor for class alice.util.jedit.InputHandler.next_line
 
InputHandler.next_page - Class in alice.util.jedit
 
InputHandler.next_page(boolean) - Constructor for class alice.util.jedit.InputHandler.next_page
 
InputHandler.next_word - Class in alice.util.jedit
 
InputHandler.next_word(boolean) - Constructor for class alice.util.jedit.InputHandler.next_word
 
InputHandler.NonRecordable - Interface in alice.util.jedit
If an action implements this interface, it should not be recorded by the macro recorder.
InputHandler.NonRepeatable - Interface in alice.util.jedit
If an action implements this interface, it should not be repeated.
InputHandler.overwrite - Class in alice.util.jedit
 
InputHandler.overwrite() - Constructor for class alice.util.jedit.InputHandler.overwrite
 
InputHandler.paste - Class in alice.util.jedit
 
InputHandler.paste() - Constructor for class alice.util.jedit.InputHandler.paste
 
InputHandler.prev_char - Class in alice.util.jedit
 
InputHandler.prev_char(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_char
 
InputHandler.prev_line - Class in alice.util.jedit
 
InputHandler.prev_line(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_line
 
InputHandler.prev_page - Class in alice.util.jedit
 
InputHandler.prev_page(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_page
 
InputHandler.prev_word - Class in alice.util.jedit
 
InputHandler.prev_word(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_word
 
InputHandler.repeat - Class in alice.util.jedit
 
InputHandler.repeat() - Constructor for class alice.util.jedit.InputHandler.repeat
 
InputHandler.toggle_rect - Class in alice.util.jedit
 
InputHandler.toggle_rect() - Constructor for class alice.util.jedit.InputHandler.toggle_rect
 
InputHandler.Wrapper - Interface in alice.util.jedit
For use by EditAction.Wrapper only.
inputStream - Variable in class alice.tuprolog.lib.IOLibrary
 
inputStream - Variable in class alice.tuprolog.lib.ISOIOLibrary
 
inputStreamName - Variable in class alice.tuprolog.lib.IOLibrary
Current inputStream and outputStream initialized as StandardInput and StandardOutput*
inputStreamName - Variable in class alice.tuprolog.lib.ISOIOLibrary
 
inputStreams - Variable in class alice.tuprolog.lib.ISOIOLibrary
 
inputTree - Variable in class alice.tuprologx.pj.annotations.parser.PrologTree.SignatureExpr
 
insert(K, V) - Method in class alice.tuprolog.RBTree
 
insert(Any, Prolog) - Static method in class alice.tuprologx.runtime.corba.PrologHelper
 
insert(Any, SolveInfo) - Static method in class alice.tuprologx.runtime.corba.SolveInfoHelper
 
INSERT_BREAK - Static variable in class alice.util.jedit.InputHandler
 
INSERT_CHAR - Static variable in class alice.util.jedit.InputHandler
 
INSERT_TAB - Static variable in class alice.util.jedit.InputHandler
 
insertCase1(Node<K, V>) - Method in class alice.tuprolog.RBTree
 
insertLines(int, int) - Method in class alice.util.jedit.TokenMarker
Informs the token marker that lines have been inserted into the document.
InspectionUtils - Class in alice.util
Utility methods for reflective operations.
InspectionUtils() - Constructor for class alice.util.InspectionUtils
 
instantiation_error(EngineManager, int) - Static method in class alice.tuprolog.PrologError
 
Int - Class in alice.tuprolog
Int class represents the integer prolog data type
Int(int) - Constructor for class alice.tuprolog.Int
 
Int - Class in alice.tuprologx.pj.model
 
Int(Integer) - Constructor for class alice.tuprologx.pj.model.Int
 
integer_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
INTERNAL_FIRST - Static variable in class alice.util.jedit.Token
The first id that can be used for internal state in a token marker.
INTERNAL_LAST - Static variable in class alice.util.jedit.Token
The last id that can be used for internal state in a token marker.
intValue() - Method in class alice.tuprolog.Double
Returns the value of the Double as int
intValue() - Method in class alice.tuprolog.Float
Returns the value of the Float as int
intValue() - Method in class alice.tuprolog.Int
Returns the value of the Integer as int
intValue() - Method in class alice.tuprolog.Long
Returns the value of the Integer as int
intValue() - Method in class alice.tuprolog.Number
Returns the value of the number as int
INVALID - Static variable in class alice.util.jedit.Token
Invalid token id.
invalidate() - Method in class alice.tuprolog.PrimitiveInfo
Method to invalidate primitives.
invalidateLine(int) - Method in class alice.util.jedit.TextAreaPainter
Marks a line as needing a repaint.
invalidateLineRange(int, int) - Method in class alice.util.jedit.TextAreaPainter
Marks a range of lines as needing a repaint.
invalidateSelectedLines() - Method in class alice.util.jedit.TextAreaPainter
Repaints the lines containing the selection.
InvalidLibraryException - Exception in alice.tuprolog
This exception means that a not valid tuProlog library has been specified.
InvalidLibraryException() - Constructor for exception alice.tuprolog.InvalidLibraryException
 
InvalidLibraryException(String, int, int) - Constructor for exception alice.tuprolog.InvalidLibraryException
 
InvalidObjectIdException - Exception in alice.tuprolog.lib
This exception is raised when a not valid identifier is used to register an object in the JavaLibrary
InvalidObjectIdException() - Constructor for exception alice.tuprolog.lib.InvalidObjectIdException
 
InvalidPredicateException - Exception in alice.tuprologx.pj.meta
 
InvalidPredicateException(String) - Constructor for exception alice.tuprologx.pj.meta.InvalidPredicateException
Creates a new instance of InvalidPredicateException
InvalidTermException - Exception in alice.tuprolog
This exception means that a method has been passed an argument containing an invalid Prolog term.
InvalidTermException(String) - Constructor for exception alice.tuprolog.InvalidTermException
 
InvalidTermException(String, int, int) - Constructor for exception alice.tuprolog.InvalidTermException
 
InvalidTheoryException - Exception in alice.tuprolog
This exceptions means that a not valid tuProlog theory has been specified
InvalidTheoryException() - Constructor for exception alice.tuprolog.InvalidTheoryException
 
InvalidTheoryException(int, int) - Constructor for exception alice.tuprolog.InvalidTheoryException
 
InvalidTheoryException(String) - Constructor for exception alice.tuprolog.InvalidTheoryException
 
InvalidTheoryException(String, int, int, int) - Constructor for exception alice.tuprolog.InvalidTheoryException
 
InvalidVarNameException - Exception in alice.tuprolog
Deprecated.
Use InvalidTermException with a meaningful message instead.
InvalidVarNameException(String) - Constructor for exception alice.tuprolog.InvalidVarNameException
Deprecated.
 
invoke(Object, Method, Method, Object[]) - Method in class alice.tuprologx.pj.engine.PJ
 
invoke(PrologObject, Term<?>...) - Method in class alice.tuprologx.pj.meta.PrologMetaMethod
 
invokeInternal(Object, Method, Object[]) - Method in class alice.tuprologx.pj.engine.PJ
 
IOLib - Variable in class alice.tuprolog.lib.ISOIOLibrary
 
IOLibrary - Class in alice.tuprolog.lib
This class provides basic I/O predicates.
IOLibrary() - Constructor for class alice.tuprolog.lib.IOLibrary
 
IOperatorManager - Interface in alice.tuprolog.interfaces
 
IPAddress - Class in alice.util
this class defines services useful for managing of IP extended address: :
IPAddress() - Constructor for class alice.util.IPAddress
 
IParser - Interface in alice.tuprolog.interfaces
 
IPIdentifier - Class in alice.util
this class defines services useful for managing of IP identifiers @:
IPIdentifier() - Constructor for class alice.util.IPIdentifier
 
IPrimitiveManager - Interface in alice.tuprolog.interfaces
 
IPrimitives - Interface in alice.tuprolog
Template for predicate
IProlog - Interface in alice.tuprolog.interfaces
 
is_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
is_iterable_1(Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
isAccepted() - Method in class alice.tuprologx.ide.EngineStatus
 
isAnonymous() - Method in class alice.tuprolog.Var
Tests if this variable is ANY
isAtom() - Method in class alice.tuprolog.AbstractSocket
 
isAtom() - Method in class alice.tuprolog.Number
is this term a prolog (alphanumeric) atom?
isAtom(String) - Static method in class alice.tuprolog.Parser
 
isAtom() - Method in class alice.tuprolog.Struct
 
isAtom() - Method in class alice.tuprolog.Term
is this term a prolog (alphanumeric) atom?
isAtom() - Method in class alice.tuprolog.Var
 
isAtomic() - Method in class alice.tuprolog.AbstractSocket
 
isAtomic() - Method in class alice.tuprolog.Number
is this term a constant prolog term?
isAtomic() - Method in class alice.tuprolog.Struct
 
isAtomic() - Method in class alice.tuprolog.Term
is this term a constant prolog term?
isAtomic() - Method in class alice.tuprolog.Var
 
isBlockCaretEnabled() - Method in class alice.util.jedit.TextAreaPainter
Returns true if the caret should be drawn as a block, false otherwise.
isBold() - Method in class alice.util.jedit.SyntaxStyle
Returns true if boldface is enabled for this style.
isBound() - Method in class alice.tuprolog.Var
Tests if this variable is bound
isBracketHighlightEnabled() - Method in class alice.util.jedit.TextAreaPainter
Returns true if bracket highlighting is enabled, false otherwise.
isCaretBlinkEnabled() - Method in class alice.util.jedit.JEditTextArea
Returns true if the caret is blinking, false otherwise.
isCaretVisible() - Method in class alice.util.jedit.JEditTextArea
Returns true if the caret is visible, false otherwise.
isCellEditable(int, int) - Method in class alice.tuprologx.ide.PrologTable
 
isClause() - Method in class alice.tuprolog.Struct
Check is this struct is clause or directive
isClientSocket() - Method in class alice.tuprolog.AbstractSocket
 
isClientSocket() - Method in class alice.tuprolog.Client_Socket
 
isClientSocket() - Method in class alice.tuprolog.Datagram_Socket
 
isClientSocket() - Method in class alice.tuprolog.Server_Socket
 
isClosable(int) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
isCompound() - Method in class alice.tuprolog.AbstractSocket
 
isCompound() - Method in class alice.tuprolog.Number
is this term a prolog compound term?
isCompound() - Method in class alice.tuprolog.Struct
 
isCompound() - Method in class alice.tuprolog.Term
is this term a prolog compound term?
isCompound() - Method in class alice.tuprolog.Var
 
isDatagramSocket() - Method in class alice.tuprolog.AbstractSocket
 
isDatagramSocket() - Method in class alice.tuprolog.Client_Socket
 
isDatagramSocket() - Method in class alice.tuprolog.Datagram_Socket
 
isDatagramSocket() - Method in class alice.tuprolog.Server_Socket
 
isDetached() - Method in class alice.tuprolog.EngineRunner
 
isDirective() - Method in class alice.tuprolog.PrimitiveInfo
 
isDirty() - Method in class alice.tuprologx.ide.JavaEditArea
 
isDouble() - Method in class alice.tuprolog.Double
Deprecated.
Use instanceof alice.tuprolog.Double instead.
isDouble() - Method in class alice.tuprolog.Float
Deprecated.
Use instanceof alice.tuprolog.Double instead.
isDouble() - Method in class alice.tuprolog.Int
Deprecated.
Use instanceof alice.tuprolog.Double instead.
isDouble() - Method in class alice.tuprolog.Long
Deprecated.
Use instanceof alice.tuprolog.Double instead.
isDouble() - Method in class alice.tuprolog.Number
Deprecated.
Use instanceof alice.tuprolog.Double instead.
isEditable() - Method in class alice.util.jedit.JEditTextArea
Returns true if this text area is editable, false otherwise.
isEmpty() - Method in class alice.util.ReadOnlyLinkedList
 
isEmptyList() - Method in class alice.tuprolog.AbstractSocket
 
isEmptyList() - Method in class alice.tuprolog.Number
 
isEmptyList() - Method in class alice.tuprolog.Struct
Is this structure an empty list?
isEmptyList() - Method in class alice.tuprolog.Term
is this term a null term?
isEmptyList() - Method in class alice.tuprolog.Var
 
isEqual(Term) - Method in class alice.tuprolog.AbstractSocket
 
isEqual(Term) - Method in class alice.tuprolog.Double
Returns true if this Double term is equal to the term provided.
isEqual(Term) - Method in class alice.tuprolog.Float
Returns true if this Float term is equal that the term provided.
isEqual(Term) - Method in class alice.tuprolog.Int
Returns true if this integer term is equal to the term provided.
isEqual(Term) - Method in class alice.tuprolog.Long
Returns true if this integer term is equal that the term provided.
isEqual(Term) - Method in class alice.tuprolog.Struct
Test if a term is equal to other
isEqual(Term) - Method in class alice.tuprolog.Term
Tests if this term is (logically) equal to another
isEqual(Term) - Method in class alice.tuprolog.Var
 
isException() - Method in class alice.tuprolog.Prolog
Checks if exception information are notified
isExternalLibrary(String) - Method in class alice.tuprolog.LibraryManager
 
isExternalLibrary(String) - Method in class alice.tuprologx.ide.LibraryManager
 
isFact() - Method in class alice.tuprologx.pj.model.Clause
 
isFeededTheory() - Method in class alice.tuprologx.ide.JavaIDE
 
isFeededTheory() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
isFirstSolution() - Method in class alice.tuprologx.ide.EngineStatus
 
isFloat() - Method in class alice.tuprolog.Double
Deprecated.
Use instanceof alice.tuprolog.Float instead.
isFloat() - Method in class alice.tuprolog.Float
Deprecated.
Use instanceof alice.tuprolog.Float instead.
isFloat() - Method in class alice.tuprolog.Int
Deprecated.
Use instanceof alice.tuprolog.Float instead.
isFloat() - Method in class alice.tuprolog.Long
Deprecated.
Use instanceof alice.tuprolog.Float instead.
isFloat() - Method in class alice.tuprolog.Number
Deprecated.
Use instanceof alice.tuprolog.Float instead.
isFunctor() - Method in class alice.tuprolog.PrimitiveInfo
 
isGreater(Term) - Method in class alice.tuprolog.AbstractSocket
 
isGreater(Term) - Method in class alice.tuprolog.Double
Returns true if this Double term is grater that the term provided.
isGreater(Term) - Method in class alice.tuprolog.Float
Returns true if this Float term is grater that the term provided.
isGreater(Term) - Method in class alice.tuprolog.Int
Returns true if this integer term is grater that the term provided.
isGreater(Term) - Method in class alice.tuprolog.Long
Returns true if this integer term is grater that the term provided.
isGreater(Term) - Method in class alice.tuprolog.Struct
Test if a term is greater than other
isGreater(Term) - Method in class alice.tuprolog.Term
is term greater than term t?
isGreater(Term) - Method in class alice.tuprolog.Var
Gets a copy of this variable
isGreaterRelink(Term, ArrayList<String>) - Method in class alice.tuprolog.AbstractSocket
 
isGreaterRelink(Term, ArrayList<String>) - Method in class alice.tuprolog.Double
 
isGreaterRelink(Term, ArrayList<String>) - Method in class alice.tuprolog.Float
 
isGreaterRelink(Term, ArrayList<String>) - Method in class alice.tuprolog.Int
 
isGreaterRelink(Term, ArrayList<String>) - Method in class alice.tuprolog.Long
 
isGreaterRelink(Term, ArrayList<String>) - Method in class alice.tuprolog.Struct
 
isGreaterRelink(Term, ArrayList<String>) - Method in class alice.tuprolog.Term
 
isGreaterRelink(Term, ArrayList<String>) - Method in class alice.tuprolog.Var
 
isGround() - Method in class alice.tuprolog.AbstractSocket
 
isGround() - Method in class alice.tuprolog.Number
is this term a ground term?
isGround() - Method in class alice.tuprolog.Struct
 
isGround() - Method in class alice.tuprolog.Term
is this term a ground term?
isGround() - Method in class alice.tuprolog.Var
 
isHalted() - Method in interface alice.tuprolog.ISolution
 
isHalted() - Method in class alice.tuprolog.Prolog
Checks if the demonstration process was stopped by an halt command.
isHalted() - Method in class alice.tuprolog.SolveInfo
Checks if the solve request was halted
isHalted() - Method in class alice.tuprologx.pj.engine.PrologSolution
 
isInputArgument() - Method in class alice.tuprologx.pj.engine.PrologArg
 
isInt() - Method in class alice.tuprolog.Double
Deprecated.
Use instanceof Int instead.
isInt() - Method in class alice.tuprolog.Float
Deprecated.
Use instanceof Int instead.
isInt() - Method in class alice.tuprolog.Int
Deprecated.
Use instanceof Int instead.
isInt() - Method in class alice.tuprolog.Long
Deprecated.
Use instanceof Int instead.
isInt() - Method in class alice.tuprolog.Number
Deprecated.
Use instanceof Int instead.
isInteger() - Method in class alice.tuprolog.Double
is this term a prolog integer term?
isInteger() - Method in class alice.tuprolog.Float
is this term a prolog integer term?
isInteger() - Method in class alice.tuprolog.Int
is this term a prolog integer term?
isInteger() - Method in class alice.tuprolog.Long
is this term a prolog integer term?
isInteger() - Method in class alice.tuprolog.Number
is this term a prolog integer term?
isIsGround() - Method in class alice.tuprologx.pj.engine.PrologArg
 
isIsHidden() - Method in class alice.tuprologx.pj.engine.PrologArg
 
isItalic() - Method in class alice.util.jedit.SyntaxStyle
Returns true if italics is enabled for this style.
isLeaf() - Method in class alice.tuprolog.AbstractSubGoalTree
 
isLeaf() - Method in class alice.tuprolog.SubGoalElement
 
isLeaf() - Method in class alice.tuprolog.SubGoalTree
 
isLibraryLoaded(String) - Method in class alice.tuprologx.ide.LibraryManager
Check if a library is loaded into the Prolog engine.
isLineHighlightEnabled() - Method in class alice.util.jedit.TextAreaPainter
Returns true if line highlight is enabled, false otherwise.
isList() - Method in class alice.tuprolog.AbstractSocket
 
isList() - Method in class alice.tuprolog.Number
is this term a prolog list?
isList() - Method in class alice.tuprolog.Struct
 
isList() - Method in class alice.tuprolog.Term
is this term a prolog list?
isList() - Method in class alice.tuprolog.Var
 
isLocked(String) - Method in class alice.tuprolog.EngineManager
 
isLong() - Method in class alice.tuprolog.Double
Deprecated.
Use instanceof alice.tuprolog.Long instead.
isLong() - Method in class alice.tuprolog.Float
Deprecated.
Use instanceof alice.tuprolog.Long instead.
isLong() - Method in class alice.tuprolog.Int
Deprecated.
Use instanceof alice.tuprolog.Long instead.
isLong() - Method in class alice.tuprolog.Long
Deprecated.
Use instanceof alice.tuprolog.Long instead.
isLong() - Method in class alice.tuprolog.Number
Deprecated.
Use instanceof alice.tuprolog.Long instead.
isManagingFocus() - Method in class alice.util.jedit.JEditTextArea
Returns if this component can be traversed by pressing the Tab key.
isManagingFocus() - Method in class alice.util.jedit.TextAreaPainter
Returns if this component can be traversed by pressing the Tab key.
isNextLineRequested() - Method in class alice.util.jedit.TokenMarker
Returns true if the next line should be repainted.
isNumber() - Method in class alice.tuprolog.AbstractSocket
 
isNumber() - Method in class alice.tuprolog.Number
is this term a prolog numeric term?
isNumber() - Method in class alice.tuprolog.Struct
is this term a prolog numeric term?
isNumber() - Method in class alice.tuprolog.Term
Deprecated.
Use instanceof Number instead.
isNumber() - Method in class alice.tuprolog.Var
 
ISocketLib - Interface in alice.tuprolog.interfaces
 
ISOIOLibrary - Class in alice.tuprolog.lib
This class provides basic ISO I/O predicates.
ISOIOLibrary() - Constructor for class alice.tuprolog.lib.ISOIOLibrary
 
ISOLibrary - Class in alice.tuprolog.lib
This class represents a tuProlog library providing most of the built-ins predicates and functors defined by ISO standard.
ISOLibrary() - Constructor for class alice.tuprolog.lib.ISOLibrary
 
ISolution<Q,S,T> - Interface in alice.tuprolog
 
isOpt(String[], String) - Static method in class alice.util.Tools
give a command line argument list, this method tests for the presence of the option of the specified prefix
isOutputArgument() - Method in class alice.tuprologx.pj.engine.PrologArg
 
isOverwriteEnabled() - Method in class alice.util.jedit.JEditTextArea
Returns true if overwrite mode is enabled, false otherwise.
isPlain() - Method in class alice.util.jedit.SyntaxStyle
Returns true if no font styles are enabled.
isPredicate() - Method in class alice.tuprolog.PrimitiveInfo
 
isPrimitive() - Method in class alice.tuprolog.Struct
Check if this term is a primitive struct
isReal() - Method in class alice.tuprolog.Double
is this term a prolog real term?
isReal() - Method in class alice.tuprolog.Float
is this term a prolog real term?
isReal() - Method in class alice.tuprolog.Int
is this term a prolog real term?
isReal() - Method in class alice.tuprolog.Long
is this term a prolog real term?
isReal() - Method in class alice.tuprolog.Number
is this term a prolog real term?
isRepeatEnabled() - Method in class alice.util.jedit.InputHandler
Returns if repeating is enabled.
isRoot() - Method in class alice.tuprolog.AbstractSubGoalTree
 
isRoot() - Method in class alice.tuprolog.SubGoalElement
 
isRoot() - Method in class alice.tuprolog.SubGoalTree
 
isSaved() - Method in interface alice.tuprologx.ide.FileEditArea
Check if the theory in the edit area has been modified after the last Save operation.
isSaved() - Method in class alice.tuprologx.ide.JavaEditArea
 
isSelectionRectangular() - Method in class alice.util.jedit.JEditTextArea
Returns true if the selection is rectangular, false otherwise.
isServerSocket() - Method in class alice.tuprolog.AbstractSocket
 
isServerSocket() - Method in class alice.tuprolog.Client_Socket
 
isServerSocket() - Method in class alice.tuprolog.Datagram_Socket
 
isServerSocket() - Method in class alice.tuprolog.Server_Socket
 
isSpy() - Method in class alice.tuprolog.Prolog
Checks the spy state of the engine
isStruct() - Method in class alice.tuprolog.AbstractSocket
 
isStruct() - Method in class alice.tuprolog.Number
is this term a struct
isStruct() - Method in class alice.tuprolog.Struct
is this term a struct
isStruct() - Method in class alice.tuprolog.Term
Deprecated.
Use instanceof Struct instead.
isStruct() - Method in class alice.tuprolog.Var
 
isSuccess() - Method in interface alice.tuprolog.ISolution
 
isSuccess() - Method in class alice.tuprolog.SolveInfo
Checks if the solve request was successful
isSuccess() - Method in class alice.tuprologx.pj.engine.PrologSolution
 
isTypeDouble() - Method in class alice.tuprolog.Double
Deprecated.
Use instanceof alice.tuprolog.Double instead.
isTypeDouble() - Method in class alice.tuprolog.Float
Deprecated.
Use instanceof alice.tuprolog.Double instead.
isTypeDouble() - Method in class alice.tuprolog.Int
Deprecated.
Use instanceof alice.tuprolog.Double instead.
isTypeDouble() - Method in class alice.tuprolog.Long
Deprecated.
Use instanceof alice.tuprolog.Double instead.
isTypeDouble() - Method in class alice.tuprolog.Number
Deprecated.
Use instanceof alice.tuprolog.Double instead.
isTypeFloat() - Method in class alice.tuprolog.Double
Deprecated.
Use instanceof alice.tuprolog.Float instead.
isTypeFloat() - Method in class alice.tuprolog.Float
Deprecated.
Use instanceof alice.tuprolog.Float instead.
isTypeFloat() - Method in class alice.tuprolog.Int
Deprecated.
Use instanceof alice.tuprolog.Float instead.
isTypeFloat() - Method in class alice.tuprolog.Long
Deprecated.
Use instanceof alice.tuprolog.Float instead.
isTypeFloat() - Method in class alice.tuprolog.Number
Deprecated.
Use instanceof alice.tuprolog.Float instead.
isTypeInt() - Method in class alice.tuprolog.Double
Deprecated.
Use instanceof Int instead.
isTypeInt() - Method in class alice.tuprolog.Float
Deprecated.
Use instanceof Int instead.
isTypeInt() - Method in class alice.tuprolog.Int
Deprecated.
Use instanceof Int instead.
isTypeInt() - Method in class alice.tuprolog.Long
Deprecated.
Use instanceof Int instead.
isTypeInt() - Method in class alice.tuprolog.Number
Deprecated.
Use instanceof Int instead.
isTypeLong() - Method in class alice.tuprolog.Double
Deprecated.
Use instanceof alice.tuprolog.Long instead.
isTypeLong() - Method in class alice.tuprolog.Float
Deprecated.
Use instanceof alice.tuprolog.Long instead.
isTypeLong() - Method in class alice.tuprolog.Int
Deprecated.
Use instanceof alice.tuprolog.Long instead.
isTypeLong() - Method in class alice.tuprolog.Long
Deprecated.
Use instanceof alice.tuprolog.Long instead.
isTypeLong() - Method in class alice.tuprolog.Number
Deprecated.
Use instanceof alice.tuprolog.Long instead.
isVar() - Method in class alice.tuprolog.AbstractSocket
 
isVar() - Method in class alice.tuprolog.Number
is this term a variable
isVar() - Method in class alice.tuprolog.Struct
is this term a variable
isVar() - Method in class alice.tuprolog.Term
Deprecated.
Use instanceof Var instead.
isVar() - Method in class alice.tuprolog.Var
 
isWarning() - Method in class alice.tuprolog.Prolog
Checks if warning information are notified
iterated_goal_term_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
iteratedGoalTerm() - Method in class alice.tuprolog.Struct
 
iteratedGoalTerm() - Method in class alice.tuprolog.Term
The iterated-goal term G of a term T is a term defined recursively as follows: if T unifies with ^(_, Goal) then G is the iterated-goal term of Goal else G is T
iterator() - Method in class alice.tuprolog.Parser
 
iterator() - Method in class alice.tuprolog.SubGoalTree
 
iterator(Prolog) - Method in class alice.tuprolog.Theory
 
iterator() - Method in class alice.tuprologx.pj.model.Cons
 
iterator() - Method in class alice.tuprologx.pj.model.List
 
iterator() - Method in class alice.util.ReadOnlyLinkedList
 

J

J2PProxyFactory - Class in alice.tuprologx.pj.engine
 
J2PProxyFactory() - Constructor for class alice.tuprologx.pj.engine.J2PProxyFactory
Constructs a factory of proxy class.
J2PProxyFactory.ClassLoaderProvider - Interface in alice.tuprologx.pj.engine
A provider of class loaders.
java_array_get_primitive_3(Term, Term, Term) - Method in class alice.tuprolog.lib.JavaLibrary
 
java_array_get_primitive_3(Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibrary
 
java_array_set_primitive_3(Term, Term, Term) - Method in class alice.tuprolog.lib.JavaLibrary
 
java_array_set_primitive_3(Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibrary
 
java_call_3(Term, Term, Term) - Method in class alice.tuprolog.lib.JavaLibrary
Calls a method of a Java object
java_call_3(Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibrary
Calls a method of a Java object
java_class_4(Term, Term, Term, Term) - Method in class alice.tuprolog.lib.JavaLibrary
Creates of a java class
java_class_4(Term, Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibrary
Creates of a java class
java_field_1(Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
java_get_3(Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
java_method_1(Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
java_method_call_6(Term, Term, Term, Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
java_object_3(Term, Term, Term) - Method in class alice.tuprolog.lib.JavaLibrary
 
java_object_3(Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibrary
Creates of a java object - not backtrackable case
java_object_prolog_3(Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
java_object_std_3(Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
java_set_3(Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
JavaDynamicClassLoader - Class in alice.util
 
JavaDynamicClassLoader() - Constructor for class alice.util.JavaDynamicClassLoader
 
JavaDynamicClassLoader(URL[]) - Constructor for class alice.util.JavaDynamicClassLoader
 
JavaDynamicClassLoader(URL[], ClassLoader) - Constructor for class alice.util.JavaDynamicClassLoader
 
JavaEditArea - Class in alice.tuprologx.ide
An edit area for the Java 2 platform.
JavaEditArea() - Constructor for class alice.tuprologx.ide.JavaEditArea
 
JavaException - Class in alice.tuprolog
 
JavaException(Throwable) - Constructor for class alice.tuprolog.JavaException
 
JavaIDE - Class in alice.tuprologx.ide
The tuProlog IDE to be run on a Java2 platform.
JavaIDE() - Constructor for class alice.tuprologx.ide.JavaIDE
 
JavaInputField - Class in alice.tuprologx.ide
An input field for the Java2 platform using Swing components.
JavaInputField() - Constructor for class alice.tuprologx.ide.JavaInputField
 
JavaIOManager - Class in alice.tuprologx.ide
A manager for Input/Output operations on the Java 2 platform.
JavaIOManager(Component) - Constructor for class alice.tuprologx.ide.JavaIOManager
 
JavaLibrary - Class in alice.tuprolog.lib
This class represents a tuProlog library enabling the interaction with the Java environment from tuProlog.
JavaLibrary() - Constructor for class alice.tuprolog.lib.JavaLibrary
library theory
JavaObject<O> - Class in alice.tuprologx.pj.model
 
JavaObject(O) - Constructor for class alice.tuprologx.pj.model.JavaObject
Creates a new instance of JavaObject
JavaTerm<O> - Class in alice.tuprologx.pj.model
 
JavaTerm(O) - Constructor for class alice.tuprologx.pj.model.JavaTerm
 
JavaTerm(Class<?>, Collection<Term<?>>) - Constructor for class alice.tuprologx.pj.model.JavaTerm
 
JEditTextArea - Class in alice.util.jedit
jEdit's text area component.
JEditTextArea() - Constructor for class alice.util.jedit.JEditTextArea
Creates a new JEditTextArea with the default settings.
JEditTextArea(TextAreaDefaults) - Constructor for class alice.util.jedit.JEditTextArea
Creates a new JEditTextArea with the specified settings.
join(int) - Method in class alice.tuprolog.EngineManager
 

K

keyPressed(KeyEvent) - Method in class alice.util.jedit.DefaultInputHandler
Handle a key pressed event.
keyTyped(KeyEvent) - Method in class alice.util.jedit.DefaultInputHandler
Handle a key typed event.
KEYWORD1 - Static variable in class alice.util.jedit.Token
Keyword 1 token id.
KEYWORD2 - Static variable in class alice.util.jedit.Token
Keyword 2 token id.
KEYWORD3 - Static variable in class alice.util.jedit.Token
Keyword 3 token id.
KeywordMap - Class in alice.util.jedit
A KeywordMap is similar to a hashtable in that it maps keys to values.
KeywordMap(boolean) - Constructor for class alice.util.jedit.KeywordMap
Creates a new KeywordMap.
KeywordMap(boolean, int) - Constructor for class alice.util.jedit.KeywordMap
Creates a new KeywordMap.
kids - Variable in class alice.tuprologx.spyframe.Node
The children of this node.

L

LABEL - Static variable in class alice.util.jedit.Token
Label token id.
lastIndexOf(Object) - Method in class alice.util.ReadOnlyLinkedList
 
lastLine - Variable in class alice.util.jedit.TokenMarker
The last tokenized line.
lastToken() - Method in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
lastToken - Variable in class alice.util.jedit.TokenMarker
The last token in the list.
lastValue() - Method in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
LEFT_OF_SCROLLBAR - Static variable in class alice.util.jedit.JEditTextArea
Adding components with this name to the text area will place them left of the horizontal scroll bar.
length - Variable in class alice.util.jedit.Token
The length of this token.
length - Variable in class alice.util.jedit.TokenMarker
The number of lines in the model being tokenized.
levels - Variable in class alice.tuprologx.spyframe.Tree
Number of lines in the tree.
Library - Class in alice.tuprolog
This abstract class is the base class for developing tuProlog built-in libraries, which can be dynamically loaded by prolog objects.
Library() - Constructor for class alice.tuprolog.Library
 
LibraryDialogFrame - Class in alice.tuprologx.ide
 
LibraryDialogFrame(LibraryManager, JFrame) - Constructor for class alice.tuprologx.ide.LibraryDialogFrame
 
LibraryEvent - Class in alice.tuprolog.event
This class represents events concerning library management.
LibraryEvent(Prolog, String) - Constructor for class alice.tuprolog.event.LibraryEvent
 
LibraryListener - Interface in alice.tuprolog.event
Listener for library events
libraryLoaded(LibraryEvent) - Method in interface alice.tuprolog.event.LibraryListener
 
libraryLoaded(LibraryEvent) - Method in class alice.tuprolog.event.PrologEventAdapter
 
libraryLoaded(LibraryEvent) - Method in interface alice.tuprolog.event.PrologEventListener
 
libraryLoaded(LibraryEvent) - Method in class alice.tuprologx.ide.LibraryDialogFrame
 
LibraryManager - Class in alice.tuprolog
 
LibraryManager - Class in alice.tuprologx.ide
A dynamic manager for tuProlog libraries.
LibraryManager() - Constructor for class alice.tuprologx.ide.LibraryManager
 
libraryUnloaded(LibraryEvent) - Method in interface alice.tuprolog.event.LibraryListener
 
libraryUnloaded(LibraryEvent) - Method in class alice.tuprolog.event.PrologEventAdapter
 
libraryUnloaded(LibraryEvent) - Method in interface alice.tuprolog.event.PrologEventListener
 
libraryUnloaded(LibraryEvent) - Method in class alice.tuprologx.ide.LibraryDialogFrame
 
line - Variable in exception alice.tuprolog.InvalidTermException
 
line - Variable in exception alice.tuprolog.InvalidTheoryException
 
lineHighlight - Variable in class alice.util.jedit.TextAreaDefaults
 
lineHighlight - Variable in class alice.util.jedit.TextAreaPainter
 
lineHighlightColor - Variable in class alice.util.jedit.TextAreaDefaults
 
lineHighlightColor - Variable in class alice.util.jedit.TextAreaPainter
 
lineInfo - Variable in class alice.util.jedit.TokenMarker
An array for storing information about lines.
lineno() - Method in class alice.tuprolog.Tokenizer
 
lineSegment - Variable in class alice.util.jedit.JEditTextArea
 
lineToY(int) - Method in class alice.util.jedit.JEditTextArea
Converts a line index to a y co-ordinate.
List<X extends Term<?>> - Class in alice.tuprologx.pj.model
 
List(Collection<Z>) - Constructor for class alice.tuprologx.pj.model.List
 
list - Variable in class alice.util.ReadOnlyLinkedList
 
list_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
listenerList - Variable in class alice.util.jedit.JEditTextArea
 
listHead() - Method in class alice.tuprolog.Struct
Gets the head of this structure, which is supposed to be a list.
listIterator() - Method in class alice.tuprolog.Struct
Gets an iterator on the elements of this structure, which is supposed to be a list.
listIterator() - Method in class alice.util.ReadOnlyLinkedList
 
listIterator(int) - Method in class alice.util.ReadOnlyLinkedList
 
listSize() - Method in class alice.tuprolog.Struct
Gets the number of elements of this structure, which is supposed to be a list.
listTail() - Method in class alice.tuprolog.Struct
Gets the tail of this structure, which is supposed to be a list.
listURLs - Variable in class alice.util.AbstractDynamicClassLoader
 
LITERAL1 - Static variable in class alice.util.jedit.Token
Literal 1 token id.
LITERAL2 - Static variable in class alice.util.jedit.Token
Literal 2 token id.
load(SubGoalTree) - Method in class alice.tuprolog.SubGoalStore
 
load_library_1(Term) - Method in class alice.tuprolog.BuiltIn
 
load_library_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
load_library_from_theory_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
Loads a library constructed from a theory.
loadClass(String) - Method in class alice.util.AbstractDynamicClassLoader
 
loadFile() - Method in class alice.tuprologx.ide.JavaIOManager
 
loadLibrary(String) - Method in interface alice.tuprolog.interfaces.IProlog
Loads a library.
loadLibrary(String) - Method in class alice.tuprolog.LibraryManager
Loads a library.
loadLibrary(String, String[]) - Method in class alice.tuprolog.LibraryManager
Loads a library.
loadLibrary(Library) - Method in class alice.tuprolog.LibraryManager
Loads a specific instance of a library.
loadLibrary(String) - Method in class alice.tuprolog.Prolog
Loads a library.
loadLibrary(String, String[]) - Method in class alice.tuprolog.Prolog
Loads a library.
loadLibrary(Library) - Method in class alice.tuprolog.Prolog
Loads a specific instance of a library If a library with the same name is already present, a warning event is notified
loadLibrary(String) - Method in class alice.tuprologx.ide.LibraryManager
Load a library from the Library Manager into the engine.
loadLibrary(String, File) - Method in class alice.tuprologx.ide.LibraryManager
Load a library from the Library Manager into the engine.
loadLibrary(Library) - Method in class alice.tuprologx.pj.engine.PJProlog
 
loadLibrary(String) - Method in class alice.tuprologx.runtime.corba._PrologStub
 
loadLibrary(String) - Method in class alice.tuprologx.runtime.corba.PrologImpl
 
loadLibrary(String) - Method in interface alice.tuprologx.runtime.corba.PrologOperations
 
loadLibrary(String) - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
loadLibrary(String) - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
loadLibrary(String) - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
loadLibrary(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
loadLibrary(String) - Method in class alice.tuprologx.runtime.tcp.Proxy
 
loadPreferences() - Method in class alice.tuprologx.ide.LibraryDialogFrame
 
loadText(String) - Static method in class alice.util.Tools
loads a text file and returns its content as string
loadText(InputStream) - Static method in class alice.util.Tools
loads a text file from an InputStream
loadTheory() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
loadTheory() - Method in class alice.tuprologx.ide.ToolBar
Load the engine with a theory previously stored in a file.
log_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
Long - Class in alice.tuprolog
Long class represents the long prolog data type
Long(long) - Constructor for class alice.tuprolog.Long
 
longValue() - Method in class alice.tuprolog.Double
Returns the value of the Double as long
longValue() - Method in class alice.tuprolog.Float
Returns the value of the Float as long
longValue() - Method in class alice.tuprolog.Int
Returns the value of the Integer as long
longValue() - Method in class alice.tuprolog.Long
Returns the value of the Integer as long
longValue() - Method in class alice.tuprolog.Number
Returns the value of the number as long
lookup(K) - Method in class alice.tuprolog.RBTree
 
lookup(Segment, int, int) - Method in class alice.util.jedit.KeywordMap
Looks up a key.
lookup_field_3(Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
lookup_method_3(Term, Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 

M

magicCaret - Variable in class alice.util.jedit.JEditTextArea
 
main(String[]) - Static method in class alice.tuprolog.Agent
 
main(String[]) - Static method in class alice.tuprologx.ide.CUIConsole
 
main(String[]) - Static method in class alice.tuprologx.ide.GUILauncher
Choose which GUI to launch based on the subversion number of the J2SE this program is running on.
main(String[]) - Static method in class alice.tuprologx.pj.annotations.parser.Parser
 
main(String[]) - Static method in class alice.tuprologx.runtime.corba.Daemon
 
main(String[]) - Static method in class alice.tuprologx.runtime.corba.Test
 
main(String[]) - Static method in class alice.tuprologx.runtime.rmi.Daemon
 
main(String[]) - Static method in class alice.tuprologx.runtime.rmi.Test
 
main(String[]) - Static method in class alice.tuprologx.runtime.tcp.Daemon
 
main(String[]) - Static method in class alice.tuprologx.runtime.tcp.Test
 
main(String[]) - Static method in class alice.tuprologx.spyframe.SpyFrame
Spies the solving process of a prolog goal.
main(String[]) - Static method in class alice.tuprologx.spyframe.TermFrame
Displays a prolog term generated out of a string.
main(String[]) - Static method in class alice.util.Sleep
 
make(String, Term<?>[]) - Static method in class alice.tuprologx.pj.model.Cons
 
makeTreeFrom(T) - Method in interface alice.tuprologx.spyframe.ToTree
Construct a tree out of some thing.
MalformedExpressionException - Exception in alice.tuprologx.pj.annotations.parser
 
MalformedExpressionException() - Constructor for exception alice.tuprologx.pj.annotations.parser.MalformedExpressionException
Creates a new instance of MalformedExpressionException
MalformedGoalException - Exception in alice.tuprolog
This exception means that a not well formed goal has been specified.
MalformedGoalException() - Constructor for exception alice.tuprolog.MalformedGoalException
 
mapLength - Variable in class alice.util.jedit.KeywordMap
 
markTokens(Segment, int) - Method in class alice.util.jedit.TokenMarker
A wrapper for the lower-level markTokensImpl method that is called to split a line up into tokens.
markTokensImpl(byte, Segment, int) - Method in class alice.tuprologx.ide.PrologTokenMarker
 
markTokensImpl(byte, Segment, int) - Method in class alice.util.jedit.TokenMarker
An abstract method that splits a line up into tokens.
marshal() - Method in class alice.tuprologx.pj.model.Atom
 
marshal() - Method in class alice.tuprologx.pj.model.Bool
 
marshal() - Method in class alice.tuprologx.pj.model.Clause
 
marshal() - Method in class alice.tuprologx.pj.model.Cons
 
marshal() - Method in class alice.tuprologx.pj.model.Double
 
marshal() - Method in class alice.tuprologx.pj.model.Int
 
marshal() - Method in class alice.tuprologx.pj.model.JavaObject
 
marshal() - Method in class alice.tuprologx.pj.model.JavaTerm
Creates a new instance of JavaTerm
marshal() - Method in class alice.tuprologx.pj.model.List
 
marshal() - Method in class alice.tuprologx.pj.model.Nil
 
marshal() - Method in class alice.tuprologx.pj.model.Term
 
marshal() - Method in class alice.tuprologx.pj.model.Theory
 
marshal() - Method in class alice.tuprologx.pj.model.Var
 
marshal_2(Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
match(Term, Term) - Method in class alice.tuprolog.Library
tries to unify two terms The runtime (demonstration) context currently used by the engine is deployed and altered.
match(Term, Term) - Method in class alice.tuprolog.Prolog
Unifies two terms using current demonstration context.
match(Term) - Method in class alice.tuprolog.Term
Tests if this term is unifiable with an other term.
match(String, int) - Method in class alice.tuprologx.pj.model.Clause
 
member_guard_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
MethodFinder - Class in alice.tuprologx.pj.lib
Finds methods and constructors that can be invoked by reflection.
MethodFinder(Class<?>) - Constructor for class alice.tuprologx.pj.lib.MethodFinder
 
methodName - Variable in class alice.tuprologx.runtime.tcp.NetMsg
 
mod_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
mouseClicked(MouseEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
 
mouseClicked(MouseEvent) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
mouseEntered(MouseEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
 
mouseEntered(MouseEvent) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
mouseExited(MouseEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
 
mouseExited(MouseEvent) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
mousePressed(MouseEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
 
mousePressed(MouseEvent) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
mouseReleased(MouseEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
 
mouseReleased(MouseEvent) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
msg_queue_create_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
msg_queue_destroy_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
msg_queue_size_2(Term, Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
msgQSize() - Method in class alice.tuprolog.EngineRunner
 
mul(float) - Method in class alice.util.V2d
 
multipleResult - Variable in class alice.tuprologx.pj.annotations.parser.PrologTree.SignatureExpr
 
mutex_create_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
mutex_destroy_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
mutex_isLocked_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
mutex_lock_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
mutex_trylock_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
mutex_unlock_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
mutex_unlock_all_0() - Method in class alice.tuprolog.lib.ThreadLibrary
 
mutexLock(String) - Method in class alice.tuprolog.EngineManager
 
mutexTryLock(String) - Method in class alice.tuprolog.EngineManager
 
mutexUnlock(String) - Method in class alice.tuprolog.EngineManager
 

N

name - Variable in class alice.tuprolog.Operator
operator name
name - Variable in class alice.tuprologx.pj.annotations.parser.PrologTree.PredicateExpr
 
name - Variable in class alice.tuprologx.pj.annotations.parser.PrologTree.VariableExpr
 
narrow(Object) - Static method in class alice.tuprologx.runtime.corba.PrologHelper
 
NetMsg - Class in alice.tuprologx.runtime.tcp
 
NetMsg() - Constructor for class alice.tuprologx.runtime.tcp.NetMsg
 
NetMsg(String) - Constructor for class alice.tuprologx.runtime.tcp.NetMsg
 
newInstance(Class<?>) - Static method in class alice.tuprologx.pj.engine.PJ
 
newInstance(Class<?>, Theory) - Static method in class alice.tuprologx.pj.engine.PJ
 
newQueryResultAvailable(QueryEvent) - Method in class alice.tuprolog.event.PrologEventAdapter
 
newQueryResultAvailable(QueryEvent) - Method in interface alice.tuprolog.event.PrologEventListener
 
newQueryResultAvailable(QueryEvent) - Method in interface alice.tuprolog.event.QueryListener
 
newQueryResultAvailable(QueryEvent) - Method in class alice.tuprologx.ide.ConsoleManager
 
newTheory() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
newTheory() - Method in class alice.tuprologx.ide.ToolBar
Reset the engine's theory to a new blank theory.
next - Variable in class alice.util.jedit.Token
The next token in the linked list.
NEXT_CHAR - Static variable in class alice.util.jedit.InputHandler
 
NEXT_LINE - Static variable in class alice.util.jedit.InputHandler
 
NEXT_PAGE - Static variable in class alice.util.jedit.InputHandler
 
NEXT_WORD - Static variable in class alice.util.jedit.InputHandler
 
nextLineRequested - Variable in class alice.util.jedit.TokenMarker
True if the next line should be painted.
nextSolution(int) - Method in class alice.tuprolog.EngineManager
 
nextSolution() - Method in class alice.tuprolog.EngineRunner
 
nextTabStop(float, int) - Method in class alice.util.jedit.TextAreaPainter
Implementation of TabExpander interface.
nextTerm(boolean) - Method in interface alice.tuprolog.interfaces.IParser
Parses next term from the stream built on string.
nextTerm(boolean) - Method in class alice.tuprolog.Parser
Parses next term from the stream built on string.
NIL - Static variable in class alice.tuprologx.pj.model.List
 
Nil - Class in alice.tuprologx.pj.model
 
Nil() - Constructor for class alice.tuprologx.pj.model.Nil
 
nl_0() - Method in class alice.tuprolog.lib.IOLibrary
 
nl_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
Node - Class in alice.tuprologx.spyframe
Nodes are the constituing element of a tree.
Node(String) - Constructor for class alice.tuprologx.spyframe.Node
Creates a node with the specified text.
Node() - Constructor for class alice.tuprologx.spyframe.Node
Creates a node with empty text.
NoMoreSolutionException - Exception in alice.tuprolog
This exception means that other solutions are asked but actually no other ones exist.
NoMoreSolutionException() - Constructor for exception alice.tuprolog.NoMoreSolutionException
 
nonvar_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
NoSolutionException - Exception in alice.tuprolog
This exception means that a solution is asked, but actually none exists
NoSolutionException() - Constructor for exception alice.tuprolog.NoSolutionException
 
NoSolutionException - Exception in alice.tuprologx.pj.engine
 
NoSolutionException() - Constructor for exception alice.tuprologx.pj.engine.NoSolutionException
Creates a new instance of NoSolutionException
nospy_0() - Method in class alice.tuprolog.lib.BasicLibrary
 
notifyChangedTheory(TheoryEvent) - Method in class alice.tuprolog.Prolog
Notifies a new theory set or updated event
notifyException(ExceptionEvent) - Method in class alice.tuprolog.Prolog
Notifies a exception information event
notifyInformationToDisplayEvent(InformationToDisplayEvent) - Method in class alice.tuprologx.ide.ConsoleManager
 
notifyLoadedLibrary(LibraryEvent) - Method in class alice.tuprolog.Prolog
Notifies a library loaded event
notifyNewQueryResultAvailable(QueryEvent) - Method in class alice.tuprolog.Prolog
Notifies a library loaded event
notifyOutput(OutputEvent) - Method in class alice.tuprolog.Prolog
Notifies an ouput information event
notifySpy(SpyEvent) - Method in class alice.tuprolog.Prolog
Notifies a spy information event
notifyUnloadedLibrary(LibraryEvent) - Method in class alice.tuprolog.Prolog
Notifies a library unloaded event
notifyWarning(WarningEvent) - Method in class alice.tuprolog.Prolog
Notifies a warning information event
notrace_0() - Method in class alice.tuprolog.lib.BasicLibrary
 
nowarning_0() - Method in class alice.tuprolog.lib.BasicLibrary
 
NULL - Static variable in class alice.util.jedit.Token
Normal text token id.
num_atom_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
Number - Class in alice.tuprolog
Number abstract class represents numbers prolog data type
Number() - Constructor for class alice.tuprolog.Number
 
number_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 

O

obj - Variable in class alice.util.jedit.TokenMarker.LineInfo
This is for use by the token marker implementations themselves.
offsetToRowColumn(int) - Method in interface alice.tuprolog.interfaces.IParser
 
offsetToRowColumn(int) - Method in class alice.tuprolog.Parser
 
offsetToRowColumn(int) - Method in class alice.tuprolog.Tokenizer
 
offsetToX(int, int) - Method in class alice.util.jedit.JEditTextArea
Converts an offset in a line into an x co-ordinate.
ok() - Method in class alice.tuprologx.ide.PrologConfigFrame
 
onClose() - Method in class alice.tuprologx.ide.GenericFrame
 
onClose() - Method in class alice.tuprologx.ide.JavaIDE
 
OneWayList<E> - Class in alice.util
 
OneWayList(E, OneWayList<E>) - Constructor for class alice.util.OneWayList
 
onException(ExceptionEvent) - Method in interface alice.tuprolog.event.ExceptionListener
 
onException(ExceptionEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
 
onException(ExceptionEvent) - Method in class alice.tuprologx.ide.CUIConsole
 
onInformation(InformationToDisplayEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
 
onInformation(InformationToDisplayEvent) - Method in interface alice.tuprologx.ide.InformationToDisplayListener
 
onOutput(OutputEvent) - Method in interface alice.tuprolog.event.OutputListener
 
onOutput(OutputEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
 
onOutput(OutputEvent) - Method in class alice.tuprologx.ide.CUIConsole
 
onOutput(OutputEvent) - Method in class alice.tuprologx.ide.JavaIDE
 
onSolveBegin(Term) - Method in class alice.tuprolog.lib.JavaLibrary
 
onSolveBegin(Term) - Method in class alice.tuprolog.Library
method invoked when the engine is going to demonstrate a goal
onSolveBegin(Term) - Method in class alice.tuprolog.LibraryManager
 
onSolveBegin(Term) - Method in class alice.tuprologx.pj.lib.PJLibrary
 
onSolveEnd() - Method in class alice.tuprolog.lib.JavaLibrary
 
onSolveEnd() - Method in class alice.tuprolog.lib.SocketLibrary
 
onSolveEnd() - Method in class alice.tuprolog.Library
 
onSolveEnd() - Method in class alice.tuprolog.LibraryManager
 
onSolveEnd() - Method in class alice.tuprologx.pj.lib.PJLibrary
 
onSolveHalt() - Method in class alice.tuprolog.lib.SocketLibrary
 
onSolveHalt() - Method in class alice.tuprolog.Library
method invoked when the engine has finished a demostration
onSolveHalt() - Method in class alice.tuprolog.LibraryManager
 
onSpy(SpyEvent) - Method in interface alice.tuprolog.event.SpyListener
 
onSpy(SpyEvent) - Method in class alice.tuprologx.ide.CUIConsole
 
onSpy(SpyEvent) - Method in class alice.tuprologx.ide.DebugAreaFrame
 
onSpy(SpyEvent) - Method in class alice.tuprologx.ide.JavaIDE
 
onSpy(SpyEvent) - Method in class alice.tuprologx.spyframe.SpyFrame
Display the spied information in form of a tree.
onWarning(WarningEvent) - Method in interface alice.tuprolog.event.WarningListener
 
onWarning(WarningEvent) - Method in class alice.tuprologx.ide.CUIConsole
 
onWarning(WarningEvent) - Method in class alice.tuprologx.ide.DebugAreaFrame
 
onWarning(WarningEvent) - Method in class alice.tuprologx.ide.JavaIDE
 
op_3(Term, Term, Term) - Method in class alice.tuprolog.BuiltIn
 
OP_HIGH - Static variable in class alice.tuprolog.OperatorManager
highest operator priority
OP_LOW - Static variable in class alice.tuprolog.OperatorManager
lowest operator priority
open_3(Term, Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
open_4(Term, Term, Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
openLibraryManager() - Method in class alice.tuprologx.ide.ToolBar
Opens the Library Manager dialog.
Operator - Class in alice.tuprolog
This class defines a tuProlog operator, in terms of a name, a type, and a priority.
Operator(String, String, int) - Constructor for class alice.tuprolog.Operator
 
OPERATOR - Static variable in class alice.util.jedit.Token
Operator token id.
OperatorManager - Class in alice.tuprolog
This class manages Prolog operators.
OperatorManager() - Constructor for class alice.tuprolog.OperatorManager
 
opNew(String, String, int) - Method in interface alice.tuprolog.interfaces.IOperatorManager
Creates a new operator.
opNew(String, String, int) - Method in class alice.tuprolog.OperatorManager
Creates a new operator.
opNext(int) - Method in class alice.tuprolog.OperatorManager
Returns the priority nearest (lower) to the priority of a defined operator
opPrio(String, String) - Method in class alice.tuprolog.OperatorManager
Returns the priority of an operator (0 if the operator is not defined).
OutputEvent - Class in alice.tuprolog.event
This class defines an output event (after a write operation, for instance) generated by the prolog core
OutputEvent(Object, String) - Constructor for class alice.tuprolog.event.OutputEvent
 
OutputListener - Interface in alice.tuprolog.event
This interface defines the method handling output event generated by a prolog engine
outputStream - Variable in class alice.tuprolog.lib.IOLibrary
 
outputStream - Variable in class alice.tuprolog.lib.ISOIOLibrary
 
outputStreamName - Variable in class alice.tuprolog.lib.IOLibrary
 
outputStreamName - Variable in class alice.tuprolog.lib.ISOIOLibrary
 
outputStreams - Variable in class alice.tuprolog.lib.ISOIOLibrary
 
outputTree - Variable in class alice.tuprologx.pj.annotations.parser.PrologTree.SignatureExpr
 
OVERWRITE - Static variable in class alice.util.jedit.InputHandler
 
overwrite - Variable in class alice.util.jedit.JEditTextArea
 
overwriteSetSelectedText(String) - Method in class alice.util.jedit.JEditTextArea
Similar to setSelectedText(), but overstrikes the appropriate number of characters if overwrite mode is enabled.

P

P2d - Class in alice.util
2-dimensional point objects are completely state-less
P2d(float, float) - Constructor for class alice.util.P2d
 
paint(Graphics) - Method in class alice.util.jedit.TextAreaPainter
Repaints the text.
paintBracketHighlight(Graphics, int, int) - Method in class alice.util.jedit.TextAreaPainter
 
paintCaret(Graphics, int, int) - Method in class alice.util.jedit.TextAreaPainter
 
paintComponent(Graphics) - Method in class alice.tuprologx.spyframe.Tree
 
painter - Variable in class alice.util.jedit.JEditTextArea
 
paintHighlight(Graphics, int, int) - Method in interface alice.util.jedit.TextAreaPainter.Highlight
This should paint the highlight and delgate to the next highlight painter.
paintHighlight(Graphics, int, int) - Method in class alice.util.jedit.TextAreaPainter
 
paintInvalid - Variable in class alice.util.jedit.TextAreaDefaults
 
paintInvalid - Variable in class alice.util.jedit.TextAreaPainter
 
paintLine(Graphics, TokenMarker, int, int) - Method in class alice.util.jedit.TextAreaPainter
 
paintLineHighlight(Graphics, int, int) - Method in class alice.util.jedit.TextAreaPainter
 
paintNode(Graphics2D, Node) - Method in class alice.tuprologx.spyframe.Tree
Displays this node with colored border and text.
paintPlainLine(Graphics, int, Font, Color, int, int) - Method in class alice.util.jedit.TextAreaPainter
 
paintSyntaxLine(Segment, Token, SyntaxStyle[], TabExpander, Graphics, int, int) - Static method in class alice.util.jedit.SyntaxUtilities
Paints the specified line onto the graphics context.
paintSyntaxLine(Graphics, TokenMarker, int, Font, Color, int, int) - Method in class alice.util.jedit.TextAreaPainter
 
paintTree(Graphics2D, Node) - Method in class alice.tuprologx.spyframe.Tree
Displays recursively the subtree rooted at the specified node.
parse(String) - Static method in class alice.tuprolog.Term
Deprecated.
parse(String, OperatorManager) - Static method in class alice.tuprolog.Term
parseKeyStroke(String) - Static method in class alice.util.jedit.DefaultInputHandler
Converts a string to a keystroke.
parsePredicate() - Method in class alice.tuprologx.pj.annotations.parser.Parser
Creates a new instance of ParserUtility
Parser - Class in alice.tuprolog
This class defines a parser of prolog terms and sentences.
Parser(OperatorManager, InputStream) - Constructor for class alice.tuprolog.Parser
creating a Parser specifing how to handle operators and what text to parse
Parser(OperatorManager, String, HashMap<Term, Integer>) - Constructor for class alice.tuprolog.Parser
creating a Parser specifing how to handle operators and what text to parse
Parser(OperatorManager, String) - Constructor for class alice.tuprolog.Parser
creating a Parser specifing how to handle operators and what text to parse
Parser(String, HashMap<Term, Integer>) - Constructor for class alice.tuprolog.Parser
creating a parser with default operator interpretation
Parser(String) - Constructor for class alice.tuprolog.Parser
creating a parser with default operator interpretation
Parser(InputStream) - Constructor for class alice.tuprolog.Parser
creating a parser with default operator interpretation
Parser - Class in alice.tuprologx.pj.annotations.parser
 
Parser(String) - Constructor for class alice.tuprologx.pj.annotations.parser.Parser
 
ParserFactory - Class in alice.tuprolog.interfaces
 
ParserFactory() - Constructor for class alice.tuprolog.interfaces.ParserFactory
 
parseSignature() - Method in class alice.tuprologx.pj.annotations.parser.Parser
 
parseSingleTerm(String) - Static method in class alice.tuprolog.Parser
Static service to get a term from its string representation
parseSingleTerm(String, OperatorManager) - Static method in class alice.tuprolog.Parser
Static service to get a term from its string representation, providing a specific operator manager
parseTermList() - Method in class alice.tuprologx.pj.annotations.parser.Parser
 
parseVariable() - Method in class alice.tuprologx.pj.annotations.parser.Parser
 
PASTE - Static variable in class alice.util.jedit.InputHandler
 
paste() - Method in class alice.util.jedit.JEditTextArea
Inserts the clipboard contents into the text.
peek(Term, Prolog) - Method in class alice.tuprolog.TermQueue
 
peek_byte_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
peek_byte_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
peek_char_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
peek_char_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
peek_code_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
peek_code_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
peekMsg(int, Term) - Method in class alice.tuprolog.EngineManager
 
peekMsg(String, Term) - Method in class alice.tuprolog.EngineManager
 
peekMsg(Term) - Method in class alice.tuprolog.EngineRunner
 
permission_error(EngineManager, String, String, Term, Term) - Static method in class alice.tuprolog.PrologError
 
phrase_guard_2(Term, Term) - Method in class alice.tuprolog.lib.DCGLibrary
 
phrase_guard_2(Term, Term) - Method in class alice.tuprolog.lib.EDCGLibrary
 
phrase_guard_3(Term, Term, Term) - Method in class alice.tuprolog.lib.DCGLibrary
 
phrase_guard_3(Term, Term, Term) - Method in class alice.tuprolog.lib.EDCGLibrary
 
PJ - Class in alice.tuprologx.pj.engine
 
pj_assert_2(Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
pj_retract_2(Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
pj_retract_all_2(Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
PJAnnotationProcessor - Class in alice.tuprologx.pj.annotations.processing
 
PJAnnotationProcessor() - Constructor for class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 
PJLibrary - Class in alice.tuprologx.pj.lib
This class represents a tuProlog library enabling the interaction with the Java environment from tuProlog.
PJLibrary() - Constructor for class alice.tuprologx.pj.lib.PJLibrary
 
PJLibraryNew - Class in alice.tuprologx.pj.lib
This class represents a tuProlog library enabling the interaction with the Java environment from tuProlog.
PJLibraryNew() - Constructor for class alice.tuprologx.pj.lib.PJLibraryNew
 
PJProlog - Class in alice.tuprologx.pj.engine
 
PJProlog() - Constructor for class alice.tuprologx.pj.engine.PJProlog
 
popDirectoryFromList() - Method in class alice.tuprolog.Prolog
Retract an element from directory list
popup - Variable in class alice.util.jedit.JEditTextArea
 
popup - Variable in class alice.util.jedit.TextAreaDefaults
 
pos - Variable in exception alice.tuprolog.InvalidTermException
 
pos - Variable in exception alice.tuprolog.InvalidTheoryException
 
pose(Node, float, int) - Method in class alice.tuprologx.spyframe.Tree
Measures recursively a subtree the root of which is this and centers the this above the children.
PREDICATE - Static variable in class alice.tuprolog.PrimitiveInfo
 
preregisterObjects() - Method in class alice.tuprolog.lib.JavaLibrary
objects actually pre-registered in order to be available since the beginning of demonstration
preregisterObjects() - Method in class alice.tuprologx.pj.lib.PJLibrary
objects actually pre-registered in order to be available since the beginning of demonstration
PREV_CHAR - Static variable in class alice.util.jedit.InputHandler
 
PREV_LINE - Static variable in class alice.util.jedit.InputHandler
 
PREV_PAGE - Static variable in class alice.util.jedit.InputHandler
 
PREV_WORD - Static variable in class alice.util.jedit.InputHandler
 
PrimitiveInfo - Class in alice.tuprolog
Primitive class referring to a builtin predicate or functor
PrimitiveInfo(int, String, Library, Method, int) - Constructor for class alice.tuprolog.PrimitiveInfo
 
PrimitiveManager - Class in alice.tuprolog
Administration of primitive predicates
PrimitiveManager() - Constructor for class alice.tuprolog.PrimitiveManager
 
print() - Method in class alice.tuprolog.RBTree
 
print_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
prio - Variable in class alice.tuprolog.Operator
priority
process(Set<? extends TypeElement>, RoundEnvironment) - Method in class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 
processKeyEvent(KeyEvent) - Method in class alice.util.jedit.JEditTextArea
Forwards key events directly to the input handler.
ProcessorMessages - Interface in alice.tuprologx.pj.annotations.processing
 
Prolog - Class in alice.tuprolog
The Prolog class represents a tuProlog engine.
Prolog() - Constructor for class alice.tuprolog.Prolog
Builds a prolog engine with default libraries loaded.
Prolog(String[]) - Constructor for class alice.tuprolog.Prolog
Builds a tuProlog engine with loaded the specified libraries
Prolog - Interface in alice.tuprologx.runtime.corba
org/alice/tuprologx/runtime/corba/Prolog.java Generated by the IDL-to-Java compiler (portable), version "3.0" from org/alice/tuprologx/runtime/corba/Prolog.idl venerdi 28 dicembre 2001 12.37.09 GMT+01:00
Prolog - Interface in alice.tuprologx.runtime.rmi
 
Prolog - Interface in alice.tuprologx.runtime.tcp
 
prolog_class_1(Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
prolog_field_1(Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
prolog_method_1(Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
PrologArg<X extends Term<X>> - Class in alice.tuprologx.pj.engine
 
PrologArg(Term<X>, TermKind[]) - Constructor for class alice.tuprologx.pj.engine.PrologArg
Creates a new instance of PrologArg
PrologArg(TermKind[]) - Constructor for class alice.tuprologx.pj.engine.PrologArg
 
PrologClass - Annotation Type in alice.tuprologx.pj.annotations
 
PrologConfigFrame - Class in alice.tuprologx.ide
 
PrologConfigFrame(JFrame, FontDimensionHandler) - Constructor for class alice.tuprologx.ide.PrologConfigFrame
 
PrologError - Class in alice.tuprolog
 
PrologError(Term) - Constructor for class alice.tuprolog.PrologError
 
PrologError(Term, String) - Constructor for class alice.tuprolog.PrologError
 
PrologEvent - Class in alice.tuprolog.event
Base class for engine event
PrologEvent(Prolog) - Constructor for class alice.tuprolog.event.PrologEvent
 
PrologEventAdapter - Class in alice.tuprolog.event
 
PrologEventAdapter() - Constructor for class alice.tuprolog.event.PrologEventAdapter
 
PrologEventListener - Interface in alice.tuprolog.event
Listener for Prolog events
PrologException - Exception in alice.tuprolog
Base class for tuProlog exceptions.
PrologException() - Constructor for exception alice.tuprolog.PrologException
 
PrologException(String) - Constructor for exception alice.tuprolog.PrologException
 
PrologFactory - Class in alice.tuprolog.interfaces
 
PrologFactory() - Constructor for class alice.tuprolog.interfaces.PrologFactory
 
PrologField - Annotation Type in alice.tuprologx.pj.annotations
 
PrologFileChooser - Class in alice.tuprologx.ide
 
PrologFileChooser(String, String) - Constructor for class alice.tuprologx.ide.PrologFileChooser
 
PrologHelper - Class in alice.tuprologx.runtime.corba
org/alice/tuprologx/runtime/corba/PrologHelper.java Generated by the IDL-to-Java compiler (portable), version "3.0" from org/alice/tuprologx/runtime/corba/Prolog.idl venerd?
PrologHelper() - Constructor for class alice.tuprologx.runtime.corba.PrologHelper
 
PrologHolder - Class in alice.tuprologx.runtime.corba
org/alice/tuprologx/runtime/corba/PrologHolder.java Generated by the IDL-to-Java compiler (portable), version "3.0" from org/alice/tuprologx/runtime/corba/Prolog.idl venerd?
PrologHolder() - Constructor for class alice.tuprologx.runtime.corba.PrologHolder
 
PrologHolder(Prolog) - Constructor for class alice.tuprologx.runtime.corba.PrologHolder
 
PrologImpl - Class in alice.tuprologx.runtime.corba
 
PrologImpl() - Constructor for class alice.tuprologx.runtime.corba.PrologImpl
construction with default libraries: ISO + Meta
PrologImpl(String[]) - Constructor for class alice.tuprologx.runtime.corba.PrologImpl
construction speciying (eventually) libraries
PrologImpl - Class in alice.tuprologx.runtime.rmi
 
PrologImpl() - Constructor for class alice.tuprologx.runtime.rmi.PrologImpl
 
PrologImpl - Class in alice.tuprologx.runtime.tcp
 
PrologImpl(Prolog) - Constructor for class alice.tuprologx.runtime.tcp.PrologImpl
 
PrologInvocationContext - Class in alice.tuprologx.pj.engine
 
PrologInvocationContext(Method, Object[]) - Constructor for class alice.tuprologx.pj.engine.PrologInvocationContext
Creates a new instance of InvocationObject
PrologInvocationKind - Enum in alice.tuprologx.pj.engine
 
PrologMetaClass - Class in alice.tuprologx.pj.meta
 
PrologMetaClass(Class<?>) - Constructor for class alice.tuprologx.pj.meta.PrologMetaClass
Creates a new instance of MetaPrologClass
PrologMetaField - Class in alice.tuprologx.pj.meta
 
PrologMetaField(PrologMetaClass, Field) - Constructor for class alice.tuprologx.pj.meta.PrologMetaField
Creates a new instance of MetaPrologClass
PrologMetaMethod - Class in alice.tuprologx.pj.meta
 
PrologMetaMethod(PrologMetaClass, Method) - Constructor for class alice.tuprologx.pj.meta.PrologMetaMethod
Creates a new instance of MetaPrologClass
PrologMethod - Annotation Type in alice.tuprologx.pj.annotations
 
PrologObject - Interface in alice.tuprologx.pj.engine
 
PrologOperations - Interface in alice.tuprologx.runtime.corba
org/alice/tuprologx/runtime/corba/PrologOperations.java Generated by the IDL-to-Java compiler (portable), version "3.0" from org/alice/tuprologx/runtime/corba/Prolog.idl venerd?
PrologSolution<Q extends Term<?>,S extends Term<?>> - Class in alice.tuprologx.pj.engine
 
PrologSolution(SolveInfo) - Constructor for class alice.tuprologx.pj.engine.PrologSolution
Creates a new instance of SolveInfo
PrologTable - Class in alice.tuprologx.ide
 
PrologTable() - Constructor for class alice.tuprologx.ide.PrologTable
 
PrologTable(Object[][], Object[]) - Constructor for class alice.tuprologx.ide.PrologTable
 
PrologTable(Object[][], Object[], boolean[]) - Constructor for class alice.tuprologx.ide.PrologTable
 
PrologTable(TableModel) - Constructor for class alice.tuprologx.ide.PrologTable
 
PrologTable(TableModel, boolean[]) - Constructor for class alice.tuprologx.ide.PrologTable
 
PrologTextArea - Class in alice.tuprologx.ide
 
PrologTextArea() - Constructor for class alice.tuprologx.ide.PrologTextArea
 
PrologTokenMarker - Class in alice.tuprologx.ide
 
PrologTokenMarker() - Constructor for class alice.tuprologx.ide.PrologTokenMarker
 
PrologTokenMarker(boolean, KeywordMap) - Constructor for class alice.tuprologx.ide.PrologTokenMarker
 
PrologTree - Class in alice.tuprologx.pj.annotations.parser
 
PrologTree() - Constructor for class alice.tuprologx.pj.annotations.parser.PrologTree
 
PrologTree.PredicateExpr - Class in alice.tuprologx.pj.annotations.parser
Creates a new instance of PredicateTree
PrologTree.SignatureExpr - Class in alice.tuprologx.pj.annotations.parser
 
PrologTree.VariableExpr - Class in alice.tuprologx.pj.annotations.parser
 
propertyChange(PropertyChangeEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
 
propertyChange(PropertyChangeEvent) - Method in class alice.tuprologx.ide.ConsoleManager
 
propertyChange(PropertyChangeEvent) - Method in class alice.tuprologx.ide.StatusBar
 
propertyChange(PropertyChangeEvent) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
Proxy - Class in alice.tuprologx.runtime.tcp
 
Proxy(String) - Constructor for class alice.tuprologx.runtime.tcp.Proxy
 
Proxy(String, int) - Constructor for class alice.tuprologx.runtime.tcp.Proxy
 
pushDirectoryToList(String) - Method in class alice.tuprolog.Prolog
Append a new path to directory list
pushSubGoal(SubGoalTree) - Method in class alice.tuprolog.SubGoalStore
 
put_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
put_byte_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
put_byte_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
put_char_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
put_code_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
put_code_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
putInput(InputStream) - Method in class alice.tuprolog.lib.UserContextInputStream
 

Q

QueryEvent - Class in alice.tuprolog.event
This class represents events concerning query management.
QueryEvent(Prolog, SolveInfo) - Constructor for class alice.tuprolog.event.QueryEvent
 
QueryListener - Interface in alice.tuprolog.event
Listener for query events
queueSize(int) - Method in class alice.tuprolog.EngineManager
 
queueSize(String) - Method in class alice.tuprolog.EngineManager
 

R

rand_float_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
rand_int_2(Term, Term) - Method in class alice.tuprolog.lib.IOLibrary
 
RBTree<K extends Comparable<? super K>,V> - Class in alice.tuprolog
Implements a Red Black Tree Introduced by Paolo Contessi, retrieved from: http://en.literateprograms.org/Red-black_tree_(Java)?
RBTree() - Constructor for class alice.tuprolog.RBTree
 
read(int) - Method in class alice.tuprolog.EngineManager
 
read() - Method in class alice.tuprolog.EngineRunner
 
read() - Method in class alice.tuprolog.lib.UserContextInputStream
 
read(InputStream) - Static method in class alice.tuprologx.runtime.corba.PrologHelper
 
read(InputStream) - Static method in class alice.tuprologx.runtime.corba.SolveInfoHelper
 
read_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
read_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
read_from_socket_3(Term, Term, Struct) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
read_from_socket_3(Term, Term, Struct) - Method in class alice.tuprolog.lib.SocketLibrary
Synchronous reading from Socket.
read_term_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
read_term_3(Term, Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
readCalled(ReadEvent) - Method in interface alice.tuprolog.event.ReadListener
 
readCalled(ReadEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
Implemented the method readCalled because the consoleDialog is a ReadListener.
ReadEvent - Class in alice.tuprolog.event
 
ReadEvent(UserContextInputStream) - Constructor for class alice.tuprolog.event.ReadEvent
 
ReadListener - Interface in alice.tuprolog.event
 
ReadOnlyLinkedList<E> - Class in alice.util
ReadOnlyLinkedList encapsulate a LinkedList and ensures that the given list is navigated only.
ReadOnlyLinkedList() - Constructor for class alice.util.ReadOnlyLinkedList
 
ReadOnlyLinkedList(LinkedList<E>) - Constructor for class alice.util.ReadOnlyLinkedList
 
readToken() - Method in class alice.tuprolog.Tokenizer
reads next available token
rebindPrimitives() - Method in class alice.tuprolog.TheoryManager
Binds clauses in the database with the corresponding primitive predicate, if any
recalculateVisibleLines() - Method in class alice.util.jedit.JEditTextArea
Recalculates the number of visible lines.
recorder - Variable in class alice.util.jedit.InputHandler
 
rectSelect - Variable in class alice.util.jedit.JEditTextArea
 
redo() - Method in class alice.tuprologx.ide.TheoryEditor
Redo last action in the Edit Area.
redoAction() - Method in class alice.tuprologx.ide.JavaEditArea
 
regionMatches(boolean, Segment, int, String) - Static method in class alice.util.jedit.SyntaxUtilities
Checks if a subregion of a Segment is equal to a string.
regionMatches(boolean, Segment, int, char[]) - Static method in class alice.util.jedit.SyntaxUtilities
Checks if a subregion of a Segment is equal to a character array.
register(Struct, Object) - Method in class alice.tuprolog.lib.JavaLibrary
Register an object with the specified id.
register(Object) - Method in class alice.tuprolog.lib.JavaLibrary
Registers an object, with automatic creation of the identifier.
register(Struct, Object) - Method in class alice.tuprologx.pj.lib.PJLibrary
Register an object with the specified id.
register(Object) - Method in class alice.tuprologx.pj.lib.PJLibrary
Registers an object, with automatic creation of the identifier.
register_1(Term) - Method in class alice.tuprolog.lib.JavaLibrary
Register an object with the specified id.
registerDynamic(Struct, Object) - Method in class alice.tuprolog.lib.JavaLibrary
Registers an object only for the running query life-time
registerDynamic(Object) - Method in class alice.tuprolog.lib.JavaLibrary
Registers an object for the query life-time, with the automatic generation of the identifier.
registerDynamic(Struct, Object) - Method in class alice.tuprologx.pj.lib.PJLibrary
Registers an object only for the running query life-time
registerDynamic(Object) - Method in class alice.tuprologx.pj.lib.PJLibrary
Registers an object for the query life-time, with the automatic generation of the identifier.
registerJavaObject(Object) - Static method in class alice.tuprologx.pj.engine.PJ
 
registerJavaObject(Object) - Method in class alice.tuprologx.pj.engine.PJProlog
 
reload() - Method in class alice.tuprologx.ide.PrologConfigFrame
 
rem_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
remeasure() - Method in class alice.tuprologx.spyframe.Tree
Remeasures the tree nodes.
remove(Term, Prolog) - Method in class alice.tuprolog.TermQueue
 
remove(Object) - Method in class alice.util.ReadOnlyLinkedList
 
remove(int) - Method in class alice.util.ReadOnlyLinkedList
 
removeAll(Collection<?>) - Method in class alice.util.ReadOnlyLinkedList
 
removeAllExceptionListeners() - Method in interface alice.tuprolog.interfaces.IProlog
Removes all exception event listeners
removeAllExceptionListeners() - Method in class alice.tuprolog.Prolog
Removes all exception event listeners
removeAllKeyBindings() - Method in class alice.util.jedit.DefaultInputHandler
Removes all key bindings from this input handler.
removeAllKeyBindings() - Method in class alice.util.jedit.InputHandler
Removes all key bindings from this input handler.
removeAllOutputListener() - Method in class alice.tuprolog.Agent
Removes all output event listeners
removeAllOutputListeners() - Method in interface alice.tuprolog.interfaces.IProlog
Removes all output event listeners
removeAllOutputListeners() - Method in class alice.tuprolog.Prolog
Removes all output event listeners
removeAllSpyListeners() - Method in interface alice.tuprolog.interfaces.IProlog
Removes all spy event listeners
removeAllSpyListeners() - Method in class alice.tuprolog.Prolog
Removes all spy event listeners
removeAllURLs() - Method in class alice.util.AbstractDynamicClassLoader
 
removeAllWarningListeners() - Method in class alice.tuprolog.Prolog
Removes all warning event listeners
removeApices(String) - Static method in class alice.util.Tools
 
removeCaretListener(CaretListener) - Method in class alice.util.jedit.JEditTextArea
Removes a caret change listener from this text area.
removeChild(int) - Method in class alice.tuprolog.SubGoalTree
 
removeClassCacheEntry(String) - Method in class alice.util.AbstractDynamicClassLoader
 
removeExceptionListener(ExceptionListener) - Method in interface alice.tuprolog.interfaces.IProlog
Removes a listener to exception events
removeExceptionListener(ExceptionListener) - Method in class alice.tuprolog.Prolog
Removes a listener to exception events
removeInformationToDisplayListener(InformationToDisplayListener) - Method in class alice.tuprologx.ide.ConsoleManager
 
removeKeyBinding(String) - Method in class alice.util.jedit.DefaultInputHandler
Removes a key binding from this input handler.
removeKeyBinding(String) - Method in class alice.util.jedit.InputHandler
Removes a key binding from this input handler.
removeLibrary(String) - Method in class alice.tuprologx.ide.LibraryDialogFrame
Remove a library from the dialog to the manager.
removeLibrary(String) - Method in class alice.tuprologx.ide.LibraryManager
Remove a library to the manager.
removeLibraryListener(LibraryListener) - Method in class alice.tuprolog.Prolog
Removes a listener to library events
removeLibraryTheory(String) - Method in class alice.tuprolog.TheoryManager
remove all the clauses of lib theory
removeMsg(int, Term) - Method in class alice.tuprolog.EngineManager
 
removeMsg(String, Term) - Method in class alice.tuprolog.EngineManager
 
removeMsg(Term) - Method in class alice.tuprolog.EngineRunner
 
removeNotify() - Method in class alice.util.jedit.JEditTextArea
Called by the AWT when this component is removed from it's parent.
removeOutputListener(OutputListener) - Method in class alice.tuprolog.Agent
Removes a listener to ouput events
removeOutputListener(OutputListener) - Method in interface alice.tuprolog.interfaces.IProlog
Removes a listener to ouput events
removeOutputListener(OutputListener) - Method in class alice.tuprolog.Prolog
Removes a listener to ouput events
removePropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.ConsoleDialog
 
removePropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.JavaEditArea
 
removePropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.PrologConfigFrame
 
removePropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.TheoryEditor
 
removePropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.ToolBar
 
removeQueryListener(QueryListener) - Method in class alice.tuprolog.Prolog
Removes a listener to query events
removeSpyListener(SpyListener) - Method in interface alice.tuprolog.interfaces.IProlog
Removes a listener to spy events
removeSpyListener(SpyListener) - Method in class alice.tuprolog.Prolog
Removes a listener to spy events
removeTheoryListener(TheoryListener) - Method in class alice.tuprolog.Prolog
Removes a listener to theory events
removeUnusedChoicePoints() - Method in class alice.tuprolog.ChoicePointStore
Removes choice points which have been already used and are now empty.
removeURL(URL) - Method in class alice.util.AbstractDynamicClassLoader
 
removeURLs(URL[]) - Method in class alice.util.AbstractDynamicClassLoader
 
removeWarningListener(WarningListener) - Method in class alice.tuprolog.Prolog
Removes a listener to warning events
REPEAT - Static variable in class alice.util.jedit.InputHandler
 
repeat - Variable in class alice.util.jedit.InputHandler
 
repeatCount - Variable in class alice.util.jedit.InputHandler
 
representation_error(EngineManager, int, String) - Static method in class alice.tuprolog.PrologError
 
resetDirectoryList(String) - Method in class alice.tuprolog.Prolog
Reset directory list
resetInputStream() - Method in class alice.tuprologx.ide.ConsoleManager
 
resetLibraries() - Method in class alice.tuprologx.ide.LibraryManager
 
resolveTerm() - Method in class alice.tuprolog.Term
Resolves variables inside the term If the variables has been already resolved, no renaming is done.
resolveVariables(int) - Method in class alice.tuprolog.Double
 
resource_error(EngineManager, Term) - Static method in class alice.tuprolog.PrologError
 
retainAll(Collection<?>) - Method in class alice.util.ReadOnlyLinkedList
 
retract(Struct) - Method in class alice.tuprolog.TheoryManager
removing from dbase the first clause with head unifying with clause
retract_guard_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
retractAllClauses(PrologObject, Term) - Static method in class alice.tuprologx.pj.engine.PJ
 
retractClause(PrologObject, Term) - Static method in class alice.tuprologx.pj.engine.PJ
 
reverse_guard_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
RIGHT - Static variable in class alice.util.jedit.JEditTextArea
 
root - Variable in class alice.tuprolog.RBTree
 
root - Variable in class alice.tuprologx.spyframe.Tree
The root of the tree.
round_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
rows - Variable in class alice.util.jedit.TextAreaDefaults
 
rows - Variable in class alice.util.jedit.TextAreaPainter
 
run() - Method in class alice.tuprolog.EngineRunner
 
run() - Method in class alice.tuprologx.ide.EngineThread
 
run() - Method in class alice.tuprologx.runtime.tcp.Daemon
 
run() - Method in class alice.util.Automaton
 
runnerId() - Method in class alice.tuprolog.EngineManager
 

S

saveFileAs(FileIDE) - Method in class alice.tuprologx.ide.JavaIOManager
 
savePreferences() - Method in class alice.tuprologx.ide.LibraryDialogFrame
 
saveTheory() - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
saveTheory() - Method in class alice.tuprologx.ide.ToolBar
Save the engine's current theory to a default file.
saveTheoryAs() - Method in class alice.tuprologx.ide.ToolBar
Save the engine's current theory to a file chosen by the user.
scrollBarsInitialized - Variable in class alice.util.jedit.JEditTextArea
 
scrollTo(int, int) - Method in class alice.util.jedit.JEditTextArea
Ensures that the specified line and offset is visible by scrolling the text area if necessary.
scrollToCaret() - Method in class alice.util.jedit.JEditTextArea
Ensures that the caret is visible by scrolling the text area if necessary.
searchForMethod(Class<?>, String, Class<?>[]) - Static method in class alice.util.InspectionUtils
 
see_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
seeing_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
seen_0() - Method in class alice.tuprolog.lib.IOLibrary
 
select(int, int) - Method in class alice.util.jedit.JEditTextArea
Selects from the start offset to the end offset.
SELECT_DOC_END - Static variable in class alice.util.jedit.InputHandler
 
SELECT_DOC_HOME - Static variable in class alice.util.jedit.InputHandler
 
SELECT_END - Static variable in class alice.util.jedit.InputHandler
 
SELECT_HOME - Static variable in class alice.util.jedit.InputHandler
 
SELECT_NEXT_CHAR - Static variable in class alice.util.jedit.InputHandler
 
SELECT_NEXT_LINE - Static variable in class alice.util.jedit.InputHandler
 
SELECT_NEXT_PAGE - Static variable in class alice.util.jedit.InputHandler
 
SELECT_NEXT_WORD - Static variable in class alice.util.jedit.InputHandler
 
SELECT_PREV_CHAR - Static variable in class alice.util.jedit.InputHandler
 
SELECT_PREV_LINE - Static variable in class alice.util.jedit.InputHandler
 
SELECT_PREV_PAGE - Static variable in class alice.util.jedit.InputHandler
 
SELECT_PREV_WORD - Static variable in class alice.util.jedit.InputHandler
 
selectAll() - Method in class alice.util.jedit.JEditTextArea
Selects all text in the document.
selectionColor - Variable in class alice.util.jedit.TextAreaDefaults
 
selectionColor - Variable in class alice.util.jedit.TextAreaPainter
 
selectionEnd - Variable in class alice.util.jedit.JEditTextArea
 
selectionEndLine - Variable in class alice.util.jedit.JEditTextArea
 
selectionStart - Variable in class alice.util.jedit.JEditTextArea
 
selectionStartLine - Variable in class alice.util.jedit.JEditTextArea
 
selectNone() - Method in class alice.util.jedit.JEditTextArea
Moves the mark to the caret position.
sendMsg(int, Term) - Method in class alice.tuprolog.EngineManager
 
sendMsg(String, Term) - Method in class alice.tuprolog.EngineManager
 
sendMsg(Term) - Method in class alice.tuprolog.EngineRunner
 
Server_Socket - Class in alice.tuprolog
 
Server_Socket(ServerSocket) - Constructor for class alice.tuprolog.Server_Socket
 
set(int, E) - Method in class alice.util.ReadOnlyLinkedList
 
set_classpath_1(Term) - Method in class alice.tuprolog.lib.JavaLibrary
 
set_input_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
set_output_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
set_prolog_flag_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
set_seed_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
Sets an arbitrary seed for the Random object.
set_stream_position_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
set_theory_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
sets a new theory provided as a text
set_write_flag_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
setAccepted(boolean) - Method in class alice.tuprologx.ide.EngineStatus
 
setBagOFbag(Term) - Method in class alice.tuprolog.EngineManager
 
setBagOFBag(Term) - Method in class alice.tuprolog.EngineRunner
 
setBagOFgoal(Term) - Method in class alice.tuprolog.EngineManager
 
setBagOFgoal(Term) - Method in class alice.tuprolog.EngineRunner
 
setBagOFres(ArrayList<Term>) - Method in class alice.tuprolog.EngineManager
 
setBagOFres(ArrayList<Term>) - Method in class alice.tuprolog.EngineRunner
 
setBagOFresString(ArrayList<String>) - Method in class alice.tuprolog.EngineManager
 
setBagOFresString(ArrayList<String>) - Method in class alice.tuprolog.EngineRunner
 
setBagOFvarSet(Term) - Method in class alice.tuprolog.EngineManager
 
setBagOFvarSet(Term) - Method in class alice.tuprolog.EngineRunner
 
setBlockCaretEnabled(boolean) - Method in class alice.util.jedit.TextAreaPainter
Sets if the caret should be drawn as a block, false otherwise.
setBracketHighlightColor(Color) - Method in class alice.util.jedit.TextAreaPainter
Sets the bracket highlight color.
setBracketHighlightEnabled(boolean) - Method in class alice.util.jedit.TextAreaPainter
Enables or disables bracket highlighting.
setCaretBlinkEnabled(boolean) - Method in class alice.util.jedit.JEditTextArea
Toggles caret blinking.
setCaretColor(Color) - Method in class alice.util.jedit.TextAreaPainter
Sets the caret color.
setCaretLine(int) - Method in class alice.tuprologx.ide.JavaEditArea
 
setCaretLine(int) - Method in class alice.tuprologx.ide.TheoryEditor
Display the line number where the caret in the edit area is.
setCaretPosition(int) - Method in class alice.util.jedit.JEditTextArea
Sets the caret position.
setCaretVisible(boolean) - Method in class alice.util.jedit.JEditTextArea
Sets if the caret should be visible.
setClassCacheEntry(Class<?>) - Method in class alice.util.AbstractDynamicClassLoader
 
setConsole(ConsoleManager) - Method in class alice.tuprologx.ide.JavaInputField
Since the solve() method must be placed in this class, I need a reference to the Console where output, solveInfo, tuProlog engine and the ProcessInput thread are placed.
setConsoleDialog(ConsoleDialog) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
setContent(String) - Method in class alice.tuprologx.ide.FileIDE
 
setCounter() - Method in class alice.tuprolog.lib.UserContextInputStream
 
setCurrentDirectory(String) - Method in class alice.tuprolog.Prolog
Sets the last Element of the path list
setDialog(ConsoleDialog) - Method in class alice.tuprologx.ide.ConsoleManager
 
setDirty(boolean) - Method in class alice.tuprologx.ide.JavaEditArea
 
setDocument(SyntaxDocument) - Method in class alice.util.jedit.JEditTextArea
Sets the document this text area is editing.
setEditable(boolean) - Method in class alice.tuprologx.ide.JavaEditArea
 
setEditable(boolean) - Method in class alice.util.jedit.JEditTextArea
Sets if this component is editable.
setEditArea(TheoryEditArea) - Method in class alice.tuprologx.ide.TheoryEditor
Set the edit area used by the editor to manipulate the text of Prolog theories.
setEditorContent(String) - Method in class alice.tuprologx.ide.JavaIDE
 
setEditorContent(String) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
setElectricScroll(int) - Method in class alice.util.jedit.JEditTextArea
Sets the number of lines from the top and bottom of the text area that are always visible
setEngine(Prolog) - Method in class alice.tuprolog.lib.ThreadLibrary
 
setEngine(Prolog) - Method in class alice.tuprolog.Library
 
setEngine(Prolog) - Method in class alice.tuprologx.ide.ConsoleManager
 
setEngine(Prolog) - Method in class alice.tuprologx.ide.LibraryManager
Set the engine to be referenced by the library manager.
setEngine(Prolog) - Method in class alice.tuprologx.ide.TheoryEditor
Set the Prolog engine referenced by the editor.
setEngine(Prolog) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
setEngine(Prolog) - Method in class alice.tuprologx.ide.ToolBar
Set the Prolog engine referenced by the toolbar.
setEngineTheory() - Method in class alice.tuprologx.ide.TheoryEditor
Set the theory of the tuProlog engine referenced by the editor to the theory currently contained in the edit area.
setEOLMarkerColor(Color) - Method in class alice.util.jedit.TextAreaPainter
Sets the EOL marker color.
setEOLMarkersPainted(boolean) - Method in class alice.util.jedit.TextAreaPainter
Sets if EOL markers are to be drawn.
setError(String) - Method in class alice.tuprologx.ide.EngineStatus
 
setException(boolean) - Method in class alice.tuprolog.Prolog
Switches on/off the notification of exception information events
setExceptionEnabled(boolean) - Method in class alice.tuprologx.ide.ConsoleDialog
 
setExecutionType(String) - Method in class alice.tuprolog.lib.IOLibrary
This method defines whether you use the graphical version or version by console
setFeededTheory(boolean) - Method in class alice.tuprologx.ide.JavaIDE
 
setFeededTheory(boolean) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
setFileIDE(FileIDE) - Method in class alice.tuprologx.ide.ToolBar
 
setFileManager(IOFileOperations) - Method in class alice.tuprologx.ide.ConsoleDialog
Set the file manager referenced by the toolbar for use in Input/Output tasks.
setFileManager(IOFileOperations) - Method in class alice.tuprologx.ide.LibraryDialogFrame
Set the file manager referenced by the library dialog for use in Input/Output tasks.
setFileManager(IOFileOperations) - Method in class alice.tuprologx.ide.ToolBar
Set the file manager referenced by the toolbar for use in Input/Output tasks.
setFileManagerType(String) - Method in class alice.tuprologx.ide.ConsoleDialog
 
setFileManagerType(String) - Method in class alice.tuprologx.ide.LibraryDialogFrame
 
setFileManagerType(String) - Method in class alice.tuprologx.ide.ToolBar
 
setFileName(String) - Method in class alice.tuprologx.ide.FileIDE
 
setFilePath(String) - Method in class alice.tuprologx.ide.FileIDE
 
setFilter(MethodFilter) - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
Sets a filter that selects the methods that will be controlled by a handler.
setFirstLine(int) - Method in class alice.util.jedit.JEditTextArea
Sets the line displayed at the text area's origin without updating the scroll bars.
setFirstSolution(boolean) - Method in class alice.tuprologx.ide.EngineStatus
 
setFont(Font) - Method in class alice.util.jedit.TextAreaPainter
Sets the font for this component.
setFontDimension(int) - Method in class alice.tuprologx.ide.ConsoleDialog
 
setFontDimension(int) - Method in interface alice.tuprologx.ide.FontDimensionHandler
 
setFontDimension(int) - Method in class alice.tuprologx.ide.JavaEditArea
 
setFontDimension(int) - Method in class alice.tuprologx.ide.JavaInputField
 
setFontDimension(int) - Method in class alice.tuprologx.ide.StatusBar
 
setFontDimension(int) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
setFrameIcon(String) - Method in class alice.tuprologx.ide.GenericFrame
 
setGoal(Term) - Method in class alice.tuprolog.EngineRunner
 
setGraphicsFlags(Graphics, Font) - Method in class alice.util.jedit.SyntaxStyle
Sets the foreground color and font of the specified graphics context to that specified in this style.
setHandler(MethodHandler) - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
Sets the default invocation handler.
setHead(E) - Method in class alice.util.OneWayList
 
setHorizontalOffset(int) - Method in class alice.util.jedit.JEditTextArea
Sets the horizontal offset of drawn lines.
setIgnoreCase(boolean) - Method in class alice.util.jedit.KeywordMap
Sets if the keyword map should be case insensitive.
setInfo(SolveInfo) - Method in class alice.tuprologx.ide.EngineStatus
 
setInputDialog(InputDialog) - Method in class alice.tuprologx.ide.ConsoleDialog
Method to insert an InputDialog inside the ConsoleDialog
setInputField(InputField) - Method in class alice.tuprologx.ide.ConsoleManager
 
setInputField(JavaInputField) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
setInputHandler(InputHandler) - Method in class alice.util.jedit.JEditTextArea
Sets the input handler.
setInterfaces(Class[]) - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
Sets the interfaces of a proxy class.
setInvalidLinesPainted(boolean) - Method in class alice.util.jedit.TextAreaPainter
Sets if invalid lines are to be painted as red tildes.
setIsBorderedCellArray(boolean[]) - Method in class alice.tuprologx.ide.PrologTable
 
setIsExpandedCellArray(boolean[]) - Method in class alice.tuprologx.ide.PrologTable
 
setLibraries(ArrayList<String>) - Method in class alice.tuprologx.ide.LibraryManager
 
setLibraryManager(LibraryManager) - Method in class alice.tuprologx.ide.ToolBar
Set the library manager
setLibraryManagerStatus() - Method in class alice.tuprologx.ide.LibraryDialogFrame
Load and unload the managed libraries following the indications given by the user through the dialog interface.
setLineHighlightColor(Color) - Method in class alice.util.jedit.TextAreaPainter
Sets the line highlight color.
setLineHighlightEnabled(boolean) - Method in class alice.util.jedit.TextAreaPainter
Enables or disables current line highlighting.
setMacroRecorder(InputHandler.MacroRecorder) - Method in class alice.util.jedit.InputHandler
Sets the macro recorder.
setMagicCaretPosition(int) - Method in class alice.util.jedit.JEditTextArea
Sets the `magic' caret position.
setMillsStopEngine(int) - Method in class alice.tuprologx.ide.PrologConfigFrame
 
setName(String) - Method in class alice.tuprolog.Var
 
setNotifyExceptionEvent(boolean) - Method in class alice.tuprologx.ide.PrologConfigFrame
 
setOptimizedDirectory(String) - Method in class alice.tuprolog.LibraryManager
 
setOrigin(int, int) - Method in class alice.util.jedit.JEditTextArea
A fast way of changing both the first line and horizontal offset.
setOverwriteEnabled(boolean) - Method in class alice.util.jedit.JEditTextArea
Sets if overwrite mode should be enabled.
setPrologConfig(PrologConfigFrame) - Method in class alice.tuprologx.ide.ToolBar
Set the tuProlog config frame
setReadListener(ReadListener) - Method in class alice.tuprolog.lib.UserContextInputStream
 
setRelinkVar(boolean) - Method in class alice.tuprolog.EngineManager
 
setRelinkVar(boolean) - Method in class alice.tuprolog.EngineRunner
 
setRepeatCount(int) - Method in class alice.util.jedit.InputHandler
Sets the number of times the next action will be repeated.
setRepeatEnabled(boolean) - Method in class alice.util.jedit.InputHandler
Enables repeating.
setRightClickPopup(JPopupMenu) - Method in class alice.util.jedit.JEditTextArea
Sets the right click popup menu.
setSaved(boolean) - Method in interface alice.tuprologx.ide.FileEditArea
Set the saved flag for the theory contained in the edit area after the last Save operation.
setSaved(boolean) - Method in class alice.tuprologx.ide.JavaEditArea
 
setSelectDisplayModality(int) - Method in class alice.tuprologx.ide.PrologConfigFrame
 
setSelectedText(String) - Method in class alice.util.jedit.JEditTextArea
Replaces the selection with the specified text.
setSelectionColor(Color) - Method in class alice.util.jedit.TextAreaPainter
Sets the selection color.
setSelectionEnd(int) - Method in class alice.util.jedit.JEditTextArea
Sets the selection end.
setSelectionRectangular(boolean) - Method in class alice.util.jedit.JEditTextArea
Sets if the selection should be rectangular.
setSelectionStart(int) - Method in class alice.util.jedit.JEditTextArea
Sets the selection start.
setSetOfSolution(String) - Method in class alice.tuprolog.EngineManager
 
setSetOfSolution(String) - Method in class alice.tuprolog.EngineRunner
 
setSetOfSolution(String) - Method in class alice.tuprolog.SolveInfo
 
setSolveType(int) - Method in class alice.tuprologx.ide.ConsoleManager
 
setSolving(boolean) - Method in class alice.tuprolog.EngineRunner
 
setSpy(boolean) - Method in interface alice.tuprolog.interfaces.IProlog
Switches on/off the notification of spy information events
setSpy(boolean) - Method in class alice.tuprolog.Prolog
Switches on/off the notification of spy information events
setStandardInput(InputStream) - Method in class alice.tuprolog.lib.IOLibrary
Added getters and setters of StandardInput and StandardOutput for JSR-223
setStandardOutput(OutputStream) - Method in class alice.tuprolog.lib.IOLibrary
 
setStatusBar(StatusBar) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
setStatusMessage(String) - Method in class alice.tuprologx.ide.ConsoleDialog
 
setStatusMessage(String) - Method in class alice.tuprologx.ide.ConsoleManager
 
setStatusMessage(String) - Method in class alice.tuprologx.ide.LibraryDialogFrame
Set the status message in the status bar of this dialog.
setStatusMessage(String) - Method in class alice.tuprologx.ide.StatusBar
 
setStatusMessage(String) - Method in class alice.tuprologx.ide.TheoryEditor
Set the editor status.
setStatusMessage(String) - Method in class alice.tuprologx.ide.ToolBar
Set the toolbar status.
setStructure(T) - Method in class alice.tuprologx.spyframe.Tree
Sets a new structure to be displayed by this component.
setStructValue(Var, int, Var) - Method in class alice.tuprolog.StateEnd
 
setStyles(SyntaxStyle[]) - Method in class alice.util.jedit.TextAreaPainter
Sets the syntax styles used to paint colorized text.
setSuperclass(Class) - Method in class alice.tuprologx.pj.engine.J2PProxyFactory
Sets the super class of a proxy class.
setTail(OneWayList<E>) - Method in class alice.util.OneWayList
 
setTerm(Term<X>) - Method in class alice.tuprologx.pj.engine.PrologArg
 
setTerm(Term) - Method in class alice.tuprologx.spyframe.TermFrame
Sets a new prolog term.
setTerm(String) - Method in class alice.tuprologx.spyframe.TermFrame
Sets a new prolog term.
setTerm(Term) - Method in class alice.tuprologx.spyframe.TermPanel
Sets a new prolog term.
setTerm(String) - Method in class alice.tuprologx.spyframe.TermPanel
Sets a new prolog term.
setText(String) - Method in class alice.util.jedit.JEditTextArea
Sets the entire text of this text area.
setTheory(Theory) - Method in class alice.tuprolog.Prolog
Sets a new theory
setTheory(String) - Method in class alice.tuprologx.ide.JavaEditArea
 
setTheory(Theory) - Method in class alice.tuprologx.pj.engine.PJProlog
 
setTheory(Theory) - Method in interface alice.tuprologx.pj.engine.PrologObject
 
setTheory(Theory) - Method in class alice.tuprologx.pj.meta.PrologMetaClass
 
setTheory(Theory) - Method in class alice.tuprologx.pj.meta.PrologMetaMethod
 
setTheory(String) - Method in class alice.tuprologx.runtime.corba._PrologStub
 
setTheory(String) - Method in class alice.tuprologx.runtime.corba.PrologImpl
 
setTheory(String) - Method in interface alice.tuprologx.runtime.corba.PrologOperations
 
setTheory(Theory) - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
setTheory(Theory) - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
setTheory(Theory) - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
setTheory(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
setTheory(Theory) - Method in class alice.tuprologx.runtime.tcp.Proxy
 
setTheoryEditor(TheoryEditor) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
setTokenMarker(TokenMarker) - Method in class alice.util.jedit.JEditTextArea
Sets the document's token marker.
setTokenMarker(TokenMarker) - Method in class alice.util.jedit.SyntaxDocument
Sets the token marker that is to be used to split lines of this document up into tokens.
setToolBar(ToolBar) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
setTypeFileFilter(String) - Method in class alice.tuprologx.ide.JavaIOManager
 
setValue(PrologObject, T) - Method in class alice.tuprologx.pj.meta.PrologMetaField
 
setViewParams(float, float, float, Font) - Method in class alice.tuprologx.spyframe.Tree
Sets the horizontal spacing and remeasures the tree nodes.
setWarning(boolean) - Method in class alice.tuprolog.Prolog
Switches on/off the notification of warning information events
sign_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
sin_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
size() - Method in class alice.tuprolog.SubGoalTree
 
size() - Method in class alice.tuprolog.TermQueue
 
size() - Method in class alice.util.ReadOnlyLinkedList
 
Sleep - Class in alice.util
 
Sleep() - Constructor for class alice.util.Sleep
 
SMART_HOME_END_PROPERTY - Static variable in class alice.util.jedit.InputHandler
If this client property is set to Boolean.TRUE on the text area, the home/end keys will support 'smart' BRIEF-like behaviour (one press = start/end of line, two presses = start/end of viewscreen, three presses = start/end of document).
SocketLibrary - Class in alice.tuprolog.lib
 
SocketLibrary() - Constructor for class alice.tuprolog.lib.SocketLibrary
 
solution - Variable in class alice.tuprologx.runtime.corba.SolveInfo
 
solve(Term) - Method in class alice.tuprolog.EngineManager
 
solve() - Method in class alice.tuprolog.EngineRunner
 
solve(String) - Method in interface alice.tuprolog.interfaces.IProlog
Solves a query
solve(Term) - Method in class alice.tuprolog.Prolog
Solves a query
solve(String) - Method in class alice.tuprolog.Prolog
Solves a query
solve() - Method in class alice.tuprologx.ide.ConsoleManager
 
solve() - Method in class alice.tuprologx.ide.JavaInputField
Solve the goal currently displayed in the input field.
solve(G) - Method in class alice.tuprologx.pj.engine.PJProlog
 
solve(String) - Method in class alice.tuprologx.runtime.corba._PrologStub
 
solve(String) - Method in class alice.tuprologx.runtime.corba.PrologImpl
 
solve(String) - Method in interface alice.tuprologx.runtime.corba.PrologOperations
 
solve(Term) - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
solve(String) - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
solve(Term) - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
solve(String) - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
solve(String) - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
solve(Term) - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
solve(String) - Method in class alice.tuprologx.runtime.tcp.Proxy
 
solve(Term) - Method in class alice.tuprologx.runtime.tcp.Proxy
 
solve_file_goal_guard_2(Term, Term) - Method in class alice.tuprolog.lib.IOLibrary
 
solveAll() - Method in class alice.tuprologx.ide.ConsoleManager
 
solveAll() - Method in class alice.tuprologx.ide.JavaInputField
 
solveAll(G) - Method in class alice.tuprologx.pj.engine.PJProlog
 
solveEnd() - Method in class alice.tuprolog.EngineManager
 
solveEnd() - Method in class alice.tuprolog.EngineRunner
Accepts current solution
solveEnd() - Method in interface alice.tuprolog.interfaces.IProlog
Accepts current solution
solveEnd() - Method in class alice.tuprolog.Prolog
Accepts current solution
solveEnd() - Method in class alice.tuprologx.runtime.corba._PrologStub
 
solveEnd() - Method in class alice.tuprologx.runtime.corba.PrologImpl
 
solveEnd() - Method in interface alice.tuprologx.runtime.corba.PrologOperations
 
solveEnd() - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
solveEnd() - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
solveEnd() - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
solveEnd(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
solveEnd() - Method in class alice.tuprologx.runtime.tcp.Proxy
 
solveHalt() - Method in class alice.tuprolog.EngineManager
 
solveHalt() - Method in class alice.tuprolog.EngineRunner
Halts current solve computation
solveHalt() - Method in interface alice.tuprolog.interfaces.IProlog
Halts current solve computation
solveHalt() - Method in class alice.tuprolog.Prolog
Halts current solve computation
solveHalt() - Method in class alice.tuprologx.runtime.corba._PrologStub
 
solveHalt() - Method in class alice.tuprologx.runtime.corba.PrologImpl
 
solveHalt() - Method in interface alice.tuprologx.runtime.corba.PrologOperations
 
solveHalt() - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
solveHalt() - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
solveHalt() - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
solveHalt(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
solveHalt() - Method in class alice.tuprologx.runtime.tcp.Proxy
 
SolveInfo - Class in alice.tuprolog
SolveInfo class represents the result of a solve request made to the engine, providing information about the solution
SolveInfo - Class in alice.tuprologx.runtime.corba
org/alice/tuprologx/runtime/corba/SolveInfo.java Generated by the IDL-to-Java compiler (portable), version "3.0" from org/alice/tuprologx/runtime/corba/Prolog.idl venerd?
SolveInfo() - Constructor for class alice.tuprologx.runtime.corba.SolveInfo
 
SolveInfo(boolean, String, boolean, int) - Constructor for class alice.tuprologx.runtime.corba.SolveInfo
 
SolveInfoHelper - Class in alice.tuprologx.runtime.corba
org/alice/tuprologx/runtime/corba/SolveInfoHelper.java Generated by the IDL-to-Java compiler (portable), version "3.0" from org/alice/tuprologx/runtime/corba/Prolog.idl venerd?
SolveInfoHelper() - Constructor for class alice.tuprologx.runtime.corba.SolveInfoHelper
 
SolveInfoHolder - Class in alice.tuprologx.runtime.corba
org/alice/tuprologx/runtime/corba/SolveInfoHolder.java Generated by the IDL-to-Java compiler (portable), version "3.0" from org/alice/tuprologx/runtime/corba/Prolog.idl venerd?
SolveInfoHolder() - Constructor for class alice.tuprologx.runtime.corba.SolveInfoHolder
 
SolveInfoHolder(SolveInfo) - Constructor for class alice.tuprologx.runtime.corba.SolveInfoHolder
 
solveNext() - Method in class alice.tuprolog.EngineManager
 
solveNext() - Method in class alice.tuprolog.EngineRunner
 
solveNext() - Method in interface alice.tuprolog.interfaces.IProlog
Gets next solution
solveNext() - Method in class alice.tuprolog.Prolog
Gets next solution
solveNext() - Method in class alice.tuprologx.pj.engine.PJProlog
 
solveNext() - Method in class alice.tuprologx.runtime.corba._PrologStub
 
solveNext() - Method in class alice.tuprologx.runtime.corba.PrologImpl
 
solveNext() - Method in interface alice.tuprologx.runtime.corba.PrologOperations
 
solveNext() - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
solveNext() - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
solveNext() - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
solveNext(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
solveNext() - Method in class alice.tuprologx.runtime.tcp.Proxy
 
solveString(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
solveTerm(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
solveTheoryGoal() - Method in class alice.tuprolog.TheoryManager
 
spawn() - Method in class alice.tuprolog.Agent
Starts agent execution
split(String) - Method in class alice.tuprologx.pj.model.Atom
 
spy(String) - Method in class alice.tuprolog.Prolog
Notifies a spy information event
spy(String, Engine) - Method in class alice.tuprolog.Prolog
Notifies a spy information event
spy_0() - Method in class alice.tuprolog.lib.BasicLibrary
 
SpyEvent - Class in alice.tuprolog.event
This class defines an internal event generated by the prolog core
SpyEvent(Object, String) - Constructor for class alice.tuprolog.event.SpyEvent
 
SpyEvent(Object, Engine, String) - Constructor for class alice.tuprolog.event.SpyEvent
 
SpyFrame - Class in alice.tuprologx.spyframe
GUI-Window for tracing the solving process of a prolog goal.
SpyFrame(Theory, Term) - Constructor for class alice.tuprologx.spyframe.SpyFrame
Creates the main window for spying a prolog goal finding process.
SpyListener - Interface in alice.tuprolog.event
This interface defines the method handling internal event generated by a prolog engine
sqrt_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
state - Variable in class alice.util.Automaton
method name representing state behaviour
StateBacktrack - Class in alice.tuprolog
 
StateBacktrack(EngineRunner) - Constructor for class alice.tuprolog.StateBacktrack
 
stateChanged(ChangeEvent) - Method in class alice.tuprologx.ide.ConsoleDialog
this method enable bExport JButton if the user sees a not empty table else disable it
stateChanged(ChangeEvent) - Method in class alice.tuprologx.ide.DebugAreaFrame
 
stateChanged(ChangeEvent) - Method in class alice.tuprologx.ide.TheoryTabbedPane
 
StateEnd - Class in alice.tuprolog
 
StateEnd(EngineRunner, int) - Constructor for class alice.tuprolog.StateEnd
Constructor
StateException - Class in alice.tuprolog
 
StateException(EngineRunner) - Constructor for class alice.tuprolog.StateException
 
StateGoalEvaluation - Class in alice.tuprolog
 
StateGoalEvaluation(EngineRunner) - Constructor for class alice.tuprolog.StateGoalEvaluation
 
StateGoalSelection - Class in alice.tuprolog
 
StateGoalSelection(EngineRunner) - Constructor for class alice.tuprolog.StateGoalSelection
 
StateInit - Class in alice.tuprolog
 
StateInit(EngineRunner) - Constructor for class alice.tuprolog.StateInit
 
StateRuleSelection - Class in alice.tuprolog
 
StateRuleSelection(EngineRunner) - Constructor for class alice.tuprolog.StateRuleSelection
 
StatusBar - Class in alice.tuprologx.ide
 
StatusBar() - Constructor for class alice.tuprologx.ide.StatusBar
 
stdIn - Variable in class alice.tuprolog.lib.IOLibrary
 
stdOut - Variable in class alice.tuprolog.lib.IOLibrary
 
stdOutput(String) - Method in class alice.tuprolog.Prolog
Produces an output information event
stopEngine() - Method in interface alice.tuprologx.ide.Console
 
stopEngine() - Method in class alice.tuprologx.ide.ConsoleDialog
 
stopEngine() - Method in class alice.tuprologx.ide.ConsoleManager
 
store(Term) - Method in class alice.tuprolog.TermQueue
 
Struct - Class in alice.tuprolog
Struct class represents both compound prolog term and atom term (considered as 0-arity compound).
Struct(String) - Constructor for class alice.tuprolog.Struct
Builds a Struct representing an atom
Struct(String, Term) - Constructor for class alice.tuprolog.Struct
Builds a compound, with one argument
Struct(String, Term, Term) - Constructor for class alice.tuprolog.Struct
Builds a compound, with two arguments
Struct(String, Term, Term, Term) - Constructor for class alice.tuprolog.Struct
Builds a compound, with three arguments
Struct(String, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct
Builds a compound, with four arguments
Struct(String, Term, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct
Builds a compound, with five arguments
Struct(String, Term, Term, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct
Builds a compound, with six arguments
Struct(String, Term, Term, Term, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct
Builds a compound, with seven arguments
Struct(String, Term[]) - Constructor for class alice.tuprolog.Struct
Builds a compound, with an array of arguments
Struct() - Constructor for class alice.tuprolog.Struct
Builds a structure representing an empty list
Struct(Term, Term) - Constructor for class alice.tuprolog.Struct
Builds a list providing head and tail
Struct(Term[]) - Constructor for class alice.tuprolog.Struct
Builds a list specifying the elements
structValue(Var, int) - Method in class alice.tuprolog.StateEnd
 
styles - Variable in class alice.util.jedit.TextAreaDefaults
 
styles - Variable in class alice.util.jedit.TextAreaPainter
 
sub(P2d) - Method in class alice.util.P2d
 
sub_atom_guard_5(Term, Term, Term, Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
SubGoalElement - Class in alice.tuprolog
 
SubGoalElement(Term) - Constructor for class alice.tuprolog.SubGoalElement
 
SubGoalId - Interface in alice.tuprolog
Identifier of single subGoal during the demo.
SubGoalStore - Class in alice.tuprolog
 
SubGoalStore() - Constructor for class alice.tuprolog.SubGoalStore
 
SubGoalTree - Class in alice.tuprolog
 
SubGoalTree() - Constructor for class alice.tuprolog.SubGoalTree
 
SubGoalTree(ArrayList<AbstractSubGoalTree>) - Constructor for class alice.tuprolog.SubGoalTree
 
subList(int, int) - Method in class alice.util.ReadOnlyLinkedList
 
substituteVar(Struct, ArrayList<String>, ArrayList<String>) - Method in class alice.tuprolog.StateEnd
 
success - Variable in class alice.tuprologx.runtime.corba.SolveInfo
 
sum(V2d) - Method in class alice.util.P2d
 
sum(V2d) - Method in class alice.util.V2d
 
supportedAnnotations - Static variable in class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 
supportsMultilineTokens() - Method in class alice.util.jedit.TokenMarker
Returns if the token marker supports tokens that span multiple lines.
syntax_error(EngineManager, int, int, int, Term) - Static method in class alice.tuprolog.PrologError
 
SyntaxDocument - Class in alice.util.jedit
A document implementation that can be tokenized by the syntax highlighting system.
SyntaxDocument() - Constructor for class alice.util.jedit.SyntaxDocument
 
SyntaxStyle - Class in alice.util.jedit
A simple text style class.
SyntaxStyle(Color, boolean, boolean) - Constructor for class alice.util.jedit.SyntaxStyle
Creates a new SyntaxStyle.
SyntaxUtilities - Class in alice.util.jedit
Class with several utility functions used by jEdit's syntax colorizing subsystem.
system_error(Term) - Static method in class alice.tuprolog.PrologError
 

T

tab_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
tabSize - Variable in class alice.util.jedit.TextAreaPainter
 
tcp_socket_client_open_2(Struct, Term) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
tcp_socket_client_open_2(Struct, Term) - Method in class alice.tuprolog.lib.SocketLibrary
Create a Client_Socket and connect it to a specified address.
tcp_socket_server_accept_3(Term, Term, Term) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
tcp_socket_server_accept_3(Term, Term, Term) - Method in class alice.tuprolog.lib.SocketLibrary
Accept a connection to the specified ServerSocket.
tcp_socket_server_close_1(Term) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
tcp_socket_server_close_1(Term) - Method in class alice.tuprolog.lib.SocketLibrary
Close a Server_Socket
tcp_socket_server_open_3(Struct, Term, Struct) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
tcp_socket_server_open_3(Struct, Term, Struct) - Method in class alice.tuprolog.lib.SocketLibrary
Create a ServerSocket bound to the specified Address.
tell_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
telling_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
Term - Class in alice.tuprolog
Term class is the root abstract class for prolog data type
Term() - Constructor for class alice.tuprolog.Term
 
Term<X extends Term<?>> - Class in alice.tuprologx.pj.model
 
Term() - Constructor for class alice.tuprologx.pj.model.Term
 
term2tree - Static variable in class alice.tuprologx.spyframe.TermFrame
Transforms prolog terms into trees.
term2tree - Static variable in class alice.tuprologx.spyframe.TermPanel
Transforms prolog terms into trees.
term_equality_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
term_greater_than_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
term_less_than_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
TermFrame - Class in alice.tuprologx.spyframe
GUI-Window containing a TermComponent that displays a prolog term.
TermFrame(Term) - Constructor for class alice.tuprologx.spyframe.TermFrame
Constructs a new TermFrame.
Termifiable - Annotation Type in alice.tuprologx.pj.annotations
 
TermKind - Enum in alice.tuprologx.pj.engine
 
TermPanel - Class in alice.tuprologx.spyframe
GUI-Window containing a TermComponent that displays a prolog term.
TermPanel(Term) - Constructor for class alice.tuprologx.spyframe.TermPanel
Constructs a new TermFrame.
TermQueue - Class in alice.tuprolog
 
TermQueue() - Constructor for class alice.tuprolog.TermQueue
 
termSolve(String) - Method in class alice.tuprolog.Prolog
 
TermVisitor - Interface in alice.tuprolog
 
Test - Class in alice.tuprologx.runtime.corba
 
Test() - Constructor for class alice.tuprologx.runtime.corba.Test
 
Test - Class in alice.tuprologx.runtime.rmi
 
Test() - Constructor for class alice.tuprologx.runtime.rmi.Test
 
Test - Class in alice.tuprologx.runtime.tcp
 
Test() - Constructor for class alice.tuprologx.runtime.tcp.Test
 
text - Variable in class alice.tuprologx.spyframe.Node
The displayed text of the node.
text_concat_3(Term, Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
text_from_file_2(Term, Term) - Method in class alice.tuprolog.lib.IOLibrary
reads a source text from a file.
text_term_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
bidirectional text/term conversion.
textArea - Variable in class alice.util.jedit.TextAreaPainter
 
TextAreaDefaults - Class in alice.util.jedit
Encapsulates default settings for a text area.
TextAreaDefaults() - Constructor for class alice.util.jedit.TextAreaDefaults
 
TextAreaPainter - Class in alice.util.jedit
The text area repaint manager.
TextAreaPainter(JEditTextArea, TextAreaDefaults) - Constructor for class alice.util.jedit.TextAreaPainter
Creates a new repaint manager.
TextAreaPainter.Highlight - Interface in alice.util.jedit
Highlight interface.
TextAreaRenderer - Class in alice.tuprologx.ide
 
TextAreaRenderer(boolean[], boolean[]) - Constructor for class alice.tuprologx.ide.TextAreaRenderer
 
textcolor - Variable in class alice.tuprologx.spyframe.Node
 
textheight - Variable in class alice.tuprologx.spyframe.Tree
Height of text in a node.
TextUtilities - Class in alice.util.jedit
Class with several utility functions used by the text area component.
TextUtilities() - Constructor for class alice.util.jedit.TextUtilities
 
Theory - Class in alice.tuprolog
This class represents prolog theory which can be provided to a prolog engine.
Theory(InputStream) - Constructor for class alice.tuprolog.Theory
Creates a theory getting its source text from an input stream
Theory(String) - Constructor for class alice.tuprolog.Theory
Creates a theory from its source text
Theory(Struct) - Constructor for class alice.tuprolog.Theory
Creates a theory from a clause list
Theory - Class in alice.tuprologx.pj.model
 
Theory(Collection<Clause<?, ?>>) - Constructor for class alice.tuprologx.pj.model.Theory
Creates a new instance of Theory
Theory(String) - Constructor for class alice.tuprologx.pj.model.Theory
 
Theory(String[]) - Constructor for class alice.tuprologx.pj.model.Theory
 
theoryChanged(TheoryEvent) - Method in class alice.tuprolog.event.PrologEventAdapter
 
theoryChanged(TheoryEvent) - Method in interface alice.tuprolog.event.PrologEventListener
 
theoryChanged(TheoryEvent) - Method in interface alice.tuprolog.event.TheoryListener
 
TheoryEditor - Class in alice.tuprologx.ide
 
TheoryEditor(IDE) - Constructor for class alice.tuprologx.ide.TheoryEditor
 
TheoryEvent - Class in alice.tuprolog.event
This class represents events occurring in theory management.
TheoryEvent(Prolog, Theory, Theory) - Constructor for class alice.tuprolog.event.TheoryEvent
 
TheoryFilter - Class in alice.tuprologx.pj.engine
 
TheoryFilter(Theory, Theory) - Constructor for class alice.tuprologx.pj.engine.TheoryFilter
Creates a new instance of TheoryFilter
TheoryFilter(Theory, String) - Constructor for class alice.tuprologx.pj.engine.TheoryFilter
 
TheoryLibrary - Class in alice.tuprolog.lib
Library built from Prolog theory.
TheoryLibrary(String, Theory) - Constructor for class alice.tuprolog.lib.TheoryLibrary
 
TheoryListener - Interface in alice.tuprolog.event
Listener for theory events
TheoryManager - Class in alice.tuprolog
This class defines the Theory Manager who manages the clauses/theory often referred to as the Prolog database.
TheoryManager() - Constructor for class alice.tuprolog.TheoryManager
 
TheoryTabbedPane - Class in alice.tuprologx.ide
 
TheoryTabbedPane() - Constructor for class alice.tuprologx.ide.TheoryTabbedPane
 
thread_create_2(Term, Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_detach_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_get_msg_2(Term, Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_has_next_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_id_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_join_2(Term, Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_next_sol_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_peek_msg_2(Term, Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_read_2(Term, Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_remove_msg_2(Term, Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_send_msg_2(Term, Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_sleep_1(Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
thread_wait_msg_2(Term, Term) - Method in class alice.tuprolog.lib.ThreadLibrary
 
threadCreate(Term, Term) - Method in class alice.tuprolog.EngineManager
 
ThreadLibrary - Class in alice.tuprolog.lib
 
ThreadLibrary() - Constructor for class alice.tuprolog.lib.ThreadLibrary
 
throw_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
TK_AT - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_BRA_CLOSE - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_BRA_OPEN - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_COMMA - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_GROUND - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_IDENT - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_INOUT - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_MINUS - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_PAR_CLOSE - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_PAR_OPEN - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_PLUS - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_RET - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
TK_UNKNOWN - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
toArray() - Method in class alice.util.ReadOnlyLinkedList
 
toArray(T[]) - Method in class alice.util.ReadOnlyLinkedList
 
toCharList() - Method in class alice.tuprologx.pj.model.Atom
 
TOGGLE_RECT - Static variable in class alice.util.jedit.InputHandler
 
toJava() - Method in class alice.tuprologx.pj.model.Atom
 
toJava() - Method in class alice.tuprologx.pj.model.Bool
 
toJava() - Method in class alice.tuprologx.pj.model.Cons
 
toJava() - Method in class alice.tuprologx.pj.model.Double
 
toJava() - Method in class alice.tuprologx.pj.model.Int
 
toJava() - Method in class alice.tuprologx.pj.model.JavaObject
 
toJava() - Method in class alice.tuprologx.pj.model.JavaTerm
 
toJava() - Method in class alice.tuprologx.pj.model.List
 
toJava() - Method in class alice.tuprologx.pj.model.Nil
 
toJava() - Method in class alice.tuprologx.pj.model.Term
 
toJava() - Method in class alice.tuprologx.pj.model.Var
 
Token - Class in alice.util.jedit
A linked list of tokens.
Token(int, byte) - Constructor for class alice.util.jedit.Token
Creates a new token.
token - Variable in class alice.util.jedit.TokenMarker.LineInfo
The id of the last token of the line.
tokenize(StringTokenizer) - Static method in class alice.tuprologx.pj.model.List
 
tokenizeLines() - Method in class alice.util.jedit.SyntaxDocument
Reparses the document, by passing all lines to the token marker.
tokenizeLines(int, int) - Method in class alice.util.jedit.SyntaxDocument
Reparses the document, by passing the specified lines to the token marker.
Tokenizer - Class in alice.tuprolog
BNF for tuProlog part 1: Lexer digit ::= 0 .. 9 lc_letter ::= a .. z uc_letter ::= A ..
Tokenizer(String) - Constructor for class alice.tuprolog.Tokenizer
 
Tokenizer(Reader) - Constructor for class alice.tuprolog.Tokenizer
creating a tokenizer for the source stream
Tokenizer - Class in alice.tuprologx.pj.annotations.parser
 
tokenMarker - Variable in class alice.util.jedit.SyntaxDocument
 
TokenMarker - Class in alice.util.jedit
A token marker that splits lines of text into tokens.
TokenMarker() - Constructor for class alice.util.jedit.TokenMarker
Creates a new TokenMarker.
TokenMarker.LineInfo - Class in alice.util.jedit
Inner class for storing information about tokenized lines.
TokenMarker.LineInfo() - Constructor for class alice.util.jedit.TokenMarker.LineInfo
Creates a new LineInfo object with token = Token.NULL and obj = null.
TokenMarker.LineInfo(byte, Object) - Constructor for class alice.util.jedit.TokenMarker.LineInfo
Creates a new LineInfo object with the specified parameters.
tokenOffset() - Method in class alice.tuprolog.Tokenizer
 
tokens - Static variable in class alice.tuprologx.pj.annotations.parser.Tokenizer
 
tokenStart() - Method in class alice.tuprolog.Tokenizer
 
told_0() - Method in class alice.tuprolog.lib.IOLibrary
 
ToolBar - Class in alice.tuprologx.ide
 
ToolBar(IDE, JFrame) - Constructor for class alice.tuprologx.ide.ToolBar
 
Tools - Class in alice.util
miscellaneous static services
Tools() - Constructor for class alice.util.Tools
 
toString() - Method in class alice.tuprolog.ChoicePointContext
 
toString() - Method in class alice.tuprolog.ChoicePointStore
Cut at defined depth (toDepth)
toString(OperatorManager) - Method in class alice.tuprolog.ClauseInfo
Gets the string representation recognizing operators stored by the operator manager
toString() - Method in class alice.tuprolog.ClauseInfo
Gets the string representation with default operator representation
toString() - Method in class alice.tuprolog.ClauseStore
 
toString() - Method in class alice.tuprolog.Client_Socket
 
toString() - Method in class alice.tuprolog.Datagram_Socket
 
toString() - Method in class alice.tuprolog.DefaultSubGoalId
 
toString() - Method in class alice.tuprolog.Double
 
toString() - Method in class alice.tuprolog.Engine
 
toString() - Method in class alice.tuprolog.event.SpyEvent
 
toString() - Method in class alice.tuprolog.ExecutionContext
 
toString() - Method in class alice.tuprolog.Float
 
toString() - Method in class alice.tuprolog.Int
 
toString(Term) - Method in interface alice.tuprolog.interfaces.IProlog
Gets the string representation of a term, using operators currently defined by engine
toString() - Method in exception alice.tuprolog.InvalidLibraryException
 
toString() - Method in class alice.tuprolog.Long
 
toString() - Method in class alice.tuprolog.PrimitiveInfo
 
toString(Term) - Method in class alice.tuprolog.Prolog
Gets the string representation of a term, using operators currently defined by engine
toString() - Method in class alice.tuprolog.PrologError
 
toString() - Method in class alice.tuprolog.Server_Socket
 
toString() - Method in class alice.tuprolog.SolveInfo
Returns the string representation of the result of the demonstration.
toString() - Method in class alice.tuprolog.StateEnd
 
toString() - Method in class alice.tuprolog.Struct
Gets the string representation of this structure Specific representations are provided for lists and atoms.
toString() - Method in class alice.tuprolog.SubGoalElement
 
toString() - Method in class alice.tuprolog.SubGoalStore
 
toString() - Method in class alice.tuprolog.SubGoalTree
 
toString() - Method in class alice.tuprolog.Theory
 
toString() - Method in class alice.tuprolog.Var
Gets the string representation of this variable.
toString() - Method in class alice.tuprologx.ide.LibraryManager
 
toString() - Method in class alice.tuprologx.pj.annotations.parser.PrologTree.PredicateExpr
 
toString() - Method in class alice.tuprologx.pj.annotations.parser.PrologTree.SignatureExpr
 
toString() - Method in class alice.tuprologx.pj.annotations.parser.PrologTree.VariableExpr
 
toString() - Method in class alice.tuprologx.pj.model.Atom
 
toString() - Method in class alice.tuprologx.pj.model.Bool
 
toString() - Method in class alice.tuprologx.pj.model.Clause
 
toString() - Method in class alice.tuprologx.pj.model.Cons
 
toString() - Method in class alice.tuprologx.pj.model.Double
 
toString() - Method in class alice.tuprologx.pj.model.Int
 
toString() - Method in class alice.tuprologx.pj.model.JavaObject
 
toString() - Method in class alice.tuprologx.pj.model.JavaTerm
 
toString() - Method in class alice.tuprologx.pj.model.List
 
toString() - Method in class alice.tuprologx.pj.model.Var
 
toString() - Method in class alice.util.jedit.SyntaxStyle
Returns a string representation of this object.
toString() - Method in class alice.util.jedit.Token
Returns a string representation of this token.
toString() - Method in class alice.util.OneWayList
 
toString() - Method in class alice.util.P2d
 
toString() - Method in class alice.util.V2d
 
toStringFlattened() - Method in class alice.tuprolog.Var
Gets the string representation of this variable, providing the string representation of the linked term in the case of bound variable
toTerm(String) - Method in class alice.tuprolog.Prolog
Gets a term from a string, using the operators currently defined by the engine
ToTree<T> - Interface in alice.tuprologx.spyframe
Defines the construction of a tree.
totree - Variable in class alice.tuprologx.spyframe.Tree
The totree to consult for constructing the tree.
TRACE - Annotation Type in alice.tuprologx.pj.annotations
 
trace_0() - Method in class alice.tuprolog.lib.BasicLibrary
 
transform(List<T>) - Static method in class alice.util.OneWayList
 
transform2(List<T>) - Static method in class alice.util.OneWayList
Transforms given list into a OneWayList without any modification to it Method introduced during revision by Paolo Contessi
translateFromPrimitive(Class<?>) - Static method in class alice.util.InspectionUtils
If this specified class represents a primitive type (int, float, etc.) then it is translated into its wrapper type (Integer, Float, etc.).
Tree<T> - Class in alice.tuprologx.spyframe
Representation of a tree with spacing.
Tree(ToTree<T>) - Constructor for class alice.tuprologx.spyframe.Tree
Creates a component to display a tree.
Tree(ToTree<T>, T) - Constructor for class alice.tuprologx.spyframe.Tree
Creates a component to display a tree.
TRUE - Static variable in class alice.tuprolog.EngineRunner
 
TRUE - Static variable in class alice.tuprolog.Term
 
true_0() - Method in class alice.tuprolog.BuiltIn
 
TRUE_CP - Static variable in class alice.tuprolog.EngineRunner
 
truncate_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
 
type - Variable in class alice.tuprolog.Operator
type(xf,yf,fx,fy,xfx,xfy,yfy,yfx
type() - Static method in class alice.tuprologx.runtime.corba.PrologHelper
 
type() - Static method in class alice.tuprologx.runtime.corba.SolveInfoHelper
 
type_error(EngineManager, int, String, Term) - Static method in class alice.tuprolog.PrologError
 

U

udp_receive(Term, Term, Struct, Struct) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
udp_receive(Term, Term, Struct, Struct) - Method in class alice.tuprolog.lib.SocketLibrary
 
udp_send_3(Term, Term, Struct) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
udp_send_3(Term, Term, Struct) - Method in class alice.tuprolog.lib.SocketLibrary
 
udp_socket_close_1(Term) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
udp_socket_close_1(Term) - Method in class alice.tuprolog.lib.SocketLibrary
 
udp_socket_open_2(Struct, Term) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
udp_socket_open_2(Struct, Term) - Method in class alice.tuprolog.lib.SocketLibrary
 
undo() - Method in class alice.tuprologx.ide.TheoryEditor
Undo last action in the Edit Area.
undoAction() - Method in class alice.tuprologx.ide.JavaEditArea
 
UnexpectedEndOfExpressionException - Exception in alice.tuprologx.pj.annotations.parser
 
UnexpectedEndOfExpressionException(Exception) - Constructor for exception alice.tuprologx.pj.annotations.parser.UnexpectedEndOfExpressionException
 
unify(Term, Term) - Method in class alice.tuprolog.Library
tries to unify two terms The runtime (demonstration) context currently used by the engine is deployed and altered.
unify(Term, Term) - Method in class alice.tuprolog.Prolog
Unifies two terms using current demonstration context.
unify(Prolog, Term) - Method in class alice.tuprolog.Term
Try to unify two terms
unify_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
 
UnknownVarException - Exception in alice.tuprolog
This exception means that a not well formed goal has been specified.
UnknownVarException() - Constructor for exception alice.tuprolog.UnknownVarException
 
unload_library_1(Term) - Method in class alice.tuprolog.BuiltIn
 
unloadExternalLibrary(String) - Method in class alice.tuprologx.ide.LibraryManager
 
unloadLibrary(String) - Method in interface alice.tuprolog.interfaces.IProlog
Unloads a previously loaded library
unloadLibrary(String) - Method in class alice.tuprolog.LibraryManager
Unloads a previously loaded library
unloadLibrary(String) - Method in class alice.tuprolog.Prolog
Unloads a previously loaded library
unloadLibrary(String) - Method in class alice.tuprologx.ide.LibraryManager
Unload a library from the Library Manager out of the engine.
unloadLibrary(String) - Method in class alice.tuprologx.runtime.corba._PrologStub
 
unloadLibrary(String) - Method in class alice.tuprologx.runtime.corba.PrologImpl
 
unloadLibrary(String) - Method in interface alice.tuprologx.runtime.corba.PrologOperations
 
unloadLibrary(String) - Method in interface alice.tuprologx.runtime.rmi.Prolog
 
unloadLibrary(String) - Method in class alice.tuprologx.runtime.rmi.PrologImpl
 
unloadLibrary(String) - Method in interface alice.tuprologx.runtime.tcp.Prolog
 
unloadLibrary(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
 
unloadLibrary(String) - Method in class alice.tuprologx.runtime.tcp.Proxy
 
unlockAll() - Method in class alice.tuprolog.EngineManager
 
unmarshal(Term) - Static method in class alice.tuprologx.pj.model.Term
 
unmarshal(Theory) - Static method in class alice.tuprologx.pj.model.Theory
 
unmarshal_2(Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
unmarshal_method_2(Term, Term) - Method in class alice.tuprologx.pj.lib.PJLibraryNew
 
unregister(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
Unregisters an object, given its identifier
unregister(Struct) - Method in class alice.tuprologx.pj.lib.PJLibrary
Unregisters an object, given its identifier
unregister_1(Term) - Method in class alice.tuprolog.lib.JavaLibrary
Unregister an object with the specified id.
unregisterDynamic(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
Unregister the object, only for dynamic case
unregisterDynamic(Struct) - Method in class alice.tuprologx.pj.lib.PJLibrary
Unregister the object, only for dynamic case
updateBracketHighlight(int) - Method in class alice.util.jedit.JEditTextArea
 
updateScrollBars() - Method in class alice.util.jedit.JEditTextArea
Updates the state of the scroll bars.
useCache - Static variable in class alice.tuprologx.pj.engine.J2PProxyFactory
If true, a generated proxy class is cached and it will be reused when generating the proxy class with the same properties is requested.
UserContextInputStream - Class in alice.tuprolog.lib
 
UserContextInputStream() - Constructor for class alice.tuprolog.lib.UserContextInputStream
 

V

V2d - Class in alice.util
2-dimensional vector objects are completely state-less
V2d(float, float) - Constructor for class alice.util.V2d
 
value - Variable in class alice.tuprologx.runtime.corba.PrologHolder
 
value - Variable in class alice.tuprologx.runtime.corba.SolveInfoHolder
 
valueOf(String) - Static method in enum alice.tuprologx.pj.engine.PrologInvocationKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum alice.tuprologx.pj.engine.TermKind
Returns the enum constant of this type with the specified name.
values() - Static method in enum alice.tuprologx.pj.engine.PrologInvocationKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum alice.tuprologx.pj.engine.TermKind
Returns an array containing the constants of this enum type, in the order they are declared.
Var - Class in alice.tuprolog
This class represents a variable term.
Var(String) - Constructor for class alice.tuprolog.Var
Creates a variable identified by a name.
Var() - Constructor for class alice.tuprolog.Var
Creates an anonymous variable This is equivalent to build a variable with name _
Var<X extends Term<?>> - Class in alice.tuprologx.pj.model
 
Var(String) - Constructor for class alice.tuprologx.pj.model.Var
 
var_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
 
variables - Variable in class alice.tuprologx.pj.annotations.parser.PrologTree.PredicateExpr
 
varValue(Var) - Method in class alice.tuprolog.StateEnd
 
varValue2(Var) - Method in class alice.tuprolog.StateEnd
 
VERIFY_RBTREE - Static variable in class alice.tuprolog.RBTree
 
verifyProperties() - Method in class alice.tuprolog.RBTree
 
VersionInfo - Class in alice.util
 
VersionInfo() - Constructor for class alice.util.VersionInfo
 
vertical - Variable in class alice.util.jedit.JEditTextArea
 
viewAboutInformation() - Method in class alice.tuprologx.ide.ToolBar
Display an About dialog with information on the system and its crafters.
viewDebugInformation() - Method in class alice.tuprologx.ide.ToolBar
Show an instance of the debug area referenced by the toolbar in order to display debug informations.
visibleLines - Variable in class alice.util.jedit.JEditTextArea
 
visit(Struct) - Method in interface alice.tuprolog.TermVisitor
 
visit(Var) - Method in interface alice.tuprolog.TermVisitor
 
visit(Number) - Method in interface alice.tuprolog.TermVisitor
 
visitExecutable(ExecutableElement, Void) - Method in class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 
visitType(TypeElement, Void) - Method in class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 
visitVariable(VariableElement, Void) - Method in class alice.tuprologx.pj.annotations.processing.PJAnnotationProcessor
 

W

w - Variable in class alice.tuprologx.spyframe.Node
The node's width including the border.
wait(Term, Prolog, EngineRunner) - Method in class alice.tuprolog.TermQueue
 
waitMsg(int, Term) - Method in class alice.tuprolog.EngineManager
 
waitMsg(String, Term) - Method in class alice.tuprolog.EngineManager
 
waitMsg(Term) - Method in class alice.tuprolog.EngineRunner
 
warn(String) - Method in class alice.tuprolog.Prolog
Notifies a warn information event
WARN_SELECT_IGNORED - Static variable in interface alice.tuprologx.pj.annotations.processing.ProcessorMessages
 
warning_0() - Method in class alice.tuprolog.lib.BasicLibrary
 
WarningEvent - Class in alice.tuprolog.event
This class defines an event defining a warning emitted by a prolog engine
WarningEvent(Object, String) - Constructor for class alice.tuprolog.event.WarningEvent
 
WarningListener - Interface in alice.tuprolog.event
This interface defines the method handling a warning generated by a prolog engine
WithTermifiable - Annotation Type in alice.tuprologx.pj.annotations
 
write(OutputStream, Prolog) - Static method in class alice.tuprologx.runtime.corba.PrologHelper
 
write(OutputStream, SolveInfo) - Static method in class alice.tuprologx.runtime.corba.SolveInfoHelper
 
write_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
write_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
write_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
write_base_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
 
write_canonical_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
write_canonical_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
write_iso_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
write_term_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
write_term_3(Term, Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
write_to_socket_2(Term, Term) - Method in interface alice.tuprolog.interfaces.ISocketLib
 
write_to_socket_2(Term, Term) - Method in class alice.tuprolog.lib.SocketLibrary
Send Msg through the socket Socket.
writeDirectory - Variable in class alice.tuprologx.pj.engine.J2PProxyFactory
If the value of this variable is not null, the class file of the generated proxy class is written under the directory specified by this variable.
writeq_1(Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 
writeq_2(Term, Term) - Method in class alice.tuprolog.lib.ISOIOLibrary
 

X

x - Variable in class alice.tuprologx.spyframe.Node
Coordinates of the node's upper left edge (including border).
x - Variable in class alice.util.P2d
 
x - Variable in class alice.util.V2d
 
xShift(float) - Method in class alice.tuprologx.spyframe.Node
Shifts horizontally the subtree the root of which is this.
xspace - Variable in class alice.tuprologx.spyframe.Tree
Horizontal space between neighboring nodes.
xToOffset(int, int) - Method in class alice.util.jedit.JEditTextArea
Converts an x co-ordinate to an offset within a line.
xyToOffset(int, int) - Method in class alice.util.jedit.JEditTextArea
Converts a point to an offset, from the start of the text.

Y

y - Variable in class alice.tuprologx.spyframe.Node
Coordinates of the node's upper left edge (including border).
y - Variable in class alice.util.P2d
 
y - Variable in class alice.util.V2d
 
yspace - Variable in class alice.tuprologx.spyframe.Tree
Vertical space between neighboring nodes.
yToLine(int) - Method in class alice.util.jedit.JEditTextArea
Converts a y co-ordinate to a line index.

_

_engine - Variable in class alice.tuprologx.pj.engine.TheoryFilter
 
_filter - Variable in class alice.tuprologx.pj.engine.TheoryFilter
 
_ids() - Method in class alice.tuprologx.runtime.corba._PrologImplBase
 
_ids() - Method in class alice.tuprologx.runtime.corba._PrologStub
 
_invoke(String, InputStream, ResponseHandler) - Method in class alice.tuprologx.runtime.corba._PrologImplBase
 
_offsetToX(int, int) - Method in class alice.util.jedit.JEditTextArea
Converts an offset in a line into an x co-ordinate.
_PrologImplBase - Class in alice.tuprologx.runtime.corba
org/alice/tuprologx/runtime/corba/_PrologImplBase.java Generated by the IDL-to-Java compiler (portable), version "3.0" from org/alice/tuprologx/runtime/corba/Prolog.idl venerd?
_PrologImplBase() - Constructor for class alice.tuprologx.runtime.corba._PrologImplBase
 
_PrologStub - Class in alice.tuprologx.runtime.corba
org/alice/tuprologx/runtime/corba/_PrologStub.java Generated by the IDL-to-Java compiler (portable), version "3.0" from org/alice/tuprologx/runtime/corba/Prolog.idl venerd?
_PrologStub() - Constructor for class alice.tuprologx.runtime.corba._PrologStub
 
_PrologStub(Delegate) - Constructor for class alice.tuprologx.runtime.corba._PrologStub
 
_read(InputStream) - Method in class alice.tuprologx.runtime.corba.PrologHolder
 
_read(InputStream) - Method in class alice.tuprologx.runtime.corba.SolveInfoHolder
 
_theList - Variable in class alice.tuprologx.pj.model.List
 
_theory - Variable in class alice.tuprologx.pj.engine.TheoryFilter
 
_type() - Method in class alice.tuprologx.runtime.corba.PrologHolder
 
_type() - Method in class alice.tuprologx.runtime.corba.SolveInfoHolder
 
_write(OutputStream) - Method in class alice.tuprologx.runtime.corba.PrologHolder
 
_write(OutputStream) - Method in class alice.tuprologx.runtime.corba.SolveInfoHolder
 
$ A B C D E F G H I J K L M N O P Q R S T U V W X Y _