SmvBinaryExpr Class Reference

Inheritance diagram for SmvBinaryExpr:[legend]Collaboration diagram for SmvBinaryExpr:[legend]List of all members.

Public Methods
boolean	isBig ()
void	print (SmvTrans out)
Private Methods
String	operator;SmvExpr op1;SmvExpr op2;boolean big;public SmvBinaryExpr (String operator, SmvExpr op1, SmvExpr op2)

Detailed Description

A binary SMV expression.

Definition at line 39 of file SmvBinaryExpr.java.

The documentation for this class was generated from the following file:

Generated at Thu Feb 7 07:21:27 2002 for Bandera by