Inheritance diagram for theoremprover.LSentence:
Public Member Functions | |
| void | addRules (ArrayList newRules) |
| void | addRules (LSentence new_sentence) |
| ArrayList | allPredicates (String str) |
| ArrayList | allPredicates (String str, int i) |
| ABTheoremProver | asABPropositionalSentence (ABTheoremProver tp) |
| PropositionalTheoremProver | asPropositionalSentence () |
| LSentence () | |
| LSentence (ArrayList v) | |
| String | toString () |
Public Attributes | |
| ArrayList | rules |
Detailed Description
Definition at line 45 of file LSentence.java.
Constructor & Destructor Documentation
| theoremprover.LSentence.LSentence | ( | ) | [inline] |
Definition at line 53 of file LSentence.java.
| theoremprover.LSentence.LSentence | ( | ArrayList | v | ) | [inline] |
Definition at line 58 of file LSentence.java.
Member Function Documentation
| void theoremprover.LSentence.addRules | ( | ArrayList | newRules | ) | [inline] |
Definition at line 63 of file LSentence.java.
| void theoremprover.LSentence.addRules | ( | LSentence | new_sentence | ) | [inline] |
Definition at line 67 of file LSentence.java.
| ArrayList theoremprover.LSentence.allPredicates | ( | String | str | ) | [inline] |
Definition at line 112 of file LSentence.java.
| ArrayList theoremprover.LSentence.allPredicates | ( | String | str, |
| int | i | ||
| ) | [inline] |
Definition at line 118 of file LSentence.java.
Definition at line 97 of file LSentence.java.
| PropositionalTheoremProver theoremprover.LSentence.asPropositionalSentence | ( | ) | [inline, virtual] |
Implements theoremprover.LObject.
Definition at line 84 of file LSentence.java.
| String theoremprover.LSentence.toString | ( | ) | [inline, virtual] |
Implements theoremprover.LObject.
Definition at line 73 of file LSentence.java.
Member Data Documentation
| ArrayList theoremprover.LSentence.rules |
Definition at line 49 of file LSentence.java.
The documentation for this class was generated from the following file: