| allPredicates(String str, int i, ArrayList v) | theoremprover.LPredicate | [inline] |
| arguments | theoremprover.LPredicate | |
| asABPropositionalSentence() | theoremprover.LPredicate | [inline] |
| theoremprover::LObject.asABPropositionalSentence(ABTheoremProver tp, Hashtable pd) | theoremprover.LObject | [inline] |
| asPropositionalSentence() | theoremprover.LPredicate | [inline, virtual] |
| theoremprover::LObject.asPropositionalSentence(PropositionalTheoremProver tp, Hashtable pd) | theoremprover.LObject | [inline] |
| identifier | theoremprover.LPredicate | |
| LPredicate() | theoremprover.LPredicate | [inline, package] |
| LPredicate(String str, ArrayList v) | theoremprover.LPredicate | [inline, package] |
| toString() | theoremprover.LPredicate | [inline, virtual] |