
Public Member Functions | |
| FloatToken (String str, int i) | |
| boolean | isFloat () |
| String | print () |
Definition at line 35 of file FloatToken.java.
| theoremprover.FloatToken.FloatToken | ( | String | str, |
| int | i | ||
| ) | [inline] |
Definition at line 37 of file FloatToken.java.
| boolean theoremprover.FloatToken.isFloat | ( | ) | [inline] |
Reimplemented from theoremprover.GenericToken.
Definition at line 44 of file FloatToken.java.
| String theoremprover.FloatToken.print | ( | ) | [inline] |
Reimplemented from theoremprover.GenericToken.
Definition at line 51 of file FloatToken.java.