| allPredicates(String str, int i, ArrayList v) | theoremprover.LRule | [inline] |
| asABPropositionalSentence() | theoremprover.LRule | [inline] |
| asABPropositionalSentence(ABTheoremProver tp, Hashtable pd) | theoremprover.LRule | [inline] |
| asPropositionalSentence() | theoremprover.LRule | [inline, virtual] |
| asPropositionalSentence(PropositionalTheoremProver tp, Hashtable pd) | theoremprover.LRule | [inline] |
| head | theoremprover.LRule | |
| LRule() | theoremprover.LRule | [inline, package] |
| LRule(ArrayList v, LObject h) | theoremprover.LRule | [inline, package] |
| tail | theoremprover.LRule | |
| toString() | theoremprover.LRule | [inline, virtual] |