| addRules(ArrayList newRules) | theoremprover.LSentence | [inline] |
| addRules(LSentence new_sentence) | theoremprover.LSentence | [inline] |
| allPredicates(String str) | theoremprover.LSentence | [inline] |
| allPredicates(String str, int i) | theoremprover.LSentence | [inline] |
| theoremprover::LObject.allPredicates(String str, int i, ArrayList v) | theoremprover.LObject | [inline] |
| asABPropositionalSentence(ABTheoremProver tp) | theoremprover.LSentence | [inline] |
| theoremprover::LObject.asABPropositionalSentence(ABTheoremProver tp, Hashtable pd) | theoremprover.LObject | [inline] |
| asPropositionalSentence() | theoremprover.LSentence | [inline, virtual] |
| theoremprover::LObject.asPropositionalSentence(PropositionalTheoremProver tp, Hashtable pd) | theoremprover.LObject | [inline] |
| LSentence() | theoremprover.LSentence | [inline] |
| LSentence(ArrayList v) | theoremprover.LSentence | [inline] |
| rules | theoremprover.LSentence | |
| toString() | theoremprover.LSentence | [inline, virtual] |