Inheritance diagram for theoremprover.LConstant:
Public Member Functions | |
| PropositionalTheoremProver | asPropositionalSentence () |
| String | toString () |
Public Attributes | |
| String | identifier |
Package Functions | |
| LConstant () | |
| LConstant (String str) | |
Detailed Description
Definition at line 41 of file LConstant.java.
Constructor & Destructor Documentation
| theoremprover.LConstant.LConstant | ( | ) | [inline, package] |
Definition at line 49 of file LConstant.java.
| theoremprover.LConstant.LConstant | ( | String | str | ) | [inline, package] |
Definition at line 54 of file LConstant.java.
Member Function Documentation
| PropositionalTheoremProver theoremprover.LConstant.asPropositionalSentence | ( | ) | [inline, virtual] |
Implements theoremprover.LObject.
Reimplemented in theoremprover.LFunction, and theoremprover.LVariable.
Definition at line 68 of file LConstant.java.
| String theoremprover.LConstant.toString | ( | ) | [inline, virtual] |
Implements theoremprover.LObject.
Reimplemented in theoremprover.LFunction.
Definition at line 61 of file LConstant.java.
Member Data Documentation
Definition at line 45 of file LConstant.java.
The documentation for this class was generated from the following file: