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

T

T32 - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer
 
T33 - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer
 
T34 - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer
 
T35 - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer
 
T36 - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer
 
T37 - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer
 
T38 - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer
 
T39 - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer
 
Tab - Class in edu.cs.ai.kreator.ui.gui.components
This interface has to be implemented by components, which can be added to TabbedPane.
Tab() - Constructor for class edu.cs.ai.kreator.ui.gui.components.Tab
 
TabbedPane - Class in edu.cs.ai.kreator.ui.gui.components
This tabbed pane extends Java's standard tabbed pane.
TabbedPane() - Constructor for class edu.cs.ai.kreator.ui.gui.components.TabbedPane
 
TabTitle - Class in edu.cs.ai.kreator.ui.gui.components
Provides a tab title for usage in TabbedPanes.
TabTitle(TabbedPane, String, Tab) - Constructor for class edu.cs.ai.kreator.ui.gui.components.TabTitle
 
TAG - Static variable in class jsyntaxpane.lexers.XmlLexer
 
targetMethod - Variable in class edu.cs.ai.kreator.platformspecific.macosx.OSXAdapter
 
targetObject - Variable in class edu.cs.ai.kreator.platformspecific.macosx.OSXAdapter
 
TEMPLATE_SELECTION - Static variable in class jsyntaxpane.actions.ActionUtils
 
TemplateAction - Class in jsyntaxpane.actions
This action replaces the selection with the configured template in the config ACTION-NAME.Template There are two kinds of templates: Simple Templates are replaced as is Whole Line Templates will ensure a whole line is selected.
TemplateAction() - Constructor for class jsyntaxpane.actions.TemplateAction
 
Term - Class in edu.cs.ai.kreator.logic
This interfaces summarizes the common functionalities of terms in first-order logic.
Term() - Constructor for class edu.cs.ai.kreator.logic.Term
 
term() - Method in class edu.cs.ai.kreator.parser.groundatom.GroundAtomParser
 
term(Sort) - Method in class edu.cs.ai.kreator.parser.groundatom.GroundAtomWalker
 
term() - Method in class edu.cs.ai.kreator.parser.groundatom.GroundAtomWithoutLanguageWalker
 
TERM - Static variable in class jsyntaxpane.lexers.EvidenceLexer
 
TERMS - Static variable in class jsyntaxpane.lexers.EvidenceLexer
 
testme(String) - Method in class edu.cs.ai.kreator.scripting.KreatorScriptableObject
Function to be called from JavaScript.
testpub - Variable in class edu.cs.ai.kreator.scripting.KreatorScriptableObject
 
TextPaneAppender - Class in edu.cs.ai.kreator.logging
 
TextPaneAppender() - Constructor for class edu.cs.ai.kreator.logging.TextPaneAppender
 
TextPaneAppender(Layout) - Constructor for class edu.cs.ai.kreator.logging.TextPaneAppender
 
TextPaneAppender(Layout, JTextPane) - Constructor for class edu.cs.ai.kreator.logging.TextPaneAppender
 
TextWindow - Class in edu.cs.ai.kreator.ui.gui.dialogs
 
TextWindow(String) - Constructor for class edu.cs.ai.kreator.ui.gui.dialogs.TextWindow
 
threadWaitOrAbort() - Method in class edu.cs.ai.kreator.control.WorkerController
If the current thread has been told to wait, this method waits until it is resumed.
threadWaitOrAbort() - Method in class edu.cs.ai.kreator.scripting.KreatorScriptableObject
 
Timer - Class in edu.cs.ai.kreator.misc.util
 
Timer() - Constructor for class edu.cs.ai.kreator.misc.util.Timer
constructs a new Timer Object which is not started yet.
Timer(boolean) - Constructor for class edu.cs.ai.kreator.misc.util.Timer
constructs a new Timer Object which is started in the moment of construction if start == true.
toArray() - Method in class edu.cs.ai.kreator.logic.ClauseNetwork
 
toArray(T[]) - Method in class edu.cs.ai.kreator.logic.ClauseNetwork
 
toArray() - Method in class edu.cs.ai.kreator.misc.util.Permutation
 
ToggleCommentsAction - Class in jsyntaxpane.actions
This action will toggle comments on or off on selected whole lines.
ToggleCommentsAction() - Constructor for class jsyntaxpane.actions.ToggleCommentsAction
creates new JIndentAction.
toggleComponent(JEditorPane, String) - Method in class jsyntaxpane.DefaultSyntaxKit
Toggles the component with given classname.
ToggleComponentAction - Class in jsyntaxpane.actions
This Action will Toggle any SyntaxComponents on the EditorPane You need the configuration Key prefix.ACTION_NAME.Component = componentclassname Where: ACTION_NAME is the name given to the action (prefix.Action.ACTION_NAME) componentclassname is the fully qualified class name of the component
ToggleComponentAction() - Constructor for class jsyntaxpane.actions.ToggleComponentAction
 
togglePauseResumeButton() - Method in interface edu.cs.ai.kreator.ui.cli.KreatorConsole
Toggles the state of the pause/resume button.
togglePauseResumeButton() - Method in class edu.cs.ai.kreator.ui.gui.components.ConsolePane
Toggles the state of the pause/resume button.
toggleView() - Method in interface edu.cs.ai.kreator.ui.cli.KreatorConsole
Toggles between console and report view.
toggleView() - Method in class edu.cs.ai.kreator.ui.gui.components.ConsolePane
Toggles between console and report view.
token(TokenType, int, int, int, int) - Method in class jsyntaxpane.lexers.DefaultJFlexLexer
Helper method to create and return a new Token from of TokenType tokenStart and tokenLength will be modified to the newStart and newLength params
token(TokenType, int, int) - Method in class jsyntaxpane.lexers.DefaultJFlexLexer
Create and return a Token of given type from start with length offset is added to start
token(TokenType) - Method in class jsyntaxpane.lexers.DefaultJFlexLexer
Create and return a Token of given type.
token(TokenType, int) - Method in class jsyntaxpane.lexers.DefaultJFlexLexer
Create and return a Token of given type and pairValue.
token(TokenType, int, int, int, int) - Method in class jsyntaxpane.lexers.KReatorJFlexLexer
 
Token - Class in jsyntaxpane
A Token in a Document.
Token(TokenType, int, int) - Constructor for class jsyntaxpane.Token
Constructs a new token
Token(TokenType, int, int, byte) - Constructor for class jsyntaxpane.Token
Construct a new part of pair token
TokenComparators - Class in jsyntaxpane
Two comparators to compare Tokens.
TokenComparators() - Constructor for class jsyntaxpane.TokenComparators
 
TokenConstants - Class in jsyntaxpane
Constants used by Tokens.
TokenConstants() - Constructor for class jsyntaxpane.TokenConstants
 
tokenLength - Variable in class jsyntaxpane.lexers.DefaultJFlexLexer
 
TokenMarker - Class in jsyntaxpane.components
This class highlights Tokens within a document whenever the caret is moved to a TokenType provided in the config file.
TokenMarker() - Constructor for class jsyntaxpane.components.TokenMarker
Constructs a new Token highlighter
tokenNames - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomParser
 
tokenNames - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomWalker
 
tokenNames - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomWithoutLanguageWalker
 
Tokens - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer
 
tokenStart - Variable in class jsyntaxpane.lexers.DefaultJFlexLexer
 
TokenType - Enum in jsyntaxpane
These are the various token types supported by JSyntaxPane.
toKreatorAtom(A, LanguageFactory) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator
Creates a GeneralizedAtom from the given foreign logic atom
toKreatorAtom(Atom, LanguageFactory) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator
 
toKreatorAtomExpression(Atom, boolean, LanguageFactory) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator
 
toKreatorAtomExpresssion(Atom, String, LanguageFactory) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator
 
toKreatorConstant(C, LanguageFactory) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator
 
toKreatorConstant(Constant, LanguageFactory) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator
 
toKreatorLanguage(L) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator
Creates a Kreator FolSignature from the given foreign logic language.
toKreatorLanguage(FolSignature) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator
 
toKreatorPredicate(P, LanguageFactory) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator
Creates a KReator GeneralizedPredicate from the given Predicate of type P of the foreign logic.
toKreatorPredicate(Predicate, LanguageFactory) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator
 
toKreatorSort(S, LanguageFactory) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator
Creates a KReator Sort from the given foreign language Sort
toKreatorSort(Sort, LanguageFactory) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator
 
toKreatorTerm(T, LanguageFactory) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator
 
toKreatorTerm(Term, LanguageFactory) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator
 
toKreatorVariable(V, LanguageFactory) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator
 
toKreatorVariable(Variable, LanguageFactory) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator
 
toKreatorVariable(Variable, LanguageFactory, VariableFactory) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator
 
toLatex() - Method in class edu.cs.ai.kreator.datamodels.KnowledgebaseFile
 
toLatex() - Method in class edu.cs.ai.kreator.datamodels.KreatorScript
 
toLatex() - Method in class edu.cs.ai.kreator.datamodels.SampleCollection
export the sample collection file to LaTeX
toLatex() - Method in class edu.cs.ai.kreator.logic.AtomExpression
 
toLatex() - Method in class edu.cs.ai.kreator.logic.Clause
 
toLatex() - Method in class edu.cs.ai.kreator.logic.Constant
 
toLatex() - Method in class edu.cs.ai.kreator.logic.FunctionTerm
 
toLatex() - Method in class edu.cs.ai.kreator.logic.Functor
 
toLatex() - Method in class edu.cs.ai.kreator.logic.GeneralizedAtom
 
toLatex() - Method in class edu.cs.ai.kreator.logic.GeneralizedPredicate
 
toLatex() - Method in interface edu.cs.ai.kreator.logic.Latexable
Returns a Latex grammar conform string to generate variables, rules (conditionals) etc.
toLatex() - Method in class edu.cs.ai.kreator.logic.metaconstraints.ExclusionConstraint
 
toLatex() - Method in interface edu.cs.ai.kreator.logic.metaconstraints.MetaConstraint
 
toLatex() - Method in class edu.cs.ai.kreator.logic.metaconstraints.NotEqualConstraint
 
toLatex() - Method in class edu.cs.ai.kreator.logic.Sort
 
toLatex() - Method in class edu.cs.ai.kreator.logic.StrictNegation
 
toLatex() - Method in class edu.cs.ai.kreator.logic.Variable
 
ToLatexTest - Class in edu.cs.ai.kreator.logic
 
ToLatexTest() - Constructor for class edu.cs.ai.kreator.logic.ToLatexTest
 
Toolbar - Class in edu.cs.ai.kreator.ui.gui.components
A toolbar for the userinterface.
Toolbar() - Constructor for class edu.cs.ai.kreator.ui.gui.components.Toolbar
 
toRmeDeclarationString() - Method in class edu.cs.ai.kreator.logic.LanguageFactory
Returns a RME Knowlegbase syntax conform String of the KB's declarations.
toSPIRITgrammar() - Method in class edu.cs.ai.kreator.logic.GeneralizedAtom
 
toSPIRITgrammar() - Method in class edu.cs.ai.kreator.logic.SpiritGrammarConform
Returns a SPIRIT grammar conform string to generate variables and SPIRIT rules (conditionals).
toSPIRITgrammar() - Method in class edu.cs.ai.kreator.logic.StrictNegation
 
toString() - Method in class edu.cs.ai.kreator.control.config.ConfigurationObject
 
toString() - Method in enum edu.cs.ai.kreator.exceptions.ParsingErrorInfo.ErrorType
 
toString() - Method in class edu.cs.ai.kreator.logic.AtomExpression
 
toString() - Method in class edu.cs.ai.kreator.logic.Clause
 
toString() - Method in class edu.cs.ai.kreator.logic.ClauseNetwork
 
toString() - Method in class edu.cs.ai.kreator.logic.ClauseNetworkNode
 
toString() - Method in class edu.cs.ai.kreator.logic.Constant
 
toString() - Method in class edu.cs.ai.kreator.logic.FolAtom
 
toString() - Method in class edu.cs.ai.kreator.logic.FolBinaryJunction
 
toString() - Method in class edu.cs.ai.kreator.logic.FolNegation
 
toString() - Method in class edu.cs.ai.kreator.logic.FolQuantification
 
toString() - Method in class edu.cs.ai.kreator.logic.FunctionTerm
 
toString() - Method in class edu.cs.ai.kreator.logic.Functor
 
toString() - Method in class edu.cs.ai.kreator.logic.GeneralizedAtom
 
toString() - Method in class edu.cs.ai.kreator.logic.GeneralizedPredicate
 
toString() - Method in class edu.cs.ai.kreator.logic.LanguageFactory
 
toString() - Method in enum edu.cs.ai.kreator.logic.Literal.TruthValue
 
toString() - Method in class edu.cs.ai.kreator.logic.metaconstraints.ExclusionConstraint
 
toString() - Method in interface edu.cs.ai.kreator.logic.metaconstraints.MetaConstraint
 
toString() - Method in class edu.cs.ai.kreator.logic.metaconstraints.NotEqualConstraint
 
toString() - Method in class edu.cs.ai.kreator.logic.probabilities.Cpd
 
toString() - Method in class edu.cs.ai.kreator.logic.probabilities.CrAverage
 
toString() - Method in class edu.cs.ai.kreator.logic.probabilities.CrIdentity
 
toString() - Method in class edu.cs.ai.kreator.logic.probabilities.CrNoisyAnd
 
toString() - Method in class edu.cs.ai.kreator.logic.probabilities.CrNoisyOr
 
toString() - Method in class edu.cs.ai.kreator.logic.probabilities.CrSmoothedNoisyAnd
 
toString() - Method in class edu.cs.ai.kreator.logic.probabilities.CrSmoothedNoisyOr
 
toString() - Method in class edu.cs.ai.kreator.logic.prolog.PrologProgram
 
toString() - Method in class edu.cs.ai.kreator.logic.Sort
 
toString() - Method in class edu.cs.ai.kreator.logic.StrictNegation
 
toString() - Method in class edu.cs.ai.kreator.logic.Variable
 
toString() - Method in class edu.cs.ai.kreator.misc.util.Pair
 
toString() - Method in class edu.cs.ai.kreator.misc.util.Permutation
Returns a string representation of this permutation.
toString() - Method in class edu.cs.ai.kreator.models.Query
 
toString() - Method in class edu.cs.ai.kreator.ui.cli.History
Returns the standard AbstractCollection.toString() representation of the history list.
toString() - Method in class edu.cs.ai.kreator.ui.cli.wordcompletion.ChoiceCompletor
 
toString() - Method in class edu.cs.ai.kreator.ui.cli.wordcompletion.Completion
 
toString() - Method in class edu.cs.ai.kreator.ui.cli.wordcompletion.Completor
 
toString() - Method in class edu.cs.ai.kreator.ui.cli.wordcompletion.CompletorPlus
 
toString() - Method in class edu.cs.ai.kreator.ui.cli.wordcompletion.FileNameCompletor
 
toString() - Method in class edu.cs.ai.kreator.ui.cli.wordcompletion.MultiElementCompletor
 
toString() - Method in class edu.cs.ai.kreator.ui.cli.wordcompletion.NumberCompletor
 
toString() - Method in class edu.cs.ai.kreator.ui.cli.wordcompletion.OptionalCompletor
 
toString() - Method in class edu.cs.ai.kreator.ui.cli.wordcompletion.PredicateCompletor
 
toString() - Method in class edu.cs.ai.kreator.ui.cli.wordcompletion.StringCompletor
 
toString() - Method in class edu.cs.ai.kreator.ui.gui.dialogs.QueryConstructionDialog.ItemPair
 
toString() - Method in class jsyntaxpane.actions.DefaultSyntaxAction
 
toString() - Method in class jsyntaxpane.actions.ToggleComponentAction
 
toString() - Method in class jsyntaxpane.SyntaxDocument
 
toString() - Method in class jsyntaxpane.Token
 
toString() - Method in class jsyntaxpane.util.Configuration
 
TranslationException - Exception in edu.cs.ai.kreator.logic
Exception is thrown if the translation of the foreign logic to KReator logic or vice versa fails.
TranslationException(String) - Constructor for exception edu.cs.ai.kreator.logic.TranslationException
 
treeModel - Variable in class edu.cs.ai.kreator.ui.gui.components.controller.OutlineWorker
reference to the tree model which represent the outline tree
Triple<E,F,G> - Class in edu.cs.ai.kreator.misc.util
This class implements a simple triple of elements.
Triple(E, F, G) - Constructor for class edu.cs.ai.kreator.misc.util.Triple
Initializes the elements of this triple with the given parameters
Triple() - Constructor for class edu.cs.ai.kreator.misc.util.Triple
Initializes an empty triple.
TRUE_ATOM_EXPRESSION - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomLexer
 
TRUE_ATOM_EXPRESSION - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomParser
 
TRUE_ATOM_EXPRESSION - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomWalker
 
TRUE_ATOM_EXPRESSION - Static variable in class edu.cs.ai.kreator.parser.groundatom.GroundAtomWithoutLanguageWalker
 
TweetyTranslator - Class in edu.cs.ai.kreator.logic
A translation class: it translates the native KReator logic to tweety and vice-versa.
TweetyTranslator() - Constructor for class edu.cs.ai.kreator.logic.TweetyTranslator
 
type - Variable in class jsyntaxpane.Token
 

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