Inheritance diagram for theoremprover.LRule:
Public Member Functions | |
| ArrayList | allPredicates (String str, int i, ArrayList v) |
| ABTheoremProver | asABPropositionalSentence () |
| ABTheoremProver | asABPropositionalSentence (ABTheoremProver tp, Hashtable pd) |
| PropositionalTheoremProver | asPropositionalSentence () |
| PropositionalTheoremProver | asPropositionalSentence (PropositionalTheoremProver tp, Hashtable pd) |
| String | toString () |
Public Attributes | |
| LObject | head |
| ArrayList | tail |
Package Functions | |
| LRule () | |
| LRule (ArrayList v, LObject h) | |
Detailed Description
Definition at line 45 of file LRule.java.
Constructor & Destructor Documentation
| theoremprover.LRule.LRule | ( | ) | [inline, package] |
Definition at line 54 of file LRule.java.
| theoremprover.LRule.LRule | ( | ArrayList | v, |
| LObject | h | ||
| ) | [inline, package] |
Definition at line 60 of file LRule.java.
Member Function Documentation
| ArrayList theoremprover.LRule.allPredicates | ( | String | str, |
| int | i, | ||
| ArrayList | v | ||
| ) | [inline] |
Reimplemented from theoremprover.LObject.
Definition at line 186 of file LRule.java.
Definition at line 128 of file LRule.java.
| ABTheoremProver theoremprover.LRule.asABPropositionalSentence | ( | ABTheoremProver | tp, |
| Hashtable | pd | ||
| ) | [inline] |
Reimplemented from theoremprover.LObject.
Definition at line 135 of file LRule.java.
| PropositionalTheoremProver theoremprover.LRule.asPropositionalSentence | ( | ) | [inline, virtual] |
Implements theoremprover.LObject.
Definition at line 84 of file LRule.java.
| PropositionalTheoremProver theoremprover.LRule.asPropositionalSentence | ( | PropositionalTheoremProver | tp, |
| Hashtable | pd | ||
| ) | [inline] |
Reimplemented from theoremprover.LObject.
Definition at line 91 of file LRule.java.
| String theoremprover.LRule.toString | ( | ) | [inline, virtual] |
Implements theoremprover.LObject.
Definition at line 68 of file LRule.java.
Member Data Documentation
Definition at line 50 of file LRule.java.
| ArrayList theoremprover.LRule.tail |
Definition at line 49 of file LRule.java.
The documentation for this class was generated from the following file: