---

SmvNaryExpr Class Reference

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

Public Methods
void	add (SmvExpr expr)
boolean	isBig ()
void	print (SmvTrans out)
int	size ()
Private Methods
String	operator;SmvExpr identity;boolean skip;Vector elements;public SmvNaryExpr (String operator, SmvExpr identity, boolean skip)

---

Detailed Description

An N-ary expression.

Although we could nest binary expressions, the output is much more readable if long conjunctions and disjunctions are indented as units.

Definition at line 44 of file SmvNaryExpr.java.

---

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

• SmvNaryExpr.java

---