- 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(char[], int, int, int, int, boolean) - Method in class alice.tuprologx.ide.PrologTokenMaker2
-
Adds the token specified to the current linked list of tokens.
- 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.tuprologtre - package alice.tuprologtre
-
- 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
-
- alice.util.proxyGenerator - package alice.util.proxyGenerator
-
- 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(Integer, Integer) - Method in class alice.tuprologtre.MyIntegerBiFunction
-
- apply(String, String) - Method in class alice.tuprologtre.MyStringBiFunction
-
- apply() - Method in class alice.tuprologx.pj.engine.TheoryFilter
-
- applyAsDouble(Integer, Integer) - Method in class alice.tuprologtre.MydoubleBiFunction
-
- 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
-
- generateFreshId() - Method in class alice.tuprolog.lib.OOLibrary
-
Generates a fresh numeric identifier
- generateFreshId() - Method in class alice.tuprologx.pj.lib.PJLibrary
-
Generates a fresh numeric identifier
- Generator - Class in alice.util.proxyGenerator
-
- Generator() - Constructor for class alice.util.proxyGenerator.Generator
-
- 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.OOLibrary
-
- 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
-
- getAge() - Method in class alice.tuprologtre.Person
-
- 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
-
- getGender() - Method in class alice.tuprologtre.Person
-
- 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
-
- getLineCommentStartAndEnd(int) - Method in class alice.tuprologx.ide.PrologTokenMaker2
- 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.tuprologtre.Person
-
- 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.OOLibrary
-
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.OOLibrary
-
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
-
- getSurname() - Method in class alice.tuprologtre.Person
-
- 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.OOLibrary
-
- 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.
- getTokenList(Segment, int, int) - Method in class alice.tuprologx.ide.PrologTokenMaker2
-
Returns the first token in the linked list of tokens generated
from text
.
- 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
-
- 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_word - Class in alice.util.jedit
-
- InputHandler.copy - Class in alice.util.jedit
-
- InputHandler.cut - Class in alice.util.jedit
-
- InputHandler.delete - Class in alice.util.jedit
-
- InputHandler.delete_word - Class in alice.util.jedit
-
- InputHandler.document_end - Class in alice.util.jedit
-
- InputHandler.document_home - Class in alice.util.jedit
-
- InputHandler.end - Class in alice.util.jedit
-
- InputHandler.home - Class in alice.util.jedit
-
- InputHandler.insert_break - Class in alice.util.jedit
-
- InputHandler.insert_char - Class in alice.util.jedit
-
- InputHandler.insert_tab - Class in alice.util.jedit
-
- InputHandler.MacroRecorder - Interface in alice.util.jedit
-
Macro recorder.
- InputHandler.next_char - Class in alice.util.jedit
-
- InputHandler.next_line - Class in alice.util.jedit
-
- InputHandler.next_page - Class in alice.util.jedit
-
- InputHandler.next_word - Class in alice.util.jedit
-
- 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.paste - Class in alice.util.jedit
-
- InputHandler.prev_char - Class in alice.util.jedit
-
- InputHandler.prev_line - Class in alice.util.jedit
-
- InputHandler.prev_page - Class in alice.util.jedit
-
- InputHandler.prev_word - Class in alice.util.jedit
-
- InputHandler.repeat - Class in alice.util.jedit
-
- InputHandler.toggle_rect - Class in alice.util.jedit
-
- 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_break() - Constructor for class alice.util.jedit.InputHandler.insert_break
-
- INSERT_CHAR - Static variable in class alice.util.jedit.InputHandler
-
- insert_char() - Constructor for class alice.util.jedit.InputHandler.insert_char
-
- INSERT_TAB - Static variable in class alice.util.jedit.InputHandler
-
- insert_tab() - Constructor for class alice.util.jedit.InputHandler.insert_tab
-
- 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
-
- 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
-
- isDouble() - Method in class alice.tuprolog.Float
-
- isDouble() - Method in class alice.tuprolog.Int
-
- isDouble() - Method in class alice.tuprolog.Long
-
- isDouble() - Method in class alice.tuprolog.Number
-
- 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
-
- isFloat() - Method in class alice.tuprolog.Float
-
- isFloat() - Method in class alice.tuprolog.Int
-
- isFloat() - Method in class alice.tuprolog.Long
-
- isFloat() - Method in class alice.tuprolog.Number
-
- 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
-
- isInt() - Method in class alice.tuprolog.Float
-
- isInt() - Method in class alice.tuprolog.Int
-
- isInt() - Method in class alice.tuprolog.Long
-
- isInt() - Method in class alice.tuprolog.Number
-
- 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
-
- isLong() - Method in class alice.tuprolog.Float
-
- isLong() - Method in class alice.tuprolog.Int
-
- isLong() - Method in class alice.tuprolog.Long
-
- isLong() - Method in class alice.tuprolog.Number
-
- 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
-
- 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
-
- 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
-
- isTypeDouble() - Method in class alice.tuprolog.Float
-
- isTypeDouble() - Method in class alice.tuprolog.Int
-
- isTypeDouble() - Method in class alice.tuprolog.Long
-
- isTypeDouble() - Method in class alice.tuprolog.Number
-
- isTypeFloat() - Method in class alice.tuprolog.Double
-
- isTypeFloat() - Method in class alice.tuprolog.Float
-
- isTypeFloat() - Method in class alice.tuprolog.Int
-
- isTypeFloat() - Method in class alice.tuprolog.Long
-
- isTypeFloat() - Method in class alice.tuprolog.Number
-
- isTypeInt() - Method in class alice.tuprolog.Double
-
- isTypeInt() - Method in class alice.tuprolog.Float
-
- isTypeInt() - Method in class alice.tuprolog.Int
-
- isTypeInt() - Method in class alice.tuprolog.Long
-
- isTypeInt() - Method in class alice.tuprolog.Number
-
- isTypeLong() - Method in class alice.tuprolog.Double
-
- isTypeLong() - Method in class alice.tuprolog.Float
-
- isTypeLong() - Method in class alice.tuprolog.Int
-
- isTypeLong() - Method in class alice.tuprolog.Long
-
- isTypeLong() - Method in class alice.tuprolog.Number
-
- 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
-
- 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
-
- 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.
- LineInfo() - Constructor for class alice.util.jedit.TokenMarker.LineInfo
-
Creates a new LineInfo object with token = Token.NULL
and obj = null.
- LineInfo(byte, Object) - Constructor for class alice.util.jedit.TokenMarker.LineInfo
-
Creates a new LineInfo object with the specified
parameters.
- 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
-
- 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
-
- 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() - Constructor for class alice.util.jedit.InputHandler.paste
-
- 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
-
- Person - Class in alice.tuprologtre
-
- Person() - Constructor for class alice.tuprologtre.Person
-
- Person(String, String) - Constructor for class alice.tuprologtre.Person
-
- Person(String, String, String, int) - Constructor for class alice.tuprologtre.Person
-
- 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.OOLibrary
-
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_char(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_char
-
- PREV_LINE - Static variable in class alice.util.jedit.InputHandler
-
- prev_line(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_line
-
- PREV_PAGE - Static variable in class alice.util.jedit.InputHandler
-
- prev_page(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_page
-
- PREV_WORD - Static variable in class alice.util.jedit.InputHandler
-
- prev_word(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_word
-
- 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
-
- PrologTokenMaker2 - Class in alice.tuprologx.ide
-
Generated with TokenMakerMaker
- PrologTokenMaker2() - Constructor for class alice.tuprologx.ide.PrologTokenMaker2
-
Constructor.
- PrologTokenMaker2(Reader) - Constructor for class alice.tuprologx.ide.PrologTokenMaker2
-
Creates a new scanner
There is also a java.io.InputStream version of this constructor.
- PrologTokenMaker2(InputStream) - Constructor for class alice.tuprologx.ide.PrologTokenMaker2
-
Creates a new scanner.
- 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
-
- 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.OOLibrary
-
Register an object with the specified id.
- register(Object) - Method in class alice.tuprolog.lib.OOLibrary
-
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.OOLibrary
-
Register an object with the specified id.
- registerDynamic(Struct, Object) - Method in class alice.tuprolog.lib.OOLibrary
-
Registers an object only for the running query life-time
- registerDynamic(Object) - Method in class alice.tuprolog.lib.OOLibrary
-
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
-
- repeat() - Constructor for class alice.util.jedit.InputHandler.repeat
-
- 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
-
- 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.OOLibrary
-
- 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
-
- STRING - Static variable in class alice.tuprologx.ide.PrologTokenMaker2
-
- 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
-
- 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(Person) - Method in class alice.tuprologtre.MyPersonPredicate
-
- test(String) - Method in class alice.tuprologtre.MyPredicate
-
- 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(CompletionProvider) - 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
-
- toggle_rect() - Constructor for class alice.util.jedit.InputHandler.toggle_rect
-
- 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.
- 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.tuprologtre.Person
-
- 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
-