Inheritance diagram for theoremprover.LVariable:
Public Member Functions | |
| PropositionalTheoremProver | asPropositionalSentence () |
Package Functions | |
| LVariable () | |
| LVariable (String str) | |
Detailed Description
Definition at line 41 of file LVariable.java.
Constructor & Destructor Documentation
| theoremprover.LVariable.LVariable | ( | ) | [inline, package] |
Definition at line 45 of file LVariable.java.
| theoremprover.LVariable.LVariable | ( | String | str | ) | [inline, package] |
Definition at line 50 of file LVariable.java.
Member Function Documentation
| PropositionalTheoremProver theoremprover.LVariable.asPropositionalSentence | ( | ) | [inline, virtual] |
Reimplemented from theoremprover.LConstant.
Definition at line 57 of file LVariable.java.
The documentation for this class was generated from the following file: