EngineManager engineManager
TheoryManager theoryManager
LibraryManager libraryManager
alice.tuprolog.FlagManager flagManager
PrimitiveManager primitiveManager
OperatorManager operatorManager
java.net.Socket socket
java.net.DatagramSocket socket
double value
java.lang.String type
Prolog vm
java.util.Hashtable<K,V> runners
java.util.Hashtable<K,V> threads
int rootID
EngineRunner er1
int id
java.util.Hashtable<K,V> queues
java.util.Hashtable<K,V> locks
Prolog mediator
TheoryManager theoryManager
PrimitiveManager primitiveManager
LibraryManager libraryManager
EngineManager engineManager
int id
int pid
boolean detached
boolean solving
Term query
TermQueue msgs
java.util.ArrayList<E> next
int countNext
java.util.concurrent.locks.Lock lockVar
java.util.concurrent.locks.Condition cond
java.lang.Object semaphore
Engine env
Engine last_env
java.util.LinkedList<E> stackEnv
SolveInfo sinfo
alice.tuprolog.State INIT
alice.tuprolog.State GOAL_EVALUATION
alice.tuprolog.State EXCEPTION
alice.tuprolog.State RULE_SELECTION
alice.tuprolog.State GOAL_SELECTION
alice.tuprolog.State BACKTRACK
alice.tuprolog.State END_FALSE
alice.tuprolog.State END_TRUE
alice.tuprolog.State END_TRUE_CP
alice.tuprolog.State END_HALT
float value
java.lang.String type
int value
int value
java.lang.String type
java.lang.String libraryName
int line
int pos
int line
int pos
int line
int pos
int clause
java.lang.Throwable e
Prolog engine
java.lang.String[][] opMappingCached
long value
java.lang.String type
java.lang.String name
java.lang.String type
int prio
alice.tuprolog.OperatorManager.OperatorRegister operatorList
Tokenizer tokenizer
OperatorManager opManager
java.util.HashMap<K,V> offsetsMap
int tokenStart
TheoryManager theoryManager
PrimitiveManager primitiveManager
OperatorManager opManager
alice.tuprolog.FlagManager flagManager
LibraryManager libraryManager
EngineManager engineManager
boolean spy
boolean warning
boolean exception
java.util.ArrayList<E> outputListeners
java.util.ArrayList<E> spyListeners
java.util.ArrayList<E> warningListeners
java.util.ArrayList<E> exceptionListeners
java.util.ArrayList<E> theoryListeners
java.util.ArrayList<E> libraryListeners
java.util.ArrayList<E> queryListeners
java.util.ArrayList<E> absolutePathList
java.lang.String lastPath
FullEngineState state
Term error
java.lang.String descriptionError
java.net.ServerSocket socket
java.lang.String type
java.lang.String name
Term[] arg
int arity
java.lang.String predicateIndicator
boolean resolved
java.lang.String theory
Struct clauseList
ClauseDatabase dynamicDBase
ClauseDatabase staticDBase
ClauseDatabase retractDBase
Prolog engine
PrimitiveManager primitiveManager
java.util.Stack<E> startGoalStack
Theory lastConsultedTheory
int tokenOffset
int tokenStart
int tokenLength
java.lang.String text
java.util.LinkedList<E> tokenList
alice.tuprolog.Tokenizer.PushBack pushBack2
java.lang.String type
java.lang.String name
java.lang.StringBuilder completeName
Term link
long internalTimestamp
int ctxid
long fingerPrint
java.lang.String msg
java.lang.String libName
java.lang.String msg
long when
SolveInfo info
UserContextInputStream stream
java.lang.String msg
Engine env
java.lang.String msg
private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
java.io.IOException
java.io.InputStream stdIn
java.io.OutputStream stdOut
java.lang.String inputStreamName
java.io.InputStream inputStream
java.lang.String outputStreamName
java.io.OutputStream outputStream
UserContextInputStream input
java.util.Random gen
int files
java.util.Hashtable<K,V> inputStreams
java.util.Hashtable<K,V> outputStreams
java.io.InputStream inputStream
java.io.OutputStream outputStream
java.lang.String inputStreamName
java.lang.String outputStreamName
IOLibrary IOLib
int flag
int write_flag
private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
java.io.IOException
java.util.HashMap<K,V> currentObjects
java.util.IdentityHashMap<K,V> currentObjects_inverse
java.util.HashMap<K,V> staticObjects
java.util.IdentityHashMap<K,V> staticObjects_inverse
int id
int counter
OOLibraryEnableLambdas lambdaPlugin
AbstractDynamicClassLoader dynamicLoader
java.lang.String addrRegex
java.util.LinkedList<E> readers
java.util.LinkedList<E> serverSockets
java.util.LinkedList<E> clientSockets
Theory th
java.lang.String name
EngineManager engineManager
java.lang.String statusMessage
java.beans.PropertyChangeSupport propertyChangeSupport
Console consoleManager
java.lang.String[] variables
java.util.List<E> bindings
int selectDisplayModality
boolean exceptionEnabled
alice.tuprologx.ide.IOFileOperations fileManager
javax.swing.JTabbedPane tp
javax.swing.JTextPane solution
PrologTable tableSolve
PrologTable tableSolveAll
javax.swing.JTextPane output
javax.swing.JTextPane exception
InputDialog input
javax.swing.JButton bNext
javax.swing.JButton bAccept
javax.swing.JButton bStop
javax.swing.JButton bClear
javax.swing.JButton bExport
java.io.BufferedReader stdin
Prolog engine
javax.swing.JTabbedPane debug
javax.swing.JTextPane warningPane
javax.swing.JTree spyTree
javax.swing.tree.DefaultMutableTreeNode root
javax.swing.JButton expandAllButton
javax.swing.JButton collapseAllButton
javax.swing.JButton expandSelectedNodesButton
javax.swing.JButton collapseSelectedNodesButton
java.lang.String iconPathName
javax.swing.JFrame mainWindow
java.util.ArrayList<E> queryEventList
java.util.ArrayList<E> queryEventListString
int solveType
javax.swing.JTextArea inputText
UserContextInputStream stream
RSyntaxTextArea inputTheory
int caretLine
boolean dirty
boolean saved
java.beans.PropertyChangeSupport propertyChangeSupport
javax.swing.undo.UndoManager undoManager
ToolBar toolBar
TheoryTabbedPane tabbedPane
javax.swing.JTextField inputField
alice.tuprologx.ide.History history
ConsoleManager console
alice.tuprologx.ide.JavaIOManager.PrologFileFilter fileFilter
java.awt.Component parent
LibraryManager libraryManager
StatusBar sb
javax.swing.JTextField libraryClassnameField
javax.swing.JPanel librariesDisplayPanel
javax.swing.JPanel addLibraryPanel
javax.swing.JButton browseButton
alice.tuprologx.ide.IOFileOperations fileManager
int millsStopEngine
int selectDisplayModality
boolean enableNotifyException
java.beans.PropertyChangeSupport propertyChangeSupport
javax.swing.JRadioButton inColumnsRadioButton
javax.swing.JRadioButton inRowsRadioButton
javax.swing.JRadioButton inRowsVariableSeparatedRadioButton
javax.swing.JTextField millsStopEngineTextField
javax.swing.JTextField fontDimensionTextField
javax.swing.JCheckBox notifyExceptionCheckBox
FontDimensionHandler fontDimensionHandler
java.lang.String type
boolean[] isExpandedCellArray
boolean[] isBorderedCellArray
javax.swing.table.DefaultTableCellRenderer adaptee
java.util.Map<K,V> cellSizes
boolean[] isExpandedCellArray
boolean[] isBorderedCellArray
Prolog engine
alice.tuprologx.ide.TheoryEditArea editArea
java.beans.PropertyChangeSupport propertyChangeSupport
alice.tuprologx.ide.IDE ide
javax.swing.JLabel caretLineLabel
javax.swing.JButton bSetTheory
Prolog engine
ToolBar toolBar
TheoryEditor editor
JavaInputField inputField
ConsoleDialog consoleDialog
StatusBar statusBar
CompletionProvider completionProvider
java.util.ArrayList<E> theoryFileNames
Prolog engine
LibraryManager libraryManager
LibraryDialogFrame libraryDialog
DebugAreaFrame debugArea
PrologConfigFrame configFrame
AboutFrame about
alice.tuprologx.ide.IOFileOperations fileManager
java.lang.String statusMessage
java.beans.PropertyChangeSupport propertyChangeSupport
alice.tuprologx.ide.IDE ide
javax.swing.JFrame parent
javax.swing.JButton bNew
javax.swing.JButton bOpen
javax.swing.JButton bSave
javax.swing.JButton bSaveAs
javax.swing.JButton bLibMan
javax.swing.JButton bDebug
javax.swing.JButton bConfigure
javax.swing.JButton bAbout
javax.swing.JButton bSpy
FileIDE fileIDE
private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
java.io.IOException
java.util.HashMap<K,V> currentObjects
java.util.IdentityHashMap<K,V> currentObjects_inverse
java.util.HashMap<K,V> staticObjects
java.util.IdentityHashMap<K,V> staticObjects_inverse
int id
private void readObject(java.io.ObjectInputStream s)
private void writeObject(java.io.ObjectOutputStream s)
Prolog imp
boolean success
java.lang.String solution
boolean halt
int haltCode
Prolog imp
java.lang.String methodName
Prolog core
ToTree<T> totree
java.awt.Font font
Node root
float xspace
float yspace
float border
float textheight
int levels
java.awt.font.FontRenderContext frc
int asc
java.awt.geom.Rectangle2D.Float rect
java.awt.geom.Line2D.Float line
java.lang.String state
java.lang.Object[] arguments
java.lang.Class<T>[] argType
float x
float y
float x
float y
TextAreaPainter painter
javax.swing.JPopupMenu popup
javax.swing.event.EventListenerList listenerList
alice.util.jedit.JEditTextArea.MutableCaretEvent caretEvent
boolean caretBlinks
boolean caretVisible
boolean blink
boolean editable
int firstLine
int visibleLines
int electricScroll
int horizontalOffset
javax.swing.JScrollBar vertical
javax.swing.JScrollBar horizontal
boolean scrollBarsInitialized
InputHandler inputHandler
SyntaxDocument document
alice.util.jedit.JEditTextArea.DocumentHandler documentHandler
javax.swing.text.Segment lineSegment
int selectionStart
int selectionStartLine
int selectionEnd
int selectionEndLine
boolean biasLeft
int bracketPosition
int bracketLine
int magicCaret
boolean overwrite
boolean rectSelect
TokenMarker tokenMarker
int currentLineIndex
Token currentLineTokens
javax.swing.text.Segment currentLine
JEditTextArea textArea
SyntaxStyle[] styles
java.awt.Color caretColor
java.awt.Color selectionColor
java.awt.Color lineHighlightColor
java.awt.Color bracketHighlightColor
java.awt.Color eolMarkerColor
boolean blockCaret
boolean lineHighlight
boolean bracketHighlight
boolean paintInvalid
boolean eolMarkers
int cols
int rows
int tabSize
java.awt.FontMetrics fm
TextAreaPainter.Highlight highlights