Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members
SmvExpr Interface Reference
Inheritance diagram for SmvExpr:[legend]List of all members.
Public Methods |
|
boolean | isBig () |
|
void | print (SmvTrans out) |
Detailed Description
An SMV expression.
Definition at line 39 of file SmvExpr.java.
The documentation for this interface was generated from the following file:
Generated at Thu Feb 7 07:21:28 2002 for Bandera by
1.2.10 written by Dimitri van Heesch,
© 1997-2001