| Constructor and Description |
|---|
ExprConjunction(ExConjType type,
java.util.List<? extends io.mfj.expr.Expr> parms,
boolean not) |
| Modifier and Type | Method and Description |
|---|---|
void |
addParam(Expr expr) |
Expr |
clone() |
Expr |
cloneBifurcatingFields(java.util.Map<java.lang.String,? extends io.mfj.expr.Expr> replMap) |
Expr |
cloneReplacingForField(java.lang.String fieldName,
Expr withExpr) |
boolean |
getNot() |
java.util.List<io.mfj.expr.Expr> |
getParams() |
ExConjType |
getType() |
void |
replaceParam(int idx,
Expr expr) |
void |
setNot(boolean p) |
java.lang.String |
toString() |
boolean |
value(VarProvider vp) |
clone, cloneBifurcatingFields, cloneReplacingForField, valuepublic ExprConjunction(ExConjType type, java.util.List<? extends io.mfj.expr.Expr> parms, boolean not)
public java.util.List<io.mfj.expr.Expr> getParams()
public boolean value(VarProvider vp)
public java.lang.String toString()
public Expr clone()
public Expr cloneReplacingForField(java.lang.String fieldName, Expr withExpr)
public Expr cloneBifurcatingFields(java.util.Map<java.lang.String,? extends io.mfj.expr.Expr> replMap)
public void replaceParam(int idx,
Expr expr)
public void addParam(Expr expr)
public ExConjType getType()
public boolean getNot()
public void setNot(boolean p)