Operators implementing this interface may stand for
locations as well. This means e.g. occur as top level operators on the
left side of an assignment pair of an update.
Method Summary
Methods inherited from interface de.uka.ilkd.key.logic.op.SortedOperator