| Constructor and Description |
|---|
UnaryVariable2Slot(java.util.Map<IExpr,IExpr> map,
java.util.Collection<IExpr> variableList) |
| Modifier and Type | Method and Description |
|---|---|
IExpr |
apply(IExpr firstArg)
For every given argument return the associated unique slot from the
internal Map
|