|
Hilbert II - Version 0.03.04 | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 Element s. |
EverythingExists | This implementation gives always the answer true to the question
exists this predicate? |
FormulaChecker | This class deals with Element s which represent a
formula. |
LogicalEquivalence | This class deals with Element s 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. |
Contains the logical abilities of the kernel. If two formulas are logically equivalent could be checked here.
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |