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

F

FIRST_ARGUMENT_MUST_BE_AN_ATOM - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

FIRST_ARGUMENT_MUST_BE_AN_ATOM_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message: first argument must be an atom.

FREE_VARIABLE_ALREADY_BOUND - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

FREE_VARIABLE_ALREADY_BOUND_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

FUNCTION - Static variable in class org.qedeq.kernel.parser.Operator

Marks function operator.

FUNCTION_ALREADY_DEFINED - Static variable in interface org.qedeq.kernel.bo.control.HigherLogicalErrors

Error code.

FUNCTION_ALREADY_DEFINED_TEXT - Static variable in interface org.qedeq.kernel.bo.control.HigherLogicalErrors

Error message.

FUNCTION_CONSTANT - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for function constants.

FUNCTION_VARIABLE - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for function constants.

FormatUtility - class org.qedeq.kernel.rel.test.gui.FormatUtility.

Contains static methods for formatting strings.

Formula - interface org.qedeq.kernel.base.module.Formula.

Wraps a formula.

FormulaBasicErrors - interface org.qedeq.kernel.bo.logic.FormulaBasicErrors.

Error codes and messages for formula checker.

FormulaCheckException - exception org.qedeq.kernel.bo.logic.FormulaCheckException.

This is an exception for logical errors within a QEDEQ module.

FormulaCheckException(int, String, Element, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.logic.FormulaCheckException

Constructs an exception.

FormulaCheckException(int, String, Element, ModuleContext) - Constructor for class org.qedeq.kernel.bo.logic.FormulaCheckException

Constructs an exception.

FormulaChecker - class org.qedeq.kernel.bo.logic.FormulaChecker.

This class deals with Elements which represent a formula.

FormulaHandler - class org.qedeq.kernel.xml.handler.module.FormulaHandler.

Parse formula.

FormulaHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.FormulaHandler

Handles formulas.

FormulaVo - class org.qedeq.kernel.dto.module.FormulaVo.

Wraps a formula.

FormulaVo(Element) - Constructor for class org.qedeq.kernel.dto.module.FormulaVo

Constructs a formula.

FormulaVo() - Constructor for class org.qedeq.kernel.dto.module.FormulaVo

Empty constructor.

FunctionDefinition - interface org.qedeq.kernel.base.module.FunctionDefinition.

Definition of function operator.

FunctionDefinitionHandler - class org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler.

Parse a function definition.

FunctionDefinitionHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler

Deals with definitions.

FunctionDefinitionVo - class org.qedeq.kernel.dto.module.FunctionDefinitionVo.

Definition of function operator.

FunctionDefinitionVo() - Constructor for class org.qedeq.kernel.dto.module.FunctionDefinitionVo

Constructs a new definition.

FunctionExistenceChecker - interface org.qedeq.kernel.bo.logic.FunctionExistenceChecker.

Check if a function is already defined.

fatalError(SAXParseException) - Method in class org.qedeq.kernel.xml.parser.SaxErrorHandler

fill(File) - Method in class org.qedeq.kernel.rel.test.gui.ParameterList

Fill parameter values from property file.

flush() - Method in class org.qedeq.kernel.utility.TextOutput

Close output.

functionExists(String, int) - Method in class org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker

functionExists(String, int) - Method in class org.qedeq.kernel.bo.logic.EverythingExists

functionExists(String, int) - Method in interface org.qedeq.kernel.bo.logic.FunctionExistenceChecker

Check if a function is already defined.