|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| IConstant | |
| IFormula | Formula := P(Term, ....) | NOT(Formula) | Formula CONNECTIVE Formula | QUANTIFIER Formula |
| IFunction | An n-ary function |
| ILogicConstants | Constants used to build up formulae |
| IRelation | an n-ary relational predicate symbol |
| ITerm | Term := Constant | Variable | f(Term,...) |
| ITheory | A theory is a set of sentences |
| IVocabulary<T> | Vocabulary of a calculus |
| Class Summary | |
|---|---|
| AbstractTheory | |
| AbstractVocabulary<T> | |
| BasicTheory | |
| BasicVocabulary<T> | A simple class to define a simple vocabulary of functions and relations |
| BinaryFormula | |
| BinaryFunction | |
| BinaryRelation | |
| CombinedTheory | |
| CombinedVocabulary | |
| FunctionTerm | |
| IntConstant | |
| InvertedUnaryFunction | |
| NaryFunction | |
| NotFormula | |
| NullaryRelation | |
| NullConstant | |
| QuantifiedFormula | |
| RelationFormula | An atomic formula of the form R(Term, ... |
| Simplifier | Utilities for simplifying logic expressions |
| UnaryFunction | |
| UnaryRelation | |
| Variable | |
| Enum Summary | |
|---|---|
| IFormula.Kind | |
| ILogicConstants.BinaryConnective | |
| ILogicConstants.Quantifier | |
| ITerm.Kind | |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||