Inheritance diagram for theoremprover.LFunction:
Public Member Functions | |
| PropositionalTheoremProver | asPropositionalSentence () |
| String | toString () |
Public Attributes | |
| ArrayList | arguments |
Package Functions | |
| LFunction () | |
| LFunction (String str, ArrayList v) | |
Detailed Description
Definition at line 41 of file LFunction.java.
Constructor & Destructor Documentation
| theoremprover.LFunction.LFunction | ( | ) | [inline, package] |
Definition at line 49 of file LFunction.java.
| theoremprover.LFunction.LFunction | ( | String | str, |
| ArrayList | v | ||
| ) | [inline, package] |
Definition at line 55 of file LFunction.java.
Member Function Documentation
| PropositionalTheoremProver theoremprover.LFunction.asPropositionalSentence | ( | ) | [inline, virtual] |
Reimplemented from theoremprover.LConstant.
Definition at line 81 of file LFunction.java.
| String theoremprover.LFunction.toString | ( | ) | [inline, virtual] |
Reimplemented from theoremprover.LConstant.
Definition at line 63 of file LFunction.java.
Member Data Documentation
| ArrayList theoremprover.LFunction.arguments |
Definition at line 45 of file LFunction.java.
The documentation for this class was generated from the following file: