This is the complete list of members for
theoremprover.LFunction, including all inherited members.
| allPredicates(String str, int i, ArrayList v) | theoremprover.LObject | [inline] |
| arguments | theoremprover.LFunction | |
| asABPropositionalSentence(ABTheoremProver tp, Hashtable pd) | theoremprover.LObject | [inline] |
| asPropositionalSentence() | theoremprover.LFunction | [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] |
| LFunction() | theoremprover.LFunction | [inline, package] |
| LFunction(String str, ArrayList v) | theoremprover.LFunction | [inline, package] |
| toString() | theoremprover.LFunction | [inline, virtual] |