---

SmvUnaryExpr Class Reference

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

Public Methods
boolean	isBig ()
void	print (SmvTrans out)
Private Methods
String	operator;SmvExpr op;public SmvUnaryExpr (String operator, SmvExpr op)

---

Detailed Description

A unary SMV expression.

Definition at line 39 of file SmvUnaryExpr.java.

---

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

• SmvUnaryExpr.java

---