Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members
SmvLit Class Reference
Inheritance diagram for SmvLit:[legend]Collaboration diagram for SmvLit:[legend]List of all members.
Public Methods |
|
| SmvLit (String value) |
|
SmvLit | append (String s) |
|
boolean | equals (Object o) |
|
boolean | isBig () |
|
void | print (SmvTrans out) |
|
String | toString () |
Private Attributes |
|
String | value |
Detailed Description
A literal SMV expression.
Definition at line 39 of file SmvLit.java.
The documentation for this class was generated from the following file:
Generated at Thu Feb 7 07:21:29 2002 for Bandera by
1.2.10 written by Dimitri van Heesch,
© 1997-2001