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

F

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

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

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

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

FileChooser - Class in edu.cs.ai.kreator.ui.gui.dialogs

A KReator file chooser implementation in Swing.

FileChooser() - Constructor for class edu.cs.ai.kreator.ui.gui.dialogs.FileChooser

fileContent - Variable in class edu.cs.ai.kreator.datamodels.AbstractKreatorFile

The KReatorFile's contend that was load from the harddisk.

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

This Controller handles every file-operation, like opening, saving or closing DataFiles.

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

FileEvidenceSelection - Class in edu.cs.ai.kreator.ui.gui.components

This control shows all evidences which are saved in a given SampleCollection and let the user decide which evidence should be activated / deactivated.

FileEvidenceSelection(SampleCollection) - Constructor for class edu.cs.ai.kreator.ui.gui.components.FileEvidenceSelection

FileException - Exception in edu.cs.ai.kreator.exceptions

FileException(String) - Constructor for exception edu.cs.ai.kreator.exceptions.FileException

FileException(String, Throwable) - Constructor for exception edu.cs.ai.kreator.exceptions.FileException

FileExistsException - Exception in edu.cs.ai.kreator.exceptions

FileExistsException(File) - Constructor for exception edu.cs.ai.kreator.exceptions.FileExistsException

FileListReturnValue - Class in edu.cs.ai.kreator.ui.returnvalues

FileListReturnValue() - Constructor for class edu.cs.ai.kreator.ui.returnvalues.FileListReturnValue

FileListReturnValue(String) - Constructor for class edu.cs.ai.kreator.ui.returnvalues.FileListReturnValue

FileListReturnValue(File) - Constructor for class edu.cs.ai.kreator.ui.returnvalues.FileListReturnValue

FileListReturnValue(List<File>) - Constructor for class edu.cs.ai.kreator.ui.returnvalues.FileListReturnValue

fileListValue() - Method in class edu.cs.ai.kreator.ui.returnvalues.FileListReturnValue

FileNameCompletion - Class in edu.cs.ai.kreator.ui.cli.wordcompletion

FileNameCompletion(Completion) - Constructor for class edu.cs.ai.kreator.ui.cli.wordcompletion.FileNameCompletion

FileNameCompletion(String, String, int) - Constructor for class edu.cs.ai.kreator.ui.cli.wordcompletion.FileNameCompletion

FileNameCompletor - Class in edu.cs.ai.kreator.ui.cli.wordcompletion

FileNameCompletor(boolean) - Constructor for class edu.cs.ai.kreator.ui.cli.wordcompletion.FileNameCompletor

FileNameCompletor(Class<? extends DataFile>, boolean) - Constructor for class edu.cs.ai.kreator.ui.cli.wordcompletion.FileNameCompletor

FileNotExistException - Exception in edu.cs.ai.kreator.exceptions

FileNotExistException(File) - Constructor for exception edu.cs.ai.kreator.exceptions.FileNotExistException

FileNotInProjectFolderException - Exception in edu.cs.ai.kreator.exceptions

FileNotInProjectFolderException(File) - Constructor for exception edu.cs.ai.kreator.exceptions.FileNotInProjectFolderException

FileNotOpenedException - Exception in edu.cs.ai.kreator.exceptions

FileNotOpenedException(File) - Constructor for exception edu.cs.ai.kreator.exceptions.FileNotOpenedException

FileNotSavedException - Exception in edu.cs.ai.kreator.exceptions

FileNotSavedException(String, DataFile) - Constructor for exception edu.cs.ai.kreator.exceptions.FileNotSavedException

Constructs a FileNotSavedException with a message and the DataFile which views are stained.

FileNotSavedException(DataFile) - Constructor for exception edu.cs.ai.kreator.exceptions.FileNotSavedException

Constructs a FileNotSavedException with the DataFile which views are stained This Exception is thrown if a file should be closed or reloaded but the views of the file are stained.

FileReturnValue - Class in edu.cs.ai.kreator.ui.returnvalues

FileReturnValue() - Constructor for class edu.cs.ai.kreator.ui.returnvalues.FileReturnValue

FileReturnValue(String) - Constructor for class edu.cs.ai.kreator.ui.returnvalues.FileReturnValue

FileReturnValue(File) - Constructor for class edu.cs.ai.kreator.ui.returnvalues.FileReturnValue

FILES_AND_DIRECTORIES - Static variable in interface edu.cs.ai.kreator.ui.KreatorFileChooser

FILES_ONLY - Static variable in interface edu.cs.ai.kreator.ui.KreatorFileChooser

FileTab - Class in edu.cs.ai.kreator.ui.gui.components

FileTabbedPane - Class in edu.cs.ai.kreator.ui.gui.components

FileTabbedPane() - Constructor for class edu.cs.ai.kreator.ui.gui.components.FileTabbedPane

Default constructor.

fileValue() - Method in class edu.cs.ai.kreator.ui.returnvalues.FileReturnValue

finalize() - Method in class jsyntaxpane.actions.CaretMonitor

find() - Method in class edu.cs.ai.kreator.ui.gui.GraphicalUserInterface

find() - Method in interface edu.cs.ai.kreator.ui.KreatorUserInterface

Shows a quick find dialog for the currently active text component.

findAndReplace() - Method in class edu.cs.ai.kreator.ui.gui.GraphicalUserInterface

findAndReplace() - Method in interface edu.cs.ai.kreator.ui.KreatorUserInterface

Shows a find-and-replace dialog for the currently active text component.

findClass(String, List<String>) - Static method in class jsyntaxpane.util.ReflectUtils

Attempt to find the given className within any of the packages.

findNext() - Method in class edu.cs.ai.kreator.ui.gui.GraphicalUserInterface

findNext() - Method in interface edu.cs.ai.kreator.ui.KreatorUserInterface

Continues a search in the currently active text component.

FindNextAction - Class in jsyntaxpane.actions

This class performs a Find Next operation by using the current pattern

FindNextAction() - Constructor for class jsyntaxpane.actions.FindNextAction

FindReplaceAction - Class in jsyntaxpane.actions

Finder class.

FindReplaceAction() - Constructor for class jsyntaxpane.actions.FindReplaceAction

findResource(String, ClassLoader) - Static method in class jsyntaxpane.util.JarServiceProvider

Attempt to find a location url.

findResource(String) - Static method in class jsyntaxpane.util.JarServiceProvider

Attempt to find a location url.

finished(EventKreatorWorker) - Method in interface edu.cs.ai.kreator.control.EventKreatorWorker.WorkerDispatcher

finished(EventKreatorWorker) - Method in class edu.cs.ai.kreator.ui.gui.components.Outline

Is called after the actual registered worker is finished.

finishPerformanceMeasuring(String) - Static method in class edu.cs.ai.kreator.misc.util.UtilityMethods

fireChangedUpdate(DocumentEvent) - Method in class jsyntaxpane.SyntaxDocument

fireInsertUpdate(DocumentEvent) - Method in class jsyntaxpane.SyntaxDocument

fireModelChanged() - Method in class edu.cs.ai.kreator.datamodels.AbstractKreatorFile

Fires if the KReatorFileModel has changed.

fireRemoveUpdate(DocumentEvent) - Method in class jsyntaxpane.SyntaxDocument

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

Change this to the first (lowest) possible permutation .

flushBuffer() - Method in class edu.cs.ai.kreator.ui.cli.History

Flush the entire history buffer to the output PrintWriter.

focusGained(FocusEvent) - Method in class edu.cs.ai.kreator.ui.gui.components.DropDownCompletionList

focusGained(FocusEvent) - Method in class edu.cs.ai.kreator.ui.gui.GraphicalUserInterface

focusLost(FocusEvent) - Method in class edu.cs.ai.kreator.ui.gui.components.DropDownCompletionList

focusLost(FocusEvent) - Method in class edu.cs.ai.kreator.ui.gui.GraphicalUserInterface

FolAllQuantification - Class in edu.cs.ai.kreator.logic

FolAllQuantification(List<Variable>, FolFormula) - Constructor for class edu.cs.ai.kreator.logic.FolAllQuantification

FolAtom - Class in edu.cs.ai.kreator.logic

FolAtom(GeneralizedAtom) - Constructor for class edu.cs.ai.kreator.logic.FolAtom

FolBinaryJunction - Class in edu.cs.ai.kreator.logic

FolBinaryJunction(FolFormula, FolFormula) - Constructor for class edu.cs.ai.kreator.logic.FolBinaryJunction

FolConjunction - Class in edu.cs.ai.kreator.logic

FolConjunction(FolFormula, FolFormula) - Constructor for class edu.cs.ai.kreator.logic.FolConjunction

FolDisjunction - Class in edu.cs.ai.kreator.logic

FolDisjunction(FolFormula, FolFormula) - Constructor for class edu.cs.ai.kreator.logic.FolDisjunction

FolEquivalence - Class in edu.cs.ai.kreator.logic

FolEquivalence(FolFormula, FolFormula) - Constructor for class edu.cs.ai.kreator.logic.FolEquivalence

FolExistQuantification - Class in edu.cs.ai.kreator.logic

FolExistQuantification(List<Variable>, FolFormula) - Constructor for class edu.cs.ai.kreator.logic.FolExistQuantification

FolFormula - Class in edu.cs.ai.kreator.logic

FolFormula() - Constructor for class edu.cs.ai.kreator.logic.FolFormula

FolImplication - Class in edu.cs.ai.kreator.logic

FolImplication(FolFormula, FolFormula) - Constructor for class edu.cs.ai.kreator.logic.FolImplication

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FolNegation - Class in edu.cs.ai.kreator.logic

FolNegation(FolFormula) - Constructor for class edu.cs.ai.kreator.logic.FolNegation

FolQuantification - Class in edu.cs.ai.kreator.logic

FolQuantification(List<Variable>, FolFormula) - Constructor for class edu.cs.ai.kreator.logic.FolQuantification

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

This configuration option models a font style option, i.e.

FontStyleConfigurationOption(Class<? extends KreatorSyntaxKit>, TokenType) - Constructor for class edu.cs.ai.kreator.control.config.FontStyleConfigurationOption

forceKill() - Method in class edu.cs.ai.kreator.control.KreatorWorker

Aborts the thread immediately.

forceResume() - Method in class edu.cs.ai.kreator.control.KreatorWorker

Resumes the thread immediately.

forceSuspend() - Method in class edu.cs.ai.kreator.control.KreatorWorker

Suspends the thread immediately.

formatMem(double) - Static method in class edu.cs.ai.kreator.misc.util.UtilityMethods

fromJOptionPaneValue(int) - Static method in class edu.cs.ai.kreator.ui.returnvalues.BooleanReturnValue

fromKreatorAtom(GeneralizedAtom, L) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator

Creates a foreign atom from the given KReator Atom.

fromKreatorAtom(GeneralizedAtom, FolSignature) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator

fromKreatorConstant(Constant, L) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator

fromKreatorConstant(Constant, FolSignature) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator

fromKreatorLanguage(LanguageFactory) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator

Creates a foreign language signature of type L from the given KReator language Factory.

fromKreatorLanguage(LanguageFactory) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator

fromKreatorPredicate(GeneralizedPredicate, L) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator

Creates a foreign logic Predicate of type P from the given KReator GeneralizedPredicate.

fromKreatorPredicate(GeneralizedPredicate, FolSignature) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator

fromKreatorSort(Sort, L) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator

Creates a foreign language Sort of Type S from the given KReator Sort.

fromKreatorSort(Sort, FolSignature) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator

fromKreatorTerm(Term, L) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator

fromKreatorTerm(Term, FolSignature) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator

fromKreatorVariable(Variable, L) - Method in interface edu.cs.ai.kreator.logic.LogicTranslator

fromKreatorVariable(Variable, FolSignature) - Method in class edu.cs.ai.kreator.logic.TweetyTranslator

fromString(String) - Method in interface edu.cs.ai.kreator.ui.gui.components.UserAppendRemoveList.StringToObject

Returns the translated object from the string.

FunctionTerm - Class in edu.cs.ai.kreator.logic

This class models a function term in first-order logic, i.e., it encapsulates a functor together with a list of parameters.

FunctionTerm(Functor, List<Term>) - Constructor for class edu.cs.ai.kreator.logic.FunctionTerm

Constructs a function term with the given functor and list of parameters

Functor - Class in edu.cs.ai.kreator.logic

This class models a functor in first-order logic.