This is the complete list of members for
theoremprover.LVariable, including all inherited members.
| allPredicates(String str, int i, ArrayList v) | theoremprover.LObject | [inline] |
| asABPropositionalSentence(ABTheoremProver tp, Hashtable pd) | theoremprover.LObject | [inline] |
| asPropositionalSentence() | theoremprover.LVariable | [inline, virtual] |
| theoremprover::LObject.asPropositionalSentence(PropositionalTheoremProver tp, Hashtable pd) | theoremprover.LObject | [inline] |
| identifier | theoremprover.LConstant | |
| LConstant() | theoremprover.LConstant | [inline, package] |
| LConstant(String str) | theoremprover.LConstant | [inline, package] |
| LVariable() | theoremprover.LVariable | [inline, package] |
| LVariable(String str) | theoremprover.LVariable | [inline, package] |
| toString() | theoremprover.LConstant | [inline, virtual] |