Inheritance diagram for theoremprover.LObject:
Public Member Functions | |
| ArrayList | allPredicates (String str, int i, ArrayList v) |
| ABTheoremProver | asABPropositionalSentence (ABTheoremProver tp, Hashtable pd) |
| abstract PropositionalTheoremProver | asPropositionalSentence () |
| PropositionalTheoremProver | asPropositionalSentence (PropositionalTheoremProver tp, Hashtable pd) |
| abstract String | toString () |
Detailed Description
Definition at line 40 of file LObject.java.
Member Function Documentation
| ArrayList theoremprover.LObject.allPredicates | ( | String | str, |
| int | i, | ||
| ArrayList | v | ||
| ) | [inline] |
Reimplemented in theoremprover.LRule, and theoremprover.LPredicate.
Definition at line 67 of file LObject.java.
| ABTheoremProver theoremprover.LObject.asABPropositionalSentence | ( | ABTheoremProver | tp, |
| Hashtable | pd | ||
| ) | [inline] |
Reimplemented in theoremprover.LRule.
Definition at line 60 of file LObject.java.
| abstract PropositionalTheoremProver theoremprover.LObject.asPropositionalSentence | ( | ) | [pure virtual] |
| PropositionalTheoremProver theoremprover.LObject.asPropositionalSentence | ( | PropositionalTheoremProver | tp, |
| Hashtable | pd | ||
| ) | [inline] |
Reimplemented in theoremprover.LRule.
Definition at line 52 of file LObject.java.
| abstract String theoremprover.LObject.toString | ( | ) | [pure virtual] |
Implemented in theoremprover.LSentence, theoremprover.LPredicate, theoremprover.LRule, theoremprover.LFunction, and theoremprover.LConstant.
The documentation for this class was generated from the following file: