final class NaryOpBuilder extends java.lang.Object implements ExprBuilder
| Modifier and Type | Field and Description |
|---|---|
private java.util.List<Expr> |
args |
private Op |
op |
private Expr |
zero |
| Constructor and Description |
|---|
NaryOpBuilder(Op op,
Expr zero) |
| Modifier and Type | Method and Description |
|---|---|
void |
add(Expr e) |
Expr |
toExpr() |
public NaryOpBuilder(Op op, Expr zero)
public void add(Expr e)
add in interface ExprBuilderpublic Expr toExpr()
toExpr in interface ExprBuilder