- abolish(Struct) - Method in class alice.tuprolog.TheoryManager
-
removing from dbase the first clause with head unifying with clause
(m if a free substitution index and t is the first free timestamp)
- abolish_1(Term) - Method in class alice.tuprolog.BuiltIn
-
- abs() - Method in class alice.util.V2d
-
- abs_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
-
- AbstractSubGoalTree - Class in alice.tuprolog
-
- AbstractSubGoalTree() - Constructor for class alice.tuprolog.AbstractSubGoalTree
-
- acceptSolution() - Method in class alice.tuprologx.ide.ThinletConsole
-
Accept the found solution to the current goal, showing it on the console
and closing all the possible open alternatives.
- 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(Object) - Method in class alice.tuprolog.hgdb.PrologNode
-
- add(Object, HGHandle, int) - Method in class alice.tuprolog.hgdb.PrologNode
-
- add(String, byte) - Method in class alice.util.jedit.KeywordMap
-
Adds a key-value mapping.
- add(Object) - Method in class alice.util.thinlet.Thinlet
-
Adds the specified component to the root desktop
- add(Object, Object) - Method in class alice.util.thinlet.Thinlet
-
Adds the specified component to the end of the specified container
- add(Object, Object, int) - Method in class alice.util.thinlet.Thinlet
-
Adds the specified component to the container at the given position
- add_theory_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
-
adds a new theory provided as a text
- 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.
- addGoalToHistory() - Method in class alice.tuprologx.ide.DotNetInputField
-
- addGoalToHistory() - Method in class alice.tuprologx.ide.JavaInputField
-
- 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) - Method in class alice.util.OneWayList
-
- addLibrary(String) - Method in class alice.tuprologx.ide.LibraryDialog
-
Add a library from the dialog to the manager.
- addLibrary(String) - 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 class alice.tuprolog.Prolog
-
Adds a listener to ouput events
- addPropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.DotNetEditArea
-
- addPropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.JavaEditArea
-
- addPropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.ThinletConsole
-
- addPropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.ThinletTheoryEditor
-
- addPropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.ThinletToolBar
-
- addQueryListener(QueryListener) - Method in class alice.tuprolog.Prolog
-
Adds a listener to theory events
- addSpyListener(SpyListener) - Method in class alice.tuprolog.Prolog
-
Adds a listener to spy events
- addTheory(Theory) - Method in class alice.tuprolog.Prolog
-
Adds (appends) a theory
- addTheory(Theory) - Method in interface alice.tuprologx.runtime.rmi.Prolog
-
- addTheory(Theory) - Method in class alice.tuprologx.runtime.rmi.PrologImpl
-
- addTheory(Theory) - Method in interface alice.tuprologx.runtime.tcp.Prolog
-
- addTheory(ObjectInputStream, ObjectOutputStream) - Method in class alice.tuprologx.runtime.tcp.PrologImpl
-
- addTheory(Theory) - Method in class alice.tuprologx.runtime.tcp.Proxy
-
- addTheoryListener(TheoryListener) - Method in class alice.tuprolog.Prolog
-
Adds a listener to theory events
- addToken(int, byte) - Method in class alice.util.jedit.TokenMarker
-
Adds a token to the token list.
- addUndoableEdit(UndoableEdit) - Method in class alice.util.jedit.SyntaxDocument
-
Adds an undoable edit to this document's undo list.
- 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
- alice.tuprolog - package alice.tuprolog
-
- alice.tuprolog.clausestore - package alice.tuprolog.clausestore
-
- alice.tuprolog.event - package alice.tuprolog.event
-
- alice.tuprolog.hgdb - package alice.tuprolog.hgdb
-
- alice.tuprolog.lib - package alice.tuprolog.lib
-
- alice.tuprologx - package alice.tuprologx
-
- alice.tuprologx.ide - package alice.tuprologx.ide
-
- 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.util - package alice.util
-
- alice.util.jedit - package alice.util.jedit
-
- alice.util.thinlet - package alice.util.thinlet
-
- 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.
- Applet - Class in alice.tuprologx.ide
-
A class for serving tuProlog as an applet.
- Applet() - Constructor for class alice.tuprologx.ide.Applet
-
- 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
- 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
-
- 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
-
- atan_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
-
- 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
-
- AtomTermType - Class in alice.tuprolog.hgdb
-
- AtomTermType() - Constructor for class alice.tuprolog.hgdb.AtomTermType
-
- attach(HyperGraph, Prolog) - Static method in class alice.tuprolog.hgdb.HGPrologLibrary
-
- 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
-
- AWTFrameLauncher - Class in alice.tuprologx.ide
-
A launcher for AWT Frames.
- AWTFrameLauncher() - Constructor for class alice.tuprologx.ide.AWTFrameLauncher
-
- generateFreshId() - Method in class alice.tuprolog.lib.JavaLibrary
-
Generates a fresh numeric identifier
- get(HGHandle) - Method in class alice.tuprolog.hgdb.PrologNode
-
- get(int) - Method in class alice.util.OneWayList
-
- get0_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
-
- get_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
-
- 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(String) - Static method in class alice.util.IPIdentifier
-
- getAll(HGQueryCondition) - Method in class alice.tuprolog.hgdb.PrologNode
-
- 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.clausestore.HyperGraphClauseStore
-
- getArity() - Method in class alice.tuprolog.Struct
-
Gets the number of elements of
this structure
- getBindingVars() - Method in class alice.tuprolog.SolveInfo
-
Gets the list of the variables in the solution.
- getBody() - Method in interface alice.tuprolog.ClauseInfo
-
- getBody() - Method in class alice.tuprolog.clausestore.CollectionItemClause
-
- getBody() - Method in class alice.tuprolog.clausestore.FactClauseInfo
-
- getBody() - Method in class alice.tuprolog.DefaultClauseInfo
-
- getBodyCopy() - Method in interface alice.tuprolog.ClauseInfo
-
- getBodyCopy() - Method in class alice.tuprolog.clausestore.CollectionItemClause
-
- getBodyCopy() - Method in class alice.tuprolog.clausestore.FactClauseInfo
-
- getBodyCopy() - Method in class alice.tuprolog.DefaultClauseInfo
-
- getBoolean(Object, String) - Method in class alice.util.thinlet.Thinlet
-
Gets the property value of the given component by the property key
- 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)
- getBtnNext() - Method in class alice.tuprologx.SolutionNavigator
-
- getBtnPrev() - Method in class alice.tuprologx.SolutionNavigator
-
- getCaretColor() - Method in class alice.util.jedit.TextAreaPainter
-
Returns the caret color.
- getCaretLine() - Method in class alice.tuprologx.ide.DotNetEditArea
-
- 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.
- getChild(int) - Method in class alice.tuprolog.SubGoalTree
-
- getChoice() - Method in class alice.tuprologx.ide.CUIConsole
-
- getChoice(Object, String) - Method in class alice.util.thinlet.Thinlet
-
Gets the property value of the given component by the property key
- getChoicePoints() - Method in class alice.tuprolog.ChoicePointStore
-
- getChoicePointStore() - Method in class alice.tuprolog.Engine
-
- getClass(Object) - Method in class alice.util.thinlet.Thinlet
-
Gets the type of the given component
- getClause() - Method in interface alice.tuprolog.ClauseInfo
-
- getClause() - Method in class alice.tuprolog.clausestore.CollectionItemClause
-
- getClause() - Method in class alice.tuprolog.clausestore.FactClauseInfo
-
- getClause() - Method in class alice.tuprolog.clausestore.HGAtomClauseInfo
-
- getClause() - Method in class alice.tuprolog.DefaultClauseInfo
-
- getClause() - Method in class alice.tuprolog.ExecutionContext
-
- getClauseFactory() - Method in class alice.tuprolog.hgdb.HGPrologLibrary
-
- getClauseStoreManager() - Method in class alice.tuprolog.EngineManager
-
- getColor() - Method in class alice.util.jedit.SyntaxStyle
-
Returns the color specified in this style.
- getCompatibleGoals() - Method in class alice.tuprolog.ChoicePointContext
-
- getCount(Object) - Method in class alice.util.thinlet.Thinlet
-
Gets the count of subcomponents in the list of the given component
- getCount(Object, String) - Method in class alice.util.thinlet.Thinlet
-
Gets the count of subcomponents in the list of the given component
- getCurrent() - Method in class alice.tuprologx.SolutionNavigator
-
- getCurrentGoal() - Method in class alice.tuprolog.ExecutionContext
-
- getCurrentGoalId() - Method in class alice.tuprolog.SubGoalStore
-
Indice del correntemente in esecuzione
- 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 class alice.tuprolog.Parser
-
- getCurrentOperatorList() - Method in class alice.tuprolog.Prolog
-
Gets the list of the operators currently defined
- getDebugArea() - Method in class alice.tuprologx.ide.ThinletToolBar
-
Get the debug area used by the toolbar.
- 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
-
- getDesktop() - Method in class alice.util.thinlet.Thinlet
-
Get the topmost component
- getDimensionNames() - Method in class alice.tuprolog.hgdb.StructType
-
- 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.
- getDOMAttribute(Object, String) - Method in class alice.util.thinlet.Thinlet
-
Gets the attribute value by the specified key for a DOM tag
- getDOMCount(Object, String) - Method in class alice.util.thinlet.Thinlet
-
Gets the number of tags in a tag by a specified tagname
- getDOMNode(Object, String, int) - Method in class alice.util.thinlet.Thinlet
-
Gets the subtag of the specified tag by tagname and index
- getDOMText(Object) - Method in class alice.util.thinlet.Thinlet
-
Gets the content string of a tag
- getDynamicObjectIdPrefix() - Method in class alice.tuprolog.lib.JavaLibrary
-
- getEditorContent() - Method in class alice.tuprologx.ide.DotNetIDE
-
- getEditorContent() - Method in class alice.tuprologx.ide.JavaIDE
-
- 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.
- getEngine() - Method in class alice.tuprolog.EngineManager
-
- 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.ThinletTheoryEditor
-
Get the Prolog engine referenced by the editor.
- getEngine() - Method in class alice.tuprologx.ide.ThinletToolBar
-
Get the Prolog engine referenced by the toolbar.
- getEngineManager() - Method in class alice.tuprolog.Prolog
-
Gets the component managing engine
- getEngineName() - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getEngineTheory() - Method in class alice.tuprologx.ide.ThinletTheoryEditor
-
Get the theory currently contained in the tuProlog engine referenced by
the editor and display it in the edit area.
- getEngineVersion() - Method in class alice.tuprologx.TuScriptEngineFactory
-
- 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.tuprologx.ide.EngineStatus
-
- getExecutionContext() - Method in class alice.tuprolog.ChoicePointContext
-
- getExecutionStack() - Method in class alice.tuprolog.Engine
-
- getExtensions() - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getFactories() - Method in class alice.tuprolog.ClauseStoreManager
-
- getFactory() - Method in class alice.tuprologx.TuScriptEngine
-
- getFatherGoalId() - Method in class alice.tuprolog.ExecutionContext
-
- getFileManager() - Method in class alice.tuprologx.ide.ThinletToolBar
-
Get the file manager used by the toolbar.
- 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
- 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.AWTFrameLauncher
-
- getFrameIcon() - Method in class alice.tuprologx.ide.SwingFrameLauncher
-
- getFrameLauncher() - Method in class alice.tuprologx.ide.ThinletToolBar
-
Get the frame launcher used by the toolbar.
- getGoal() - Method in class alice.tuprologx.ide.DotNetInputField
-
- getGoal() - Method in class alice.tuprologx.ide.JavaInputField
-
- getGoal() - Method in class alice.tuprologx.ide.ThinletConsole
-
Get the goal entered in the input field.
- getGraph() - Method in class alice.tuprolog.clausestore.HyperGraphClauseStore
-
- getGraph() - Method in class alice.tuprolog.clausestore.HyperGraphStoreFactory
-
- getGraph() - Method in class alice.tuprolog.hgdb.PrologNode
-
- getHandle() - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- getHandle(Object) - Method in class alice.tuprolog.hgdb.PrologNode
-
- getHead() - Method in interface alice.tuprolog.ClauseInfo
-
- getHead() - Method in class alice.tuprolog.clausestore.CollectionItemClause
-
- getHead() - Method in class alice.tuprolog.clausestore.FactClauseInfo
-
- getHead() - Method in class alice.tuprolog.DefaultClauseInfo
-
- getHead() - Method in class alice.util.OneWayList
-
- getHeadClause() - Method in class alice.tuprolog.ExecutionContext
-
- getHeadCopy() - Method in interface alice.tuprolog.ClauseInfo
-
- getHeadCopy() - Method in class alice.tuprolog.clausestore.CollectionItemClause
-
- getHeadCopy() - Method in class alice.tuprolog.clausestore.FactClauseInfo
-
- getHeadCopy() - Method in class alice.tuprolog.DefaultClauseInfo
-
- 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
-
- getIcon(Object, String) - Method in class alice.util.thinlet.Thinlet
-
Gets the property value of the given component by the property key
- getIcon(String) - Method in class alice.util.thinlet.Thinlet
-
Creates an image, and loads it immediately by default
- getIcon(String, boolean) - Method in class alice.util.thinlet.Thinlet
-
Creates an image from the specified resource.
- 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.
- getIncidenceSet(HGHandle) - Method in class alice.tuprolog.hgdb.PrologNode
-
- getIndexBack() - Method in class alice.tuprolog.ChoicePointContext
-
- getIndexNextSubGoal() - Method in class alice.tuprolog.SubGoalStore
-
- getInfo() - Method in class alice.tuprologx.ide.EngineStatus
-
- getInputHandler() - Method in class alice.util.jedit.JEditTextArea
-
Returns the input handler.
- getInteger(Object, String) - Method in class alice.util.thinlet.Thinlet
-
Gets the property value of the given component by the property key
- getInvalidLinesPainted() - Method in class alice.util.jedit.TextAreaPainter
-
Returns true if invalid lines are painted as red tildes (~),
false otherwise.
- getItem(Object, int) - Method in class alice.util.thinlet.Thinlet
-
Returns the subcomponent of the given component at the specified index
- getItem(Object, String, int) - Method in class alice.util.thinlet.Thinlet
-
Returns the subcomponent of the given component's specified list at the given index
- getItems(Object) - Method in class alice.util.thinlet.Thinlet
-
Gets all the components in this container
- getItems(Object, String) - Method in class alice.util.thinlet.Thinlet
-
Gets all the components in this container's specified list
- getIterator(String) - Static method in class alice.tuprolog.Term
-
Gets an iterator providing
a term stream from a source text
- getKey() - Method in class alice.tuprolog.PrimitiveInfo
-
- getKeywords() - Static method in class alice.tuprologx.ide.PrologTokenMarker
-
- getLanguageName() - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getLanguageVersion() - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getLastConsultedTheory() - Method in class alice.tuprolog.Prolog
-
Gets last consulted theory, with the original textual format
- getLibName() - Method in interface alice.tuprolog.ClauseInfo
-
building a valid clause with a time stamp = original time stamp + NumVar in clause
- getLibName() - Method in class alice.tuprolog.clausestore.CollectionItemClause
-
- getLibName() - Method in class alice.tuprolog.clausestore.FactClauseInfo
-
- getLibName() - Method in class alice.tuprolog.DefaultClauseInfo
-
- getLibraries() - Method in class alice.tuprologx.ide.LibraryManager
-
Get the libraries managed by the library manager.
- 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.EngineManager
-
- getLibraryManager() - Method in class alice.tuprolog.Prolog
-
Gets the component managing libraries
- getLibraryName() - Method in class alice.tuprolog.event.LibraryEvent
-
Gets the library name (loaded or unloaded).
- getLibraryName() - Method in exception alice.tuprolog.InvalidLibraryException
-
- getLibraryPredicate(String, int) - Method in class alice.tuprolog.Prolog
-
- getLine() - Method in exception alice.tuprolog.InvalidLibraryException
-
- getLineCount() - Method in class alice.util.jedit.JEditTextArea
-
Returns the number of lines in the document.
- getLineCount() - Method in class alice.util.jedit.TokenMarker
-
Returns the number of lines in this token marker.
- getLineEndOffset(int) - Method in class alice.util.jedit.JEditTextArea
-
Returns the end offset of the specified line.
- getLineHighlightColor() - Method in class alice.util.jedit.TextAreaPainter
-
Returns the line highlight color.
- getLineLength(int) - Method in class alice.util.jedit.JEditTextArea
-
Returns the length of the specified line.
- getLineOfOffset(int) - Method in class alice.util.jedit.JEditTextArea
-
Returns the line containing the specified offset.
- getLineStartOffset(int) - Method in class alice.util.jedit.JEditTextArea
-
Returns the start offset of the specified line.
- getLineText(int) - Method in class alice.util.jedit.JEditTextArea
-
Returns the text on the specified line.
- getLineText(int, Segment) - Method in class alice.util.jedit.JEditTextArea
-
Copies the text on the specified line into a segment.
- 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.
- getMediator() - Method in class alice.tuprolog.EngineManager
-
- getMessage() - Method in exception alice.tuprolog.InvalidLibraryException
-
- getMethodCallSyntax(String, String, String...) - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getMimeTypes() - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getMinimumSize() - Method in class alice.util.jedit.TextAreaPainter
-
Returns the painter's minimum size.
- 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.hgdb.HGPrologLibrary
-
- 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(String) - Static method in class alice.util.IPIdentifier
-
- getNames() - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getNewTheory() - Method in class alice.tuprolog.event.TheoryEvent
-
Gets the new theory
- getNextSolution() - Method in class alice.tuprologx.ide.ThinletConsole
-
Try to solve the next open alternative for the current goal.
- 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
- getOne(HGQueryCondition) - Method in class alice.tuprolog.hgdb.PrologNode
-
- getOperationName(ActionListener) - Static method in class alice.util.jedit.InputHandler
-
Returns the name of the specified text area action.
- getOperatorManager() - Method in class alice.tuprolog.Prolog
-
Gets the component managing operators
- 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
- 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
- getOutputStatement(String) - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getPainter() - Method in class alice.util.jedit.JEditTextArea
-
Returns the object responsible for painting this text area.
- getParameter(String) - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getParent(Object) - Method in class alice.util.thinlet.Thinlet
-
Gets the parent of this component
- getParsed(Prolog) - Method in class alice.tuprolog.Theory
-
Convert the theory from textual to a parsed form.
- 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
-
- getPredicateIndicator() - Method in class alice.tuprolog.Struct
-
- getPredicateMapping() - Method in class alice.tuprolog.clausestore.HyperGraphStoreFactory
-
- getPredicateName() - Method in class alice.tuprolog.clausestore.HyperGraphClauseStore
-
- getPreferredSize() - Method in class alice.util.jedit.TextAreaPainter
-
Returns the painter's preferred size.
- getPreferredSize() - Method in class alice.util.thinlet.Thinlet
-
Gets the preferred size of the root component
- getPrimitive() - Method in class alice.tuprolog.Struct
-
Get primitive behaviour associated at structure
- getPrimitiveManager() - Method in class alice.tuprolog.EngineManager
-
- 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
- getProgram(String...) - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getProjection(String) - Method in class alice.tuprolog.hgdb.StructType
-
- getProlog() - Method in class alice.tuprolog.clausestore.HyperGraphClauseStore
-
- getProperty(Object, Object) - Method in class alice.util.thinlet.Thinlet
-
Returns the value of the property with the specified key.
- getQuery() - Method in class alice.tuprolog.Engine
-
- getQuery() - Method in class alice.tuprolog.SolveInfo
-
Gets the query
- getQueryListenerList() - Method in class alice.tuprolog.Prolog
-
Gets a copy of current listener list to query events
- getRegisteredDynamicObject(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
-
Gets a registered dynamic object
(returns null if not presents)
- getRegisteredObject(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
-
Gets the reference to an object previously registered
- getRepeatCount() - Method in class alice.util.jedit.InputHandler
-
Returns the number of times the next action will be repeated.
- 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.
- getScriptEngine() - Method in class alice.tuprologx.TuScriptEngineFactory
-
- getSegmentMapKey(Segment, int, int) - Method in class alice.util.jedit.KeywordMap
-
- getSelectedIndex(Object) - Method in class alice.util.thinlet.Thinlet
-
Gets the index of the first selected item in the given component (list, table, or tree)
- getSelectedItem(Object) - Method in class alice.util.thinlet.Thinlet
-
Gets the first selected item of the given component (list, table, or tree)
- getSelectedItems(Object) - Method in class alice.util.thinlet.Thinlet
-
Gets the selected item of the given component (list, table, or tree)
when multiple selection is allowed
- getSelectedText() - Method in class alice.util.jedit.JEditTextArea
-
Returns the selected text, or null if no selection is active.
- 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.
- getSnapshot() - Method in class alice.tuprolog.event.SpyEvent
-
- getSolution() - Method in class alice.tuprolog.SolveInfo
-
Gets the solution of the request
- getSolveInfo() - Method in class alice.tuprolog.event.QueryEvent
-
Gets information about the query result.
- getSource() - Method in class alice.tuprolog.PrimitiveInfo
-
- getSpyListenerList() - Method in class alice.tuprolog.Prolog
-
Gets a copy of current listener list to spy events
- getStatusMessage() - Method in class alice.tuprologx.ide.ThinletConsole
-
Get the console status as a java.lang.String message.
- getStatusMessage() - Method in class alice.tuprologx.ide.ThinletTheoryEditor
-
Get the editor status as a java.lang.String message.
- getStatusMessage() - Method in class alice.tuprologx.ide.ThinletToolBar
-
Get the toolbar status as a java.lang.String message.
- getString(Object, String) - Method in class alice.util.thinlet.Thinlet
-
Gets the property value of the given component by the property key
- 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
-
- 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}
- getTail() - Method in class alice.util.OneWayList
-
- getTerm() - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- 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.
- getTerm() - Method in class alice.tuprolog.Var
-
Gets the term which is referred by the variable.
- 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.
- getTheory() - Method in class alice.tuprolog.lib.BasicLibrary
-
- getTheory() - Method in class alice.tuprolog.lib.DCGLibrary
-
- getTheory() - Method in class alice.tuprolog.lib.IOLibrary
-
- getTheory() - Method in class alice.tuprolog.lib.ISOLibrary
-
library theory
- getTheory() - Method in class alice.tuprolog.lib.JavaLibrary
-
library theory
- getTheory() - Method in class alice.tuprolog.lib.TheoryLibrary
-
- getTheory() - Method in class alice.tuprolog.Library
-
Gets the theory provided with the library
Empty theory is provided by default.
- 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.DotNetEditArea
-
- getTheory() - Method in class alice.tuprologx.ide.JavaEditArea
-
- 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.EngineManager
-
- getTheoryManager() - Method in class alice.tuprolog.Prolog
-
Gets the component managing theory
- getTime() - Method in class alice.tuprolog.event.PrologEvent
-
Gets the VM time of event occurrence.
- getTokenMarker() - Method in class alice.util.jedit.JEditTextArea
-
Returns the document's token marker.
- getTokenMarker() - Method in class alice.util.jedit.SyntaxDocument
-
Returns the token marker that is to be used to split lines
of this document up into tokens.
- getToolTipText(MouseEvent) - Method in class alice.util.jedit.TextAreaPainter
-
Returns the tool tip to display at the specified location.
- getToolTipText(MouseEvent) - Method in interface alice.util.jedit.TextAreaPainter.Highlight
-
Returns the tool tip to display at the specified
location.
- getType(HGHandle) - Method in class alice.tuprolog.hgdb.PrologNode
-
- getType() - Method in class alice.tuprolog.PrimitiveInfo
-
- getValue() - Method in exception alice.tuprolog.HaltException
-
- getValue() - Method in class alice.tuprolog.SubGoalElement
-
- getVarsToDeunify() - Method in class alice.tuprolog.ChoicePointContext
-
- getVarValue(String) - Method in class alice.tuprolog.SolveInfo
-
Gets the value of a variable in the substitution.
- 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.
- 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.
- 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
- init() - Method in class alice.tuprologx.ide.Applet
-
- init(JEditTextArea, TextAreaPainter.Highlight) - Method in interface alice.util.jedit.TextAreaPainter.Highlight
-
Called after the highlight painter has been added.
- InputHandler - Class in alice.util.jedit
-
An input handler converts the user's key strokes into concrete actions.
- InputHandler() - Constructor for class alice.util.jedit.InputHandler
-
- inputHandler - Variable in class alice.util.jedit.JEditTextArea
-
- inputHandler - Variable in class alice.util.jedit.TextAreaDefaults
-
- InputHandler.backspace - Class in alice.util.jedit
-
- InputHandler.backspace() - Constructor for class alice.util.jedit.InputHandler.backspace
-
- InputHandler.backspace_word - Class in alice.util.jedit
-
- InputHandler.backspace_word() - Constructor for class alice.util.jedit.InputHandler.backspace_word
-
- InputHandler.copy - Class in alice.util.jedit
-
- InputHandler.copy() - Constructor for class alice.util.jedit.InputHandler.copy
-
- InputHandler.cut - Class in alice.util.jedit
-
- InputHandler.cut() - Constructor for class alice.util.jedit.InputHandler.cut
-
- InputHandler.delete - Class in alice.util.jedit
-
- InputHandler.delete() - Constructor for class alice.util.jedit.InputHandler.delete
-
- InputHandler.delete_word - Class in alice.util.jedit
-
- InputHandler.delete_word() - Constructor for class alice.util.jedit.InputHandler.delete_word
-
- InputHandler.document_end - Class in alice.util.jedit
-
- InputHandler.document_end(boolean) - Constructor for class alice.util.jedit.InputHandler.document_end
-
- InputHandler.document_home - Class in alice.util.jedit
-
- InputHandler.document_home(boolean) - Constructor for class alice.util.jedit.InputHandler.document_home
-
- InputHandler.end - Class in alice.util.jedit
-
- InputHandler.end(boolean) - Constructor for class alice.util.jedit.InputHandler.end
-
- InputHandler.home - Class in alice.util.jedit
-
- InputHandler.home(boolean) - Constructor for class alice.util.jedit.InputHandler.home
-
- InputHandler.insert_break - Class in alice.util.jedit
-
- InputHandler.insert_break() - Constructor for class alice.util.jedit.InputHandler.insert_break
-
- InputHandler.insert_char - Class in alice.util.jedit
-
- InputHandler.insert_char() - Constructor for class alice.util.jedit.InputHandler.insert_char
-
- InputHandler.insert_tab - Class in alice.util.jedit
-
- InputHandler.insert_tab() - Constructor for class alice.util.jedit.InputHandler.insert_tab
-
- InputHandler.MacroRecorder - Interface in alice.util.jedit
-
Macro recorder.
- InputHandler.next_char - Class in alice.util.jedit
-
- InputHandler.next_char(boolean) - Constructor for class alice.util.jedit.InputHandler.next_char
-
- InputHandler.next_line - Class in alice.util.jedit
-
- InputHandler.next_line(boolean) - Constructor for class alice.util.jedit.InputHandler.next_line
-
- InputHandler.next_page - Class in alice.util.jedit
-
- InputHandler.next_page(boolean) - Constructor for class alice.util.jedit.InputHandler.next_page
-
- InputHandler.next_word - Class in alice.util.jedit
-
- InputHandler.next_word(boolean) - Constructor for class alice.util.jedit.InputHandler.next_word
-
- InputHandler.NonRecordable - Interface in alice.util.jedit
-
If an action implements this interface, it should not be recorded
by the macro recorder.
- InputHandler.NonRepeatable - Interface in alice.util.jedit
-
If an action implements this interface, it should not be repeated.
- InputHandler.overwrite - Class in alice.util.jedit
-
- InputHandler.overwrite() - Constructor for class alice.util.jedit.InputHandler.overwrite
-
- InputHandler.paste - Class in alice.util.jedit
-
- InputHandler.paste() - Constructor for class alice.util.jedit.InputHandler.paste
-
- InputHandler.prev_char - Class in alice.util.jedit
-
- InputHandler.prev_char(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_char
-
- InputHandler.prev_line - Class in alice.util.jedit
-
- InputHandler.prev_line(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_line
-
- InputHandler.prev_page - Class in alice.util.jedit
-
- InputHandler.prev_page(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_page
-
- InputHandler.prev_word - Class in alice.util.jedit
-
- InputHandler.prev_word(boolean) - Constructor for class alice.util.jedit.InputHandler.prev_word
-
- InputHandler.repeat - Class in alice.util.jedit
-
- InputHandler.repeat() - Constructor for class alice.util.jedit.InputHandler.repeat
-
- InputHandler.toggle_rect - Class in alice.util.jedit
-
- InputHandler.toggle_rect() - Constructor for class alice.util.jedit.InputHandler.toggle_rect
-
- InputHandler.Wrapper - Interface in alice.util.jedit
-
For use by EditAction.Wrapper only.
- inputKeyReleased(KeyEvent) - Method in class alice.tuprologx.ide.DotNetEditArea
-
Handle the effects of a key pressed on the TextArea.
- inputStream - Variable in class alice.tuprolog.lib.IOLibrary
-
- inputStreamName - Variable in class alice.tuprolog.lib.IOLibrary
-
- insert(Any, Prolog) - Static method in class alice.tuprologx.runtime.corba.PrologHelper
-
- insert(Any, SolveInfo) - Static method in class alice.tuprologx.runtime.corba.SolveInfoHelper
-
- INSERT_BREAK - Static variable in class alice.util.jedit.InputHandler
-
- INSERT_CHAR - Static variable in class alice.util.jedit.InputHandler
-
- INSERT_TAB - Static variable in class alice.util.jedit.InputHandler
-
- insertLines(int, int) - Method in class alice.util.jedit.TokenMarker
-
Informs the token marker that lines have been inserted into
the document.
- install(HyperGraph) - Method in class alice.tuprolog.hgdb.PrologHGDBApp
-
- Int - Class in alice.tuprolog
-
Int class represents the integer prolog data type
- Int(int) - Constructor for class alice.tuprolog.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
-
- InvalidTermException - Exception in alice.tuprolog
-
This exeption means that a not valid tuProlog term has been specified.
- InvalidTermException(String) - 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
-
- InvalidVarNameException - Exception in alice.tuprolog
-
Deprecated.
Use InvalidTermException with a meaningful message instead.
- InvalidVarNameException(String) - Constructor for exception alice.tuprolog.InvalidVarNameException
-
Deprecated.
- IOLibrary - Class in alice.tuprolog.lib
-
This class provides basic I/O predicates.
- IOLibrary() - Constructor for class alice.tuprolog.lib.IOLibrary
-
- IPAddress - Class in alice.util
-
this class defines services useful for
managing of IP extended address:
:
- IPAddress() - Constructor for class alice.util.IPAddress
-
- IPIdentifier - Class in alice.util
-
this class defines services useful for
managing of IP identifiers
@:
- IPIdentifier() - Constructor for class alice.util.IPIdentifier
-
- IPrimitives - Interface in alice.tuprolog
-
Template for predicate
- is_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
-
- 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.clausestore.HGAtomTerm
-
- 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.clausestore.HGAtomTerm
-
- 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.
- isClause() - Method in class alice.tuprolog.Struct
-
Check is this struct is clause or directive
- isCompound() - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- 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
-
- isDirective() - Method in class alice.tuprolog.PrimitiveInfo
-
- isDirty() - Method in class alice.tuprologx.ide.DotNetEditArea
-
- isDirty() - Method in class alice.tuprologx.ide.JavaEditArea
-
- isDouble() - Method in class alice.tuprolog.Double
-
Deprecated.
Use instanceof alice.tuprolog.Double instead.
- isDouble() - Method in class alice.tuprolog.Float
-
Deprecated.
Use instanceof alice.tuprolog.Double instead.
- isDouble() - Method in class alice.tuprolog.Int
-
Deprecated.
Use instanceof alice.tuprolog.Double instead.
- isDouble() - Method in class alice.tuprolog.Long
-
Deprecated.
Use instanceof alice.tuprolog.Double instead.
- isDouble() - Method in class alice.tuprolog.Number
-
Deprecated.
Use instanceof alice.tuprolog.Double instead.
- isEditable() - Method in class alice.util.jedit.JEditTextArea
-
Returns true if this text area is editable, false otherwise.
- isEmptyList() - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- 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(Prolog, Term) - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- isEqual(Prolog, Term) - Method in class alice.tuprolog.Double
-
Returns true if this Double term is equal to the term provided.
- isEqual(Prolog, Term) - Method in class alice.tuprolog.Float
-
Returns true if this Float term is equal that the term provided.
- isEqual(Prolog, Term) - Method in class alice.tuprolog.Int
-
Returns true if this integer term is equal to the term provided.
- isEqual(Prolog, Term) - Method in class alice.tuprolog.Long
-
Returns true if this integer term is equal that the term provided.
- isEqual(Prolog, Term) - Method in class alice.tuprolog.Struct
-
Test if a term is equal to other
- isEqual(Prolog, Term) - Method in class alice.tuprolog.Term
-
Tests if this term is (logically) equal to another
- isEqual(Prolog, Term) - Method in class alice.tuprolog.Var
-
- isFeededTheory() - Method in class alice.tuprologx.ide.DotNetIDE
-
- isFeededTheory() - Method in class alice.tuprologx.ide.JavaIDE
-
- isFirstSolution() - Method in class alice.tuprologx.ide.EngineStatus
-
- isFloat() - Method in class alice.tuprolog.Double
-
Deprecated.
Use instanceof alice.tuprolog.Float instead.
- isFloat() - Method in class alice.tuprolog.Float
-
Deprecated.
Use instanceof alice.tuprolog.Float instead.
- isFloat() - Method in class alice.tuprolog.Int
-
Deprecated.
Use instanceof alice.tuprolog.Float instead.
- isFloat() - Method in class alice.tuprolog.Long
-
Deprecated.
Use instanceof alice.tuprolog.Float instead.
- isFloat() - Method in class alice.tuprolog.Number
-
Deprecated.
Use instanceof alice.tuprolog.Float instead.
- isFocusTraversable() - Method in class alice.util.thinlet.Thinlet
-
This component can be traversed using Tab or Shift-Tab keyboard focus traversal,
although 1.4 replaced this method by isFocusable,
so 1.4 compilers write deprecation warning
- isFunctor() - Method in class alice.tuprolog.PrimitiveInfo
-
- isGreater(Prolog, Term) - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- isGreater(Prolog, Term) - Method in class alice.tuprolog.Double
-
Returns true if this Double term is grater that the term provided.
- isGreater(Prolog, Term) - Method in class alice.tuprolog.Float
-
Returns true if this Float term is grater that the term provided.
- isGreater(Prolog, Term) - Method in class alice.tuprolog.Int
-
Returns true if this integer term is grater that the term provided.
- isGreater(Prolog, Term) - Method in class alice.tuprolog.Long
-
Returns true if this integer term is grater that the term provided.
- isGreater(Prolog, Term) - Method in class alice.tuprolog.Struct
-
Test if a term is greater than other
- isGreater(Prolog, Term) - Method in class alice.tuprolog.Term
-
is term greater than term t?
- isGreater(Prolog, Term) - Method in class alice.tuprolog.Var
-
Gets a copy of this variable
- isGround() - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- 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 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
- isInt() - Method in class alice.tuprolog.Double
-
Deprecated.
Use instanceof Int instead.
- isInt() - Method in class alice.tuprolog.Float
-
Deprecated.
Use instanceof Int instead.
- isInt() - Method in class alice.tuprolog.Int
-
Deprecated.
Use instanceof Int instead.
- isInt() - Method in class alice.tuprolog.Long
-
Deprecated.
Use instanceof Int instead.
- isInt() - Method in class alice.tuprolog.Number
-
Deprecated.
Use instanceof Int instead.
- isInteger() - Method in class alice.tuprolog.Double
-
is this term a prolog integer term?
- isInteger() - Method in class alice.tuprolog.Float
-
is this term a prolog integer term?
- isInteger() - Method in class alice.tuprolog.Int
-
is this term a prolog integer term?
- isInteger() - Method in class alice.tuprolog.Long
-
is this term a prolog integer term?
- isInteger() - Method in class alice.tuprolog.Number
-
is this term a prolog integer term?
- 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.clausestore.HGAtomTerm
-
- 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
-
- isLong() - Method in class alice.tuprolog.Double
-
Deprecated.
Use instanceof alice.tuprolog.Long instead.
- isLong() - Method in class alice.tuprolog.Float
-
Deprecated.
Use instanceof alice.tuprolog.Long instead.
- isLong() - Method in class alice.tuprolog.Int
-
Deprecated.
Use instanceof alice.tuprolog.Long instead.
- isLong() - Method in class alice.tuprolog.Long
-
Deprecated.
Use instanceof alice.tuprolog.Long instead.
- isLong() - Method in class alice.tuprolog.Number
-
Deprecated.
Use instanceof alice.tuprolog.Long instead.
- isManagingFocus() - Method in class alice.util.jedit.JEditTextArea
-
Returns if this component can be traversed by pressing
the Tab key.
- isManagingFocus() - Method in class alice.util.jedit.TextAreaPainter
-
Returns if this component can be traversed by pressing the
Tab key.
- isNextLineRequested() - Method in class alice.util.jedit.TokenMarker
-
Returns true if the next line should be repainted.
- isNumber() - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- isNumber() - Method in class alice.tuprolog.Number
-
is this term a prolog numeric term?
- isNumber() - Method in class alice.tuprolog.Struct
-
is this term a prolog numeric term?
- isNumber() - Method in class alice.tuprolog.Term
-
Deprecated.
Use instanceof Number instead.
- isNumber() - Method in class alice.tuprolog.Var
-
- 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
-
- 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
- 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
-
- isSelectionRectangular() - Method in class alice.util.jedit.JEditTextArea
-
Returns true if the selection is rectangular, false otherwise.
- isSpy() - Method in class alice.tuprolog.Prolog
-
Checks the spy state of the engine
- isStruct() - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- isStruct() - Method in class alice.tuprolog.Number
-
is this term a struct
- isStruct() - Method in class alice.tuprolog.Struct
-
is this term a struct
- isStruct() - Method in class alice.tuprolog.Term
-
Deprecated.
Use instanceof Struct instead.
- isStruct() - Method in class alice.tuprolog.Var
-
- isSuccess() - Method in class alice.tuprolog.SolveInfo
-
Checks if the solve request was successful
- isTypeDouble() - Method in class alice.tuprolog.Double
-
Deprecated.
Use instanceof alice.tuprolog.Double instead.
- isTypeDouble() - Method in class alice.tuprolog.Float
-
Deprecated.
Use instanceof alice.tuprolog.Double instead.
- isTypeDouble() - Method in class alice.tuprolog.Int
-
Deprecated.
Use instanceof alice.tuprolog.Double instead.
- isTypeDouble() - Method in class alice.tuprolog.Long
-
Deprecated.
Use instanceof alice.tuprolog.Double instead.
- isTypeDouble() - Method in class alice.tuprolog.Number
-
Deprecated.
Use instanceof alice.tuprolog.Double instead.
- isTypeFloat() - Method in class alice.tuprolog.Double
-
Deprecated.
Use instanceof alice.tuprolog.Float instead.
- isTypeFloat() - Method in class alice.tuprolog.Float
-
Deprecated.
Use instanceof alice.tuprolog.Float instead.
- isTypeFloat() - Method in class alice.tuprolog.Int
-
Deprecated.
Use instanceof alice.tuprolog.Float instead.
- isTypeFloat() - Method in class alice.tuprolog.Long
-
Deprecated.
Use instanceof alice.tuprolog.Float instead.
- isTypeFloat() - Method in class alice.tuprolog.Number
-
Deprecated.
Use instanceof alice.tuprolog.Float instead.
- isTypeInt() - Method in class alice.tuprolog.Double
-
Deprecated.
Use instanceof Int instead.
- isTypeInt() - Method in class alice.tuprolog.Float
-
Deprecated.
Use instanceof Int instead.
- isTypeInt() - Method in class alice.tuprolog.Int
-
Deprecated.
Use instanceof Int instead.
- isTypeInt() - Method in class alice.tuprolog.Long
-
Deprecated.
Use instanceof Int instead.
- isTypeInt() - Method in class alice.tuprolog.Number
-
Deprecated.
Use instanceof Int instead.
- isTypeLong() - Method in class alice.tuprolog.Double
-
Deprecated.
Use instanceof alice.tuprolog.Long instead.
- isTypeLong() - Method in class alice.tuprolog.Float
-
Deprecated.
Use instanceof alice.tuprolog.Long instead.
- isTypeLong() - Method in class alice.tuprolog.Int
-
Deprecated.
Use instanceof alice.tuprolog.Long instead.
- isTypeLong() - Method in class alice.tuprolog.Long
-
Deprecated.
Use instanceof alice.tuprolog.Long instead.
- isTypeLong() - Method in class alice.tuprolog.Number
-
Deprecated.
Use instanceof alice.tuprolog.Long instead.
- isVar() - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- isVar() - Method in class alice.tuprolog.Number
-
is this term a variable
- isVar() - Method in class alice.tuprolog.Struct
-
is this term a variable
- isVar() - Method in class alice.tuprolog.Term
-
Deprecated.
Use instanceof Var instead.
- isVar() - Method in class alice.tuprolog.Var
-
- isWarning() - Method in class alice.tuprolog.Prolog
-
Checks if warning information are notified
- iterated_goal_term_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary
-
- iteratedGoalTerm() - Method in class alice.tuprolog.Struct
-
- iteratedGoalTerm() - Method in class alice.tuprolog.Term
-
The iterated-goal term G of a term T is a term defined
recursively as follows:
if T unifies with ^(_, Goal) then G is the iterated-goal
term of Goal
else G is T
- iterator() - Method in class alice.tuprolog.Parser
-
- iterator() - Method in class alice.tuprolog.SubGoalTree
-
- iterator(Prolog) - Method in class alice.tuprolog.Theory
-
- 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.
- paint(Graphics) - Method in class alice.util.thinlet.Thinlet
-
Paints the components inside the graphics clip area
- paintBracketHighlight(Graphics, int, int) - Method in class alice.util.jedit.TextAreaPainter
-
- paintCaret(Graphics, int, int) - Method in class alice.util.jedit.TextAreaPainter
-
- 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
-
- 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
-
- parse(String) - Static method in class alice.tuprolog.Term
-
- parse(String, OperatorManager) - Static method in class alice.tuprolog.Term
-
- parse(String) - Method in class alice.util.thinlet.Thinlet
-
Creates a component (and its subcomponents, and properties)
from the given xml resource
- parse(String, Object) - Method in class alice.util.thinlet.Thinlet
-
Creates a component from the given xml resource using the
specified event handler
- parse(InputStream) - Method in class alice.util.thinlet.Thinlet
-
Creates a component from the given stream
- parse(InputStream, Object) - Method in class alice.util.thinlet.Thinlet
-
Creates a component from the given stream and event handler
- parse_term_1(Term) - Method in class alice.tuprolog.lib.JavaLibrary
-
- parseDOM(InputStream) - Method in class alice.util.thinlet.Thinlet
-
You can use the internal xml parser as a simple DOM-like parser,
use the getDOMAttribute, getDOMText,
getDOMCount, getDOMNode, getClass,
and getParent methods to analise the document
- parseKeyStroke(String) - Static method in class alice.util.jedit.DefaultInputHandler
-
Converts a string to a keystroke.
- 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) - Constructor for class alice.tuprolog.Parser
-
creating a Parser specifing how to handle operators
and what text to parse
- 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
- 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
- parseXML(InputStream) - Method in class alice.util.thinlet.Thinlet
-
You can use the internal xml parser as a simple SAX-like parser,
during the process it calls the startElement, characters,
and endElement methods
- PASTE - Static variable in class alice.util.jedit.InputHandler
-
- paste() - Method in class alice.util.jedit.JEditTextArea
-
Inserts the clipboard contents into the text.
- performCopy(int) - Method in interface alice.tuprolog.ClauseInfo
-
- performCopy(int) - Method in class alice.tuprolog.clausestore.CollectionItemClause
-
- performCopy(int) - Method in class alice.tuprolog.clausestore.FactClauseInfo
-
- performCopy(int) - Method in class alice.tuprolog.DefaultClauseInfo
-
Perform copy for use in current engine's demonstration
- popup - Variable in class alice.util.jedit.JEditTextArea
-
- popup - Variable in class alice.util.jedit.TextAreaDefaults
-
- pos - Variable in exception alice.tuprolog.InvalidTheoryException
-
- PREDICATE - Static variable in class alice.tuprolog.PrimitiveInfo
-
- preregisterObjects() - Method in class alice.tuprolog.lib.JavaLibrary
-
objects actually pre-registered in order to be
available since the beginning of demonstration
- PREV_CHAR - Static variable in class alice.util.jedit.InputHandler
-
- PREV_LINE - Static variable in class alice.util.jedit.InputHandler
-
- PREV_PAGE - Static variable in class alice.util.jedit.InputHandler
-
- PREV_WORD - Static variable in class alice.util.jedit.InputHandler
-
- PrimitiveInfo - Class in alice.tuprolog
-
Primitive class
referring to a builtin predicate or functor
- PrimitiveInfo(int, String, Library, Method, int) - Constructor for class alice.tuprolog.PrimitiveInfo
-
- PrimitiveManager - Class in alice.tuprolog
-
Administration of primitive predicates
- PrimitiveManager() - Constructor for class alice.tuprolog.PrimitiveManager
-
- print_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
-
- prio - Variable in class alice.tuprolog.Operator
-
priority
- processEvent(AWTEvent) - Method in class alice.util.thinlet.Thinlet
-
Dispatches mouse, key, focus, and component events occurring on the
Thinlet component internally
- processKeyEvent(KeyEvent) - Method in class alice.util.jedit.JEditTextArea
-
Forwards key events directly to the input handler.
- 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
-
- Prolog - Interface in alice.tuprologx.runtime.rmi
-
- Prolog - Interface in alice.tuprologx.runtime.tcp
-
- PrologDoubleType - Class in alice.tuprolog.hgdb
-
- PrologDoubleType() - Constructor for class alice.tuprolog.hgdb.PrologDoubleType
-
- 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
-
- PrologFloatType - Class in alice.tuprolog.hgdb
-
- PrologFloatType() - Constructor for class alice.tuprolog.hgdb.PrologFloatType
-
- PrologHelper - Class in alice.tuprologx.runtime.corba
-
- PrologHelper() - Constructor for class alice.tuprologx.runtime.corba.PrologHelper
-
- PrologHGDBApp - Class in alice.tuprolog.hgdb
-
- PrologHGDBApp() - Constructor for class alice.tuprolog.hgdb.PrologHGDBApp
-
- PrologHolder - Class in alice.tuprologx.runtime.corba
-
- 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
-
- PrologIntType - Class in alice.tuprolog.hgdb
-
- PrologIntType() - Constructor for class alice.tuprolog.hgdb.PrologIntType
-
- PrologLongType - Class in alice.tuprolog.hgdb
-
- PrologLongType() - Constructor for class alice.tuprolog.hgdb.PrologLongType
-
- PrologNode - Class in alice.tuprolog.hgdb
-
- PrologNode(HyperGraph) - Constructor for class alice.tuprolog.hgdb.PrologNode
-
- PrologOperations - Interface in alice.tuprologx.runtime.corba
-
- PrologTextArea - Class in alice.tuprologx.ide
-
- PrologTextArea() - Constructor for class alice.tuprologx.ide.PrologTextArea
-
- PrologTokenMarker - Class in alice.tuprologx.ide
-
- PrologTokenMarker() - Constructor for class alice.tuprologx.ide.PrologTokenMarker
-
- PrologTokenMarker(boolean, KeywordMap) - Constructor for class alice.tuprologx.ide.PrologTokenMarker
-
- propertyChange(PropertyChangeEvent) - Method in class alice.tuprologx.ide.ThinletStatusBar
-
- propertyChange(PropertyChangeEvent) - Method in class alice.tuprologx.ide.ThinletTheoryEditor
-
- 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
-
- pushSubGoal(SubGoalTree) - Method in class alice.tuprolog.SubGoalStore
-
- put_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
-
- putProperty(Object, Object, Object) - Method in class alice.util.thinlet.Thinlet
-
Binds the specified key to the specified value, and stores in this component.
- rand_float_1(Term) - Method in class alice.tuprolog.lib.IOLibrary
-
- rand_int_2(Term, Term) - Method in class alice.tuprolog.lib.IOLibrary
-
- 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
-
- 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.ThinletTheoryEditor
-
Redo last action in the Edit Area.
- redoAction() - Method in class alice.tuprologx.ide.DotNetEditArea
-
Not implemented.
- redoAction() - Method in class alice.tuprologx.ide.JavaEditArea
-
- regionMatches(boolean, Segment, int, String) - Static method in class alice.util.jedit.SyntaxUtilities
-
Checks if a subregion of a Segment is equal to a
string.
- regionMatches(boolean, Segment, int, char[]) - Static method in class alice.util.jedit.SyntaxUtilities
-
Checks if a subregion of a Segment is equal to a
character array.
- register(Struct, Object) - Method in class alice.tuprolog.lib.JavaLibrary
-
Register an object with the specified id.
- register(Object) - Method in class alice.tuprolog.lib.JavaLibrary
-
Registers an object, with automatic creation of the identifier.
- registerDynamic(Struct, Object) - Method in class alice.tuprolog.lib.JavaLibrary
-
Registers an object only for the running query life-time
- registerDynamic(Object) - Method in class alice.tuprolog.lib.JavaLibrary
-
Registers an object for the query life-time,
with the automatic generation of the identifier.
- release(HGPersistentHandle) - Method in class alice.tuprolog.hgdb.AtomTermType
-
- release(HGPersistentHandle) - Method in class alice.tuprolog.hgdb.PrologDoubleType
-
- release(HGPersistentHandle) - Method in class alice.tuprolog.hgdb.PrologFloatType
-
- release(HGPersistentHandle) - Method in class alice.tuprolog.hgdb.PrologIntType
-
- release(HGPersistentHandle) - Method in class alice.tuprolog.hgdb.PrologLongType
-
- release(HGHandle) - Method in class alice.tuprolog.hgdb.PrologNode
-
Remove the given prolog term from the database if it is not linked by any other
atom.
- release(HGPersistentHandle) - Method in class alice.tuprolog.hgdb.StructType
-
- release(HGPersistentHandle) - Method in class alice.tuprolog.hgdb.VarType
-
- rem_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary
-
- remove(HGHandle) - Method in class alice.tuprolog.hgdb.PrologNode
-
- remove(Object) - Method in class alice.util.thinlet.Thinlet
-
Removes the specified component from its parent
- removeAll(Object) - Method in class alice.util.thinlet.Thinlet
-
Removes all the components from this container
- removeAll(Object, String) - Method in class alice.util.thinlet.Thinlet
-
Removes all the components from this container's specified list
- 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 class alice.tuprolog.Prolog
-
Removes all output event listeners
- removeAllSpyListeners() - Method in class alice.tuprolog.Prolog
-
Removes all spy event listeners
- 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.
- 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.
- removeLibraryListener(LibraryListener) - Method in class alice.tuprolog.Prolog
-
Removes a listener to library events
- 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 class alice.tuprolog.Prolog
-
Removes a listener to ouput events
- removePropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.DotNetEditArea
-
- removePropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.JavaEditArea
-
- removePropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.ThinletConsole
-
- removePropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.ThinletTheoryEditor
-
- removePropertyChangeListener(PropertyChangeListener) - Method in class alice.tuprologx.ide.ThinletToolBar
-
- removeQueryListener(QueryListener) - Method in class alice.tuprolog.Prolog
-
Removes a listener to query 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.
- removeWarningListener(WarningListener) - Method in class alice.tuprolog.Prolog
-
Removes a listener to warning events
- REPEAT - Static variable in class alice.util.jedit.InputHandler
-
- repeat - Variable in class alice.util.jedit.InputHandler
-
- repeatCount - Variable in class alice.util.jedit.InputHandler
-
- replace(HGHandle, Object, HGHandle) - Method in class alice.tuprolog.hgdb.PrologNode
-
- requestFocus(Object) - Method in class alice.util.thinlet.Thinlet
-
Requests that both the Thinlet component,
and the given widget get the input focus
- reset(HyperGraph) - Method in class alice.tuprolog.hgdb.PrologHGDBApp
-
- resolveTerm(long) - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- resolveTerm(long) - Method in class alice.tuprolog.Number
-
- resolveTerm(long) - Method in class alice.tuprolog.Struct
-
resolve term
- resolveTerm(long) - Method in class alice.tuprolog.Term
-
Resolves variables inside the term, starting from a specific time count.
- resolveTerm() - Method in class alice.tuprolog.Term
-
Resolves variables inside the term
If the variables has been already resolved, no renaming is done.
- resolveTerm(long) - Method in class alice.tuprolog.Var
-
Resolve the occurence of variables in a Term
- resolveVariables(int) - Method in class alice.tuprolog.Double
-
- retract(Struct) - Method in class alice.tuprolog.TheoryManager
-
removing from dbase the first clause with head unifying with clause
(m if a free substitution index and t is the first free timestamp)
- RIGHT - Static variable in class alice.util.jedit.JEditTextArea
-
- 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.tuprologx.ide.EngineThread
-
- run() - Method in class alice.tuprologx.runtime.tcp.Daemon
-
- run() - Method in class alice.util.Automaton
-
- run() - Method in class alice.util.thinlet.Thinlet
-
A second thread is used to repeat value change events for scrollbar or spinbox
during the mouse is pressed, or to pop up tooltip
- saveTheory() - Method in class alice.tuprologx.ide.ThinletToolBar
-
Save the engine's current theory to a default file.
- saveTheoryAs(String) - Method in class alice.tuprologx.ide.DotNetIOManager
-
- saveTheoryAs(String) - Method in class alice.tuprologx.ide.JavaIOManager
-
- saveTheoryAs() - Method in class alice.tuprologx.ide.ThinletToolBar
-
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.
- 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.
- set_prolog_flag_2(Term, Term) - Method in class alice.tuprolog.BuiltIn
-
- set_theory_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary
-
sets a new theory provided as a text
- setAccepted(boolean) - Method in class alice.tuprologx.ide.EngineStatus
-
- setBlockCaretEnabled(boolean) - Method in class alice.util.jedit.TextAreaPainter
-
Sets if the caret should be drawn as a block, false otherwise.
- setBoolean(Object, String, boolean) - Method in class alice.util.thinlet.Thinlet
-
Sets the given property pair (key and value) for the component
- 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.
- setBtnNext(JButton) - Method in class alice.tuprologx.SolutionNavigator
-
- setBtnPrev(JButton) - Method in class alice.tuprologx.SolutionNavigator
-
- 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.DotNetEditArea
-
- setCaretLine(int) - Method in class alice.tuprologx.ide.JavaEditArea
-
- 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.
- setChoice(Object, String, String) - Method in class alice.util.thinlet.Thinlet
-
Sets the given property pair (key and value) for the component
- setColors(int, int, int, int, int, int, int, int, int) - Method in class alice.util.thinlet.Thinlet
-
Sets the 9 colors used for components, and repaints the whole UI
- setConsole(ThinletConsole) - Method in class alice.tuprologx.ide.DotNetInputField
-
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.
- setConsole(ThinletConsole) - 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.
- setCurrent(JLabel) - Method in class alice.tuprologx.SolutionNavigator
-
- setDebugArea(Thinlet) - Method in class alice.tuprologx.ide.ThinletToolBar
-
Set the debug area referenced by the toolbar for use in displaying debug
informations.
- setDirty(boolean) - Method in class alice.tuprologx.ide.DotNetEditArea
-
- 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.util.jedit.JEditTextArea
-
Sets if this component is editable.
- setEditArea(TheoryEditArea) - Method in class alice.tuprologx.ide.ThinletTheoryEditor
-
Set the edit area used by the editor to manipulate the text of
Prolog theories.
- setEditorContent(String) - Method in class alice.tuprologx.ide.DotNetIDE
-
- setEditorContent(String) - Method in class alice.tuprologx.ide.JavaIDE
-
- 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.tuprologx.ide.LibraryManager
-
Set the engine to be referenced by the library manager.
- setEngine(Prolog) - Method in class alice.tuprologx.ide.ThinletConsole
-
Set the Prolog engine referenced by the console.
- setEngine(Prolog) - Method in class alice.tuprologx.ide.ThinletTheoryEditor
-
Set the Prolog engine referenced by the editor.
- setEngine(Prolog) - Method in class alice.tuprologx.ide.ThinletToolBar
-
Set the Prolog engine referenced by the toolbar.
- setEngineTheory() - Method in class alice.tuprologx.ide.ThinletTheoryEditor
-
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
-
- setFeededTheory(boolean) - Method in class alice.tuprologx.ide.DotNetIDE
-
- setFeededTheory(boolean) - Method in class alice.tuprologx.ide.JavaIDE
-
- setFileManager(IOFileOperations) - Method in class alice.tuprologx.ide.ThinletToolBar
-
Set the file manager referenced by the toolbar for use in Input/Output tasks.
- 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.
- setFont(Font) - Method in class alice.util.thinlet.Thinlet
-
Sets the only one font used everywhere, and revalidates the whole UI.
- setFrameIcon(String) - Method in class alice.tuprologx.ide.AWTFrameLauncher
-
- setFrameIcon(String) - Method in class alice.tuprologx.ide.SwingFrameLauncher
-
- setFrameLauncher(FrameLauncher) - Method in class alice.tuprologx.ide.ThinletToolBar
-
Set the frame launcher referenced by the toolbar for use in displaying
dialogs and new windows.
- 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.
- setHead(Object) - Method in class alice.util.OneWayList
-
- setHorizontalOffset(int) - Method in class alice.util.jedit.JEditTextArea
-
Sets the horizontal offset of drawn lines.
- setIcon(Object, String, Image) - Method in class alice.util.thinlet.Thinlet
-
Sets the given property pair (key and value) for the component
- 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
-
- setInputField(InputField) - Method in class alice.tuprologx.ide.ThinletConsole
-
Set the input field used by the console to retrieve queries.
- setInputHandler(InputHandler) - Method in class alice.util.jedit.JEditTextArea
-
Sets the input handler.
- setInteger(Object, String, int) - Method in class alice.util.thinlet.Thinlet
-
Sets the given property pair (key and value) for the component
- setInvalidLinesPainted(boolean) - Method in class alice.util.jedit.TextAreaPainter
-
Sets if invalid lines are to be painted as red tildes.
- setLibraryDialog(LibraryDialog) - Method in class alice.tuprologx.ide.ThinletToolBar
-
Set the library dialog referenced by the toolbar for use in displaying library
management facilities.
- setLibraryManagerStatus() - Method in class alice.tuprologx.ide.LibraryDialog
-
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.
- setMethod(Object, String, String, Object, Object) - Method in class alice.util.thinlet.Thinlet
-
Sets a new event handler method for a component
- 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.
- 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.
- 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.
- setSpy(boolean) - Method in class alice.tuprolog.Prolog
-
Switches on/off the notification of spy information events
- setStatusMessage(String) - Method in class alice.tuprologx.ide.ThinletConsole
-
Set the console status.
- setStatusMessage(String) - Method in class alice.tuprologx.ide.ThinletStatusBar
-
Display the status message on the status bar.
- setStatusMessage(String) - Method in class alice.tuprologx.ide.ThinletTheoryEditor
-
Set the editor status.
- setStatusMessage(String) - Method in class alice.tuprologx.ide.ThinletToolBar
-
Set the toolbar status.
- setString(Object, String, String) - Method in class alice.util.thinlet.Thinlet
-
Sets the given property pair (key and value) for the component
- setStyles(SyntaxStyle[]) - Method in class alice.util.jedit.TextAreaPainter
-
Sets the syntax styles used to paint colorized text.
- setTail(OneWayList) - Method in class alice.util.OneWayList
-
- 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.DotNetEditArea
-
- setTheory(String) - Method in class alice.tuprologx.ide.JavaEditArea
-
- 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
-
- 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.
- setWarning(boolean) - Method in class alice.tuprolog.Prolog
-
Switches on/off the notification of warning information events
- showSolution(String) - Method in class alice.tuprologx.ide.ThinletConsole
-
Show a solution to the current goal in the apposite solution area.
- 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
-
- 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).
- solution - Variable in class alice.tuprologx.runtime.corba.SolveInfo
-
- SolutionNavigator - Class in alice.tuprologx
-
- SolutionNavigator() - Constructor for class alice.tuprologx.SolutionNavigator
-
- SolutionNavigator(SolveInfo, Prolog) - Constructor for class alice.tuprologx.SolutionNavigator
-
- solve(Term) - Method in class alice.tuprolog.EngineManager
-
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.DotNetInputField
-
Solve the goal currently displayed in the input field.
- solve() - Method in class alice.tuprologx.ide.JavaInputField
-
Solve the goal currently displayed in the input field.
- solve() - Method in class alice.tuprologx.ide.ThinletConsole
-
Get the goal in the query field, feed a Prolog engine with it, and
display the solution provided.
- 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_1(Term) - Method in class alice.tuprolog.BuiltIn
-
- solveEnd() - Method in class alice.tuprolog.EngineManager
-
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
-
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
-
- 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
-
- SolveInfoHelper() - Constructor for class alice.tuprologx.runtime.corba.SolveInfoHelper
-
- SolveInfoHolder - Class in alice.tuprologx.runtime.corba
-
- 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
-
Gets next solution
- solveNext() - Method in class alice.tuprolog.Prolog
-
Gets next solution
- 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
-
- spawn() - Method in class alice.tuprolog.Agent
-
Starts agent execution
- 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
-
- 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
-
- startElement(String, Hashtable) - Method in class alice.util.thinlet.Thinlet
-
The SAX-like parser calls this method, you have to overwrite it
- state - Variable in class alice.util.Automaton
-
method name representing state behaviour
- StateBacktrack - Class in alice.tuprolog
-
- StateBacktrack(EngineManager) - Constructor for class alice.tuprolog.StateBacktrack
-
- StateEnd - Class in alice.tuprolog
-
- StateEnd(EngineManager, int) - Constructor for class alice.tuprolog.StateEnd
-
Constructor
- StateGoalEvaluation - Class in alice.tuprolog
-
- StateGoalEvaluation(EngineManager) - Constructor for class alice.tuprolog.StateGoalEvaluation
-
- StateGoalSelection - Class in alice.tuprolog
-
- StateGoalSelection(EngineManager) - Constructor for class alice.tuprolog.StateGoalSelection
-
- StateInit - Class in alice.tuprolog
-
- StateInit(EngineManager) - Constructor for class alice.tuprolog.StateInit
-
- StateRuleSelection - Class in alice.tuprolog
-
- StateRuleSelection(EngineManager) - Constructor for class alice.tuprolog.StateRuleSelection
-
- stdOutput(String) - Method in class alice.tuprolog.Prolog
-
Produces an output information event
- stopEngine() - Method in class alice.tuprologx.ide.ThinletConsole
-
- store(Object) - Method in class alice.tuprolog.hgdb.AtomTermType
-
- store(Object) - Method in class alice.tuprolog.hgdb.PrologDoubleType
-
- store(Object) - Method in class alice.tuprolog.hgdb.PrologFloatType
-
- store(Object) - Method in class alice.tuprolog.hgdb.PrologIntType
-
- store(Object) - Method in class alice.tuprolog.hgdb.PrologLongType
-
- store(Object) - Method in class alice.tuprolog.hgdb.StructType
-
- store(Object) - Method in class alice.tuprolog.hgdb.VarType
-
- 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
- Struct(String, int) - Constructor for class alice.tuprolog.Struct
-
- StructType - Class in alice.tuprolog.hgdb
-
- StructType() - Constructor for class alice.tuprolog.hgdb.StructType
-
- styles - Variable in class alice.util.jedit.TextAreaDefaults
-
- styles - Variable in class alice.util.jedit.TextAreaPainter
-
- sub(P2d) - Method in class alice.util.P2d
-
- 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
-
- subsumes(Object, Object) - Method in class alice.tuprolog.hgdb.StructType
-
- 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
-
- supportsMultilineTokens() - Method in class alice.util.jedit.TokenMarker
-
Returns if the token marker supports tokens that span multiple
lines.
- SwingFrameLauncher - Class in alice.tuprologx.ide
-
A launcher for Swing JFrames.
- SwingFrameLauncher() - Constructor for class alice.tuprologx.ide.SwingFrameLauncher
-
- 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.
- tab_1(Number) - Method in class alice.tuprolog.lib.IOLibrary
-
- tabSize - Variable in class alice.util.jedit.TextAreaPainter
-
- 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_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
-
- 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_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.
- 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
- 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
-
- 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
-
- 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
-
- Thinlet - Class in alice.util.thinlet
-
- Thinlet() - Constructor for class alice.util.thinlet.Thinlet
-
- ThinletConsole - Class in alice.tuprologx.ide
-
A complete console for the tuProlog engine, featuring an input field for
submitting queries, and two areas for displaying solutions to a goal and
output text due to particular predicates (e.g.
- ThinletConsole(IDE) - Constructor for class alice.tuprologx.ide.ThinletConsole
-
- ThinletDebugArea - Class in alice.tuprologx.ide
-
A simple area where to show debug messages.
- ThinletDebugArea() - Constructor for class alice.tuprologx.ide.ThinletDebugArea
-
- ThinletStatusBar - Class in alice.tuprologx.ide
-
A status bar for the tuProlog IDE.
- ThinletStatusBar() - Constructor for class alice.tuprologx.ide.ThinletStatusBar
-
- ThinletTheoryEditor - Class in alice.tuprologx.ide
-
A set of commands and facilities for components implementing an edit area.
- ThinletTheoryEditor() - Constructor for class alice.tuprologx.ide.ThinletTheoryEditor
-
- ThinletToolBar - Class in alice.tuprologx.ide
-
A toolbar for the tuProlog IDE.
- ThinletToolBar(IDE) - Constructor for class alice.tuprologx.ide.ThinletToolBar
-
- TOGGLE_RECT - Static variable in class alice.util.jedit.InputHandler
-
- 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.
- 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.
- tokenMarker - Variable in class alice.util.jedit.SyntaxDocument
-
- TokenMarker - Class in alice.util.jedit
-
A token marker that splits lines of text into tokens.
- TokenMarker() - Constructor for class alice.util.jedit.TokenMarker
-
Creates a new TokenMarker.
- TokenMarker.LineInfo - Class in alice.util.jedit
-
Inner class for storing information about tokenized lines.
- TokenMarker.LineInfo() - Constructor for class alice.util.jedit.TokenMarker.LineInfo
-
Creates a new LineInfo object with token = Token.NULL
and obj = null.
- TokenMarker.LineInfo(byte, Object) - Constructor for class alice.util.jedit.TokenMarker.LineInfo
-
Creates a new LineInfo object with the specified
parameters.
- told_0() - Method in class alice.tuprolog.lib.IOLibrary
-
- 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() - Method in class alice.tuprolog.clausestore.HGAtomTerm
-
- toString(Struct, OperatorManager) - Static method in class alice.tuprolog.DefaultClauseInfo
-
Gets the string representation
recognizing operators stored by
the operator manager
- toString() - Method in class alice.tuprolog.DefaultClauseInfo
-
Gets the string representation with default operator representation
- toString() - Method in class alice.tuprolog.DefaultClauseStore
-
- 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() - 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.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.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(HGHandle) - Method in class alice.tuprolog.clausestore.HyperGraphClauseStore
-
- toTerm(String) - Method in class alice.tuprolog.Prolog
-
Gets a term from a string, using the operators currently
defined by the engine
- transform(List) - Static method in class alice.util.OneWayList
-
- TRUE - Static variable in class alice.tuprolog.EngineManager
-
- TRUE - Static variable in class alice.tuprolog.Term
-
- true_0() - Method in class alice.tuprolog.BuiltIn
-
- TRUE_CP - Static variable in class alice.tuprolog.EngineManager
-
- truncate_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary
-
- TuScriptEngine - Class in alice.tuprologx
-
- TuScriptEngine() - Constructor for class alice.tuprologx.TuScriptEngine
-
- TuScriptEngineFactory - Class in alice.tuprologx
-
- TuScriptEngineFactory() - Constructor for class alice.tuprologx.TuScriptEngineFactory
-
- 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
-