---

SmvCase Class Reference

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

Public Methods
	SmvCase (SmvExpr cond, SmvExpr expr, SmvCaseExpr parent)
boolean	isBig ()
void	print (SmvTrans out)
String	toString ()
void	updateCase (SmvExpr expr)
Private Attributes
SmvExpr	cond
SmvExpr	expr
SmvCaseExpr	parent

---

Detailed Description

A case of a SmvCaseExpr.

Definition at line 39 of file SmvCase.java.

---

Member Function Documentation

void SmvCase::updateCase (  SmvExpr   expr )  [inline]

Update the expr of this case. Definition at line 76 of file SmvCase.java. Referenced by SmvTrans::caseArrayExpr(), SmvTrans::caseLengthExpr(), SmvTrans::caseLockTest(), and SmvTrans::caseRecordExpr().

---

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

• SmvCase.java

---