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 ExprBuilder
public Expr toExpr()
toExpr
in interface ExprBuilder