public class Operation
extends java.lang.Object
| Constructor and Description |
|---|
Operation(AreaTreeOperator op) |
| Modifier and Type | Method and Description |
|---|---|
AreaTreeOperator |
getOp() |
public Operation(AreaTreeOperator op)
public AreaTreeOperator getOp()