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

E

EDITOR__LEXER - Static variable in class edu.cs.ai.kreator.control.config.Configuration

No idea what thats for.

EDITOR__LEXER_MAX_TIME - Static variable in class edu.cs.ai.kreator.control.config.Configuration

If the syntax highlighting takes more than this MAX_TIME the user will be asked, if he wants to use the a more simple lexer.

EDITOR__LEXER_MIN_TIME - Static variable in class edu.cs.ai.kreator.control.config.Configuration

No idea what thats for.

EDITOR__USE_SIMPLE_LEXER - Static variable in class edu.cs.ai.kreator.control.config.Configuration

If this is set to true the syntax pane will use a very simple lexer for all files.

edu.cs.ai.kreator - package edu.cs.ai.kreator

edu.cs.ai.kreator.control - package edu.cs.ai.kreator.control

edu.cs.ai.kreator.control.config - package edu.cs.ai.kreator.control.config

edu.cs.ai.kreator.datamodels - package edu.cs.ai.kreator.datamodels

edu.cs.ai.kreator.exceptions - package edu.cs.ai.kreator.exceptions

edu.cs.ai.kreator.exceptions.runtime - package edu.cs.ai.kreator.exceptions.runtime

edu.cs.ai.kreator.logging - package edu.cs.ai.kreator.logging

edu.cs.ai.kreator.logic - package edu.cs.ai.kreator.logic

edu.cs.ai.kreator.logic.metaconstraints - package edu.cs.ai.kreator.logic.metaconstraints

edu.cs.ai.kreator.logic.probabilities - package edu.cs.ai.kreator.logic.probabilities

edu.cs.ai.kreator.logic.prolog - package edu.cs.ai.kreator.logic.prolog

edu.cs.ai.kreator.misc.util - package edu.cs.ai.kreator.misc.util

edu.cs.ai.kreator.models - package edu.cs.ai.kreator.models

edu.cs.ai.kreator.parser - package edu.cs.ai.kreator.parser

edu.cs.ai.kreator.parser.groundatom - package edu.cs.ai.kreator.parser.groundatom

edu.cs.ai.kreator.platformspecific - package edu.cs.ai.kreator.platformspecific

edu.cs.ai.kreator.platformspecific.macosx - package edu.cs.ai.kreator.platformspecific.macosx

edu.cs.ai.kreator.scripting - package edu.cs.ai.kreator.scripting

edu.cs.ai.kreator.ui - package edu.cs.ai.kreator.ui

edu.cs.ai.kreator.ui.cli - package edu.cs.ai.kreator.ui.cli

edu.cs.ai.kreator.ui.cli.wordcompletion - package edu.cs.ai.kreator.ui.cli.wordcompletion

edu.cs.ai.kreator.ui.gui - package edu.cs.ai.kreator.ui.gui

edu.cs.ai.kreator.ui.gui.components - package edu.cs.ai.kreator.ui.gui.components

edu.cs.ai.kreator.ui.gui.components.controller - package edu.cs.ai.kreator.ui.gui.components.controller

edu.cs.ai.kreator.ui.gui.components.models - package edu.cs.ai.kreator.ui.gui.components.models

edu.cs.ai.kreator.ui.gui.dialogs - package edu.cs.ai.kreator.ui.gui.dialogs

edu.cs.ai.kreator.ui.gui.dialogs.controller - package edu.cs.ai.kreator.ui.gui.dialogs.controller

edu.cs.ai.kreator.ui.gui.filefilters - package edu.cs.ai.kreator.ui.gui.filefilters

edu.cs.ai.kreator.ui.gui.icons - package edu.cs.ai.kreator.ui.gui.icons

edu.cs.ai.kreator.ui.gui.listener - package edu.cs.ai.kreator.ui.gui.listener

edu.cs.ai.kreator.ui.returnvalues - package edu.cs.ai.kreator.ui.returnvalues

emitErrorMessage(String) - Method in class edu.cs.ai.kreator.parser.ExtendedParser

emitErrorMessage(String) - Method in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer

EMPTY - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer

EMPTY - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomParser

EMPTY - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomWalker

EMPTY - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomWithoutLanguageWalker

EMPTY_LIST - Static variable in class jsyntaxpane.util.Configuration

EmptyLexer - Class in jsyntaxpane.lexers

A lexer that does nothing.

EmptyLexer() - Constructor for class jsyntaxpane.lexers.EmptyLexer

enableAppend(boolean) - Method in class edu.cs.ai.kreator.ui.gui.components.UserAppendRemoveList

enable / disable the append functionality of this component

enableEditButtons(boolean, boolean) - Method in class edu.cs.ai.kreator.ui.gui.MenuBar

En- or disables the buttons in the "Edit"-menu.

enableRemove(boolean) - Method in class edu.cs.ai.kreator.ui.gui.components.UserAppendRemoveList

enable / disable the remove functionality of this component.

encodeFromStandardToUTF8(String) - Static method in class edu.cs.ai.kreator.control.config.EncodingTools

Encodes a string in the system's default encoding into a string encoded in UTF-8.

EncodingTools - Class in edu.cs.ai.kreator.control.config

This class provides some methods for encoding to UTF-8 and back to the system's standard encoding.

EncodingTools() - Constructor for class edu.cs.ai.kreator.control.config.EncodingTools

end() - Method in class jsyntaxpane.Token

return the end position of the token.

END_OF_COMMAND_LINE - Static variable in class edu.cs.ai.kreator.scripting.KreatorScriptEngine

Represents the delimiter of two commands.

entrySet() - Method in class jsyntaxpane.util.Configuration

EOF - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer

EOF - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomParser

EOF - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomWalker

EOF - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomWithoutLanguageWalker

EQ - Static variable in class jsyntaxpane.TokenConstants

Token Kinds

EQEQ - Static variable in class jsyntaxpane.TokenConstants

equals(Object) - Method in class edu.cs.ai.kreator.logic.AtomExpression

equals(Object) - Method in class edu.cs.ai.kreator.logic.Clause

equals(Object) - Method in class edu.cs.ai.kreator.logic.ClauseNetworkNode

equals(Object) - Method in class edu.cs.ai.kreator.logic.Constant

equals(Object) - Method in class edu.cs.ai.kreator.logic.FunctionTerm

equals(Object) - Method in class edu.cs.ai.kreator.logic.GeneralizedAtom

equals(Object) - Method in class edu.cs.ai.kreator.logic.GeneralizedPredicate

equals(Object) - Method in class edu.cs.ai.kreator.logic.Literal

compares if this literals is equal to the other literal.

equals(Object) - Method in class edu.cs.ai.kreator.logic.metaconstraints.ExclusionConstraint

equals(Object) - Method in interface edu.cs.ai.kreator.logic.metaconstraints.MetaConstraint

Return true if other is a MetaConstraint and both have equal attributes.

equals(Object) - Method in class edu.cs.ai.kreator.logic.metaconstraints.NotEqualConstraint

equals(Object) - Method in class edu.cs.ai.kreator.logic.probabilities.Cpd

equals(Object) - Method in class edu.cs.ai.kreator.logic.prolog.RuleSldNode

equals(Object) - Method in class edu.cs.ai.kreator.logic.prolog.VariableSldNode

equals(Object) - Method in class edu.cs.ai.kreator.logic.Sort

equals(Object) - Method in class edu.cs.ai.kreator.logic.StrictNegation

equals(Object) - Method in class edu.cs.ai.kreator.logic.Term

If the other object is a Term, then equals returns true if both objects have the same class, same name and sort.

equals(Object) - Method in class edu.cs.ai.kreator.logic.Variable

equals(Object) - Method in class edu.cs.ai.kreator.misc.util.Pair

equals(Object) - Method in class edu.cs.ai.kreator.misc.util.Permutation

Compares the specified object with this permutation for equality.

equals(Object) - Method in class edu.cs.ai.kreator.misc.util.Triple

equals(Object) - Method in class jsyntaxpane.Token

escapeChars - Variable in class jsyntaxpane.actions.gui.ComboCompletionDialog

escapeChars - Variable in class jsyntaxpane.actions.gui.ReflectCompletionDialog

The current filter, to avoid refiltering the items

EscapeListener - Interface in jsyntaxpane.actions.gui

This interface is used by dialogs that will need to listen to ESC key.

escapePressed() - Method in class jsyntaxpane.actions.gui.ComboCompletionDialog

escapePressed() - Method in interface jsyntaxpane.actions.gui.EscapeListener

This method will be called when ESC key is pressed.

escapePressed() - Method in class jsyntaxpane.actions.gui.GotoLineDialog

escapePressed() - Method in class jsyntaxpane.actions.gui.QuickFindDialog

escapePressed() - Method in class jsyntaxpane.actions.gui.ReflectCompletionDialog

escapePressed() - Method in class jsyntaxpane.actions.gui.ReplaceDialog

escapePressed() - Method in class jsyntaxpane.actions.gui.ShowAbbsDialog

EventKreatorWorker - Class in edu.cs.ai.kreator.control

An event driven worker.

EventKreatorWorker(EventKreatorWorker.WorkerDispatcher, KreatorConsole) - Constructor for class edu.cs.ai.kreator.control.EventKreatorWorker

Ctor

EventKreatorWorker.WorkerDispatcher - Interface in edu.cs.ai.kreator.control

evidenceData() - Method in class edu.cs.ai.kreator.logic.ClauseNetwork

Computes the evidence data of this network, i.e.

EvidenceLexer - Class in jsyntaxpane.lexers

EvidenceLexer() - Constructor for class jsyntaxpane.lexers.EvidenceLexer

EvidenceLexer(Reader) - Constructor for class jsyntaxpane.lexers.EvidenceLexer

Creates a new scanner There is also a java.io.InputStream version of this constructor.

EvidenceLexer(InputStream) - Constructor for class jsyntaxpane.lexers.EvidenceLexer

Creates a new scanner.

evidencePartFromQuery() - Method in class edu.cs.ai.kreator.parser.groundatom.GroundAtomParser

EvidencePreviewGuideController - Class in edu.cs.ai.kreator.ui.gui.components.controller

A class observing and previewing the construction of custom evidences.

EvidencePreviewGuideController(PreviewGuideControls) - Constructor for class edu.cs.ai.kreator.ui.gui.components.controller.EvidencePreviewGuideController

Ctor

evidences - Variable in class edu.cs.ai.kreator.models.Query

The evidence expressions of this query

EvidenceSyntaxKit - Class in jsyntaxpane.syntaxkits

EvidenceSyntaxKit() - Constructor for class jsyntaxpane.syntaxkits.EvidenceSyntaxKit

evidenceValue - Variable in class edu.cs.ai.kreator.ui.gui.components.controller.EvidencePreviewGuideController

String encoding the evidenceValue.

ExclusionConstraint - Class in edu.cs.ai.kreator.logic.metaconstraints

This class implements the MetaConstraint which excludes a set of constants from the substitution for a variable, e.g.

ExclusionConstraint(Variable, Collection<? extends Constant>) - Constructor for class edu.cs.ai.kreator.logic.metaconstraints.ExclusionConstraint

Creates a new ExclusionConstraint object with a given Variable and a given Collection of Constants.

executeKreatorScriptInCurrentConsole(KreatorScript) - Method in class edu.cs.ai.kreator.control.ModelController

Executes a script in the currently selected console tab.

executeKreatorScriptInDefaultConsole(KreatorScript) - Method in class edu.cs.ai.kreator.control.ModelController

Executes the given script in the default console tab.

executeKreatorScriptInExistingConsole(KreatorScript, KreatorConsole) - Method in class edu.cs.ai.kreator.control.ModelController

Executes the given script in the given console tab.

executeKreatorScriptInNewConsole(KreatorScript) - Method in class edu.cs.ai.kreator.control.ModelController

Opens a new console tab and executes the given script in it.

executeScript(String, boolean) - Method in class edu.cs.ai.kreator.scripting.KreatorScriptEngine

Executes a KreatorScript.

executeScript(String) - Method in class edu.cs.ai.kreator.scripting.KreatorScriptEngine

Executes a KreatorScript (and prints the result of the last evaluated script line to the console).

expandSubstitution(Map<Variable, Constant>, Set<Variable>) - Method in class edu.cs.ai.kreator.logic.LanguageFactory

Completes the given substitution by assigning mappings from all given variables to all possible constants.

expandSubstitution(Map<Variable, Constant>, Set<Variable>, Set<MetaConstraint>) - Method in class edu.cs.ai.kreator.logic.LanguageFactory

Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.

expandSubstitution(Map<Variable, Constant>, Set<Variable>, Set<MetaConstraint>, Map<Sort, Set<Constant>>) - Method in class edu.cs.ai.kreator.logic.LanguageFactory

Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.

expandSubstitutionWithAdditionalConstants(Map<Variable, Constant>, Set<Variable>, Map<Sort, Set<Constant>>) - Method in class edu.cs.ai.kreator.logic.LanguageFactory

Completes the given substitution by assigning mappings from all given variables to all possible constants.

exportToLatexFromConsole(String) - Method in class edu.cs.ai.kreator.control.FileController

Exports the given data file to LaTeX and
prints the LaTex code in Console.

ExtendedParser - Class in edu.cs.ai.kreator.parser

This class encapsulates some methods that be overwritten by the ANTLR parsers to provide proper error handling.

ExtendedParser(TokenStream) - Constructor for class edu.cs.ai.kreator.parser.ExtendedParser

extendUnifier(Literal, Map<Variable, Term>) - Method in class edu.cs.ai.kreator.logic.GeneralizedAtom

extendUnifier(Collection<? extends Literal>, Map<Variable, Term>) - Method in class edu.cs.ai.kreator.logic.Literal

For the given unifier "u" thi method computes all extensions of "u" to a unifier "u2" such that "u2" transforms this literal into one given in data.

extendUnifier(Literal, Map<Variable, Term>) - Method in class edu.cs.ai.kreator.logic.Literal

Extends the given unifier "u" to a unifier "u2" such that "u2" transforms this literal into the one given.

extendUnifier(Literal, Map<Variable, Term>) - Method in class edu.cs.ai.kreator.logic.StrictNegation

extendUnifiers(Collection<? extends Literal>, Collection<Map<Variable, Term>>) - Method in class edu.cs.ai.kreator.logic.Literal

For any unifier "u" in "unifiers" this method computes all extensions of "u" to a unifier "u2" such that "u2" transforms this literal into one given in data.

extension - Static variable in class edu.cs.ai.kreator.datamodels.KreatorScript

The KReator-Script extension.

extension - Static variable in class edu.cs.ai.kreator.datamodels.Project

The KReator-Project extension.

extension - Static variable in class edu.cs.ai.kreator.datamodels.SampleCollection

Extensions - Class in edu.cs.ai.kreator.misc.util

Extensions() - Constructor for class edu.cs.ai.kreator.misc.util.Extensions