Inheritance diagram for theoremprover.DelimiterToken:
Public Member Functions | |
| DelimiterToken (String str, int i) | |
| boolean | isDelimiter () |
| String | print () |
Detailed Description
Definition at line 35 of file DelimiterToken.java.
Constructor & Destructor Documentation
| theoremprover.DelimiterToken.DelimiterToken | ( | String | str, |
| int | i | ||
| ) | [inline] |
Definition at line 37 of file DelimiterToken.java.
Member Function Documentation
| boolean theoremprover.DelimiterToken.isDelimiter | ( | ) | [inline] |
Reimplemented from theoremprover.GenericToken.
Definition at line 44 of file DelimiterToken.java.
| String theoremprover.DelimiterToken.print | ( | ) | [inline] |
Reimplemented from theoremprover.GenericToken.
Definition at line 51 of file DelimiterToken.java.
The documentation for this class was generated from the following file: