Hilbert II - Version 0.03.04

Package org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

See:
          Description

Interface Summary
ClassOperatorExistenceChecker Check if the class operator is already defined.
EqualityOperatorExistenceChecker Check if the predicate for equality is already defined.
ExistenceChecker Check if operators are already defined.
FormulaBasicErrors Error codes and messages for formula checker.
FunctionExistenceChecker Check if a function is already defined.
Operators Logical and term operators.
PredicateExistenceChecker Check if a predicate is already defined.
 

Class Summary
EqualFormula Encapsulates a logical formula.
EqualFormulaSet This class represents a set of Elements.
EverythingExists This implementation gives always the answer true to the question exists this predicate?
FormulaChecker This class deals with Elements which represent a formula.
LogicalEquivalence This class deals with Elements and could check if two formulas are logically equivalent.
 

Exception Summary
ElementCheckException This is an exception for logical errors within a QEDEQ module.
FormulaCheckException This is an exception for logical errors within a QEDEQ module.
LogicalCheckException This is the basis for an exception for logical errors within a QEDEQ module.
TermCheckException This is an exception for logical errors within a QEDEQ module.
 

Package org.qedeq.kernel.bo.logic Description

Contains the logical abilities of the kernel. If two formulas are logically equivalent could be checked here.


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.