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
|