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