| public PushOperation ( System.Operation op ) : void | ||
| op | System.Operation | |
| return | void | |
public void PushOperation(Operation op)
{
if (child != null)
child.PushOperation (op);
else
child = op;
}