---

SmvVar Member List

This is the complete list of members for SmvVar, including all inherited members.

• addComponent(SmvVar var) (defined in SmvVar) [inline]
• addUpdate(SmvExpr cond, SmvExpr assign) [inline]
• aggregate (defined in SmvVar) [private]
• components (defined in SmvVar) [private]
• constrained (defined in SmvVar) [private]
• deadFlag (defined in SmvVar) [private]
• getComponent(int i) (defined in SmvVar) [inline]
• getComponents() (defined in SmvVar) [inline]
• getDeadFlag() (defined in SmvVar) [inline]
• getInitValue() (defined in SmvVar) [inline]
• getName() (defined in SmvVar) [inline]
• getSource() (defined in SmvVar) [inline]
• getType() (defined in SmvVar) [inline]
• getUpdateExpr() [inline]
• initValue (defined in SmvVar) [private]
• isBig() (defined in SmvVar) [inline]
• isConstrained() (defined in SmvVar) [inline]
• name (defined in SmvVar) [private]
• negUpdateConds (defined in SmvVar) [private]
• print(SmvTrans out) (defined in SmvVar) [inline]
• printForm (defined in SmvVar) [private]
• setAggregate(SmvVar var) (defined in SmvVar) [inline]
• setPrintForm(String printForm) (defined in SmvVar) [inline]
• SmvVar(String name) [inline]
• SmvVar(String name, String type, StateVar source, SmvLit initVal, boolean constrained, SmvVar deadFlag) (defined in SmvVar) [inline]
• source (defined in SmvVar) [private]
• toString() (defined in SmvVar) [inline]
• type (defined in SmvVar) [private]
• updateExpr (defined in SmvVar) [private]
• updates (defined in SmvVar) [private]

---